Program analysis in λprolog

John Hannan

doi:10.1007/bfb0056625

Program analysis in λprolog

John Hannan

Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Principles of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings
Editors	Catuscia Palamidessi, Hugh Glaser, Karl Meinke
Publisher	Springer Verlag
Pages	353-354
Number of pages	2
ISBN (Print)	3540650121, 9783540650126
DOIs	https://doi.org/10.1007/bfb0056625
State	Published - 1998
Event	10th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th International Conference, ALP 1998 - Pisa, Italy Duration: Sep 16 1998 → Sep 18 1998

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1490
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	10th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th International Conference, ALP 1998
Country/Territory	Italy
City	Pisa
Period	9/16/98 → 9/18/98

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/bfb0056625

Cite this

Hannan, J. (1998). Program analysis in λprolog. In C. Palamidessi, H. Glaser, & K. Meinke (Eds.), Principles of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings (pp. 353-354). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1490). Springer Verlag. https://doi.org/10.1007/bfb0056625

Hannan, John. / Program analysis in λprolog. Principles of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings. editor / Catuscia Palamidessi ; Hugh Glaser ; Karl Meinke. Springer Verlag, 1998. pp. 353-354 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e1a40a6759a74abe896dad13a529eb7f,

title = "Program analysis in λprolog",

author = "John Hannan",

year = "1998",

doi = "10.1007/bfb0056625",

language = "English (US)",

isbn = "3540650121",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "353--354",

editor = "Catuscia Palamidessi and Hugh Glaser and Karl Meinke",

booktitle = "Principles of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings",

address = "Germany",

note = "10th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th International Conference, ALP 1998 ; Conference date: 16-09-1998 Through 18-09-1998",

}

Hannan, J 1998, Program analysis in λprolog. in C Palamidessi, H Glaser & K Meinke (eds), Principles of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1490, Springer Verlag, pp. 353-354, 10th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th International Conference, ALP 1998, Pisa, Italy, 9/16/98. https://doi.org/10.1007/bfb0056625

Program analysis in λprolog. / Hannan, John.
Principles of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings. ed. / Catuscia Palamidessi; Hugh Glaser; Karl Meinke. Springer Verlag, 1998. p. 353-354 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1490).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Program analysis in λprolog

AU - Hannan, John

PY - 1998

Y1 - 1998

UR - https://www.scopus.com/pages/publications/84947748024

UR - https://www.scopus.com/pages/publications/84947748024#tab=citedBy

U2 - 10.1007/bfb0056625

DO - 10.1007/bfb0056625

M3 - Conference contribution

AN - SCOPUS:84947748024

SN - 3540650121

SN - 9783540650126

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 353

EP - 354

BT - Principles of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings

A2 - Palamidessi, Catuscia

A2 - Glaser, Hugh

A2 - Meinke, Karl

PB - Springer Verlag

T2 - 10th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th International Conference, ALP 1998

Y2 - 16 September 1998 through 18 September 1998

ER -

Hannan J. Program analysis in λprolog. In Palamidessi C, Glaser H, Meinke K, editors, Principles of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings. Springer Verlag. 1998. p. 353-354. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/bfb0056625

Program analysis in λprolog

Publication series

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this