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

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

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

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

Department of Human Centred Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Original language	English
Title of host publication	Static Analysis - 3rd International Symposium, SAS 1996, Proceedings
Editors	David A. Schmidt, Radhia Cousot
Publisher	Springer
Pages	385-386
Number of pages	2
ISBN (Print)	3540617396, 9783540617396
Publication status	Published - 1 Jan 1996
Event	Static Analysis Symposium 1996 - Aachen, Germany Duration: 24 Sept 1996 → 26 Sept 1996 Conference number: 3rd https://link.springer.com/book/10.1007/3-540-61739-6 (Proceedings)

Publication series

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

Conference

Conference	Static Analysis Symposium 1996
Abbreviated title	SAS 1996
Country/Territory	Germany
City	Aachen
Period	24/09/96 → 26/09/96
Internet address	https://link.springer.com/book/10.1007/3-540-61739-6 (Proceedings)

Cite this

Kelly, A. D., Marriott, K., Søndergaard, H., & Stuckey, P. J. (1996). Two applications of an incremental analysis engine for (Constraint) logic programs. In D. A. Schmidt, & R. Cousot (Eds.), Static Analysis - 3rd International Symposium, SAS 1996, Proceedings (pp. 385-386). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1145). Springer.

Kelly, Andrew D. ; Marriott, Kim ; Søndergaard, Harald et al. / Two applications of an incremental analysis engine for (Constraint) logic programs. Static Analysis - 3rd International Symposium, SAS 1996, Proceedings. editor / David A. Schmidt ; Radhia Cousot. Springer, 1996. pp. 385-386 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e77ec0d1d85049f9bc97609e39ce2204,

title = "Two applications of an incremental analysis engine for (Constraint) logic programs",

author = "Kelly, \{Andrew D.\} and Kim Marriott and Harald S{\o}ndergaard and Stuckey, \{Peter J.\}",

year = "1996",

month = jan,

day = "1",

language = "English",

isbn = "3540617396",

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

publisher = "Springer",

pages = "385--386",

editor = "Schmidt, \{David A.\} and Radhia Cousot",

booktitle = "Static Analysis - 3rd International Symposium, SAS 1996, Proceedings",

address = "Switzerland",

note = "Static Analysis Symposium 1996, SAS 1996 ; Conference date: 24-09-1996 Through 26-09-1996",

url = "https://link.springer.com/book/10.1007/3-540-61739-6",

}

Kelly, AD, Marriott, K, Søndergaard, H & Stuckey, PJ 1996, Two applications of an incremental analysis engine for (Constraint) logic programs. in DA Schmidt & R Cousot (eds), Static Analysis - 3rd International Symposium, SAS 1996, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1145, Springer, pp. 385-386, Static Analysis Symposium 1996, Aachen, North Rhine-Westphalia, Germany, 24/09/96.

Two applications of an incremental analysis engine for (Constraint) logic programs. / Kelly, Andrew D.; Marriott, Kim; Søndergaard, Harald et al.
Static Analysis - 3rd International Symposium, SAS 1996, Proceedings. ed. / David A. Schmidt; Radhia Cousot. Springer, 1996. p. 385-386 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1145).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

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

AU - Kelly, Andrew D.

AU - Marriott, Kim

AU - Søndergaard, Harald

AU - Stuckey, Peter J.

N1 - Conference code: 3rd

PY - 1996/1/1

Y1 - 1996/1/1

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

M3 - Conference Paper

AN - SCOPUS:84957357416

SN - 3540617396

SN - 9783540617396

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

SP - 385

EP - 386

BT - Static Analysis - 3rd International Symposium, SAS 1996, Proceedings

A2 - Schmidt, David A.

A2 - Cousot, Radhia

PB - Springer

T2 - Static Analysis Symposium 1996

Y2 - 24 September 1996 through 26 September 1996

ER -

Kelly AD, Marriott K, Søndergaard H, Stuckey PJ. Two applications of an incremental analysis engine for (Constraint) logic programs. In Schmidt DA, Cousot R, editors, Static Analysis - 3rd International Symposium, SAS 1996, Proceedings. Springer. 1996. p. 385-386. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

Publication series

Conference

Other files and links

Cite this