Two applications of an incremental analysis engine for (Constraint) logic programs

Andrew D. Kelly, Kim Marriott, Harald Søndergaard, Peter J. Stuckey

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Original languageEnglish
Title of host publicationStatic Analysis - 3rd International Symposium, SAS 1996, Proceedings
EditorsDavid A. Schmidt, Radhia Cousot
PublisherSpringer
Pages385-386
Number of pages2
ISBN (Print)3540617396, 9783540617396
Publication statusPublished - 1 Jan 1996
EventStatic Analysis Symposium 1996 - Aachen, Germany
Duration: 24 Sept 199626 Sept 1996
Conference number: 3rd
https://link.springer.com/book/10.1007/3-540-61739-6 (Proceedings)

Publication series

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

Conference

ConferenceStatic Analysis Symposium 1996
Abbreviated titleSAS 1996
Country/TerritoryGermany
CityAachen
Period24/09/9626/09/96
Internet address

Cite this