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
EditorsCatuscia Palamidessi, Hugh Glaser, Karl Meinke
PublisherSpringer Verlag
Pages353-354
Number of pages2
ISBN (Print)3540650121, 9783540650126
DOIs
StatePublished - 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

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this