Program analysis in λprolog

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationPrinciples of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings
EditorsKarl Meinke, Hugh Glaser, Catuscia Palamidessi
PublisherSpringer Verlag
Pages353-354
Number of pages2
ISBN (Print)3540650121, 9783540650126
StatePublished - Jan 1 1998
Event10th 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 1998Sep 18 1998

Publication series

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

Other

Other10th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th International Conference, ALP 1998
CountryItaly
CityPisa
Period9/16/989/18/98

Fingerprint

Program Analysis

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Hannan, J. J. (1998). Program analysis in λprolog. In K. Meinke, H. Glaser, & C. Palamidessi (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.
Hannan, John Joseph. / Program analysis in λprolog. Principles of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings. editor / Karl Meinke ; Hugh Glaser ; Catuscia Palamidessi. 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 = "Hannan, {John Joseph}",
year = "1998",
month = "1",
day = "1",
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 = "Karl Meinke and Hugh Glaser and Catuscia Palamidessi",
booktitle = "Principles of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings",
address = "Germany",

}

Hannan, JJ 1998, Program analysis in λprolog. in K Meinke, H Glaser & C Palamidessi (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.

Program analysis in λprolog. / Hannan, John Joseph.

Principles of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings. ed. / Karl Meinke; Hugh Glaser; Catuscia Palamidessi. 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 proceedingConference contribution

TY - GEN

T1 - Program analysis in λprolog

AU - Hannan, John Joseph

PY - 1998/1/1

Y1 - 1998/1/1

UR - http://www.scopus.com/inward/record.url?scp=84947748024&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84947748024&partnerID=8YFLogxK

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 - Meinke, Karl

A2 - Glaser, Hugh

A2 - Palamidessi, Catuscia

PB - Springer Verlag

ER -

Hannan JJ. Program analysis in λprolog. In Meinke K, Glaser H, Palamidessi C, 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)).