Practical Model-Based Static Analysis for Definite Logic Programs

J P Gallagher; D Boulanger; H Saglam

Practical Model-Based Static Analysis for Definite Logic Programs

J P Gallagher, D Boulanger, H Saglam

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Translated title of the contribution	Practical Model-Based Static Analysis for Definite Logic Programs
Original language	English
Title of host publication	Proceedings of the 1995 International Symposium on Logic Programming, December 1995, Portland, Oregon
Publisher	Massachusetts Institute of Technology (MIT) Press
Pages	351 - 368
Number of pages	17
ISBN (Print)	0262620995
Publication status	Published - 1995

Bibliographical note

Conference Proceedings/Title of Journal: Proceedings of the 1995 International Symposium on Logic Programming, December 1995, Portland, Oregon

Access to Document

http://www.cs.bris.ac.uk/Tools/Reports/Abstracts/gallagher-ilps95.html

Handle.net

Persistent link

Cite this

@inproceedings{ee1241f83b694878a45b6357dcec1558,

title = "Practical Model-Based Static Analysis for Definite Logic Programs",

author = "Gallagher, {J P} and D Boulanger and H Saglam",

note = "Conference Proceedings/Title of Journal: Proceedings of the 1995 International Symposium on Logic Programming, December 1995, Portland, Oregon",

year = "1995",

language = "English",

isbn = "0262620995",

pages = "351 -- 368",

booktitle = "Proceedings of the 1995 International Symposium on Logic Programming, December 1995, Portland, Oregon",

publisher = "Massachusetts Institute of Technology (MIT) Press",

address = "United States",

}

Practical Model-Based Static Analysis for Definite Logic Programs. / Gallagher, J P; Boulanger, D; Saglam, H.
Proceedings of the 1995 International Symposium on Logic Programming, December 1995, Portland, Oregon. Massachusetts Institute of Technology (MIT) Press, 1995. p. 351 - 368.

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

TY - GEN

T1 - Practical Model-Based Static Analysis for Definite Logic Programs

AU - Gallagher, J P

AU - Boulanger, D

AU - Saglam, H

N1 - Conference Proceedings/Title of Journal: Proceedings of the 1995 International Symposium on Logic Programming, December 1995, Portland, Oregon

PY - 1995

Y1 - 1995

M3 - Conference Contribution (Conference Proceeding)

SN - 0262620995

SP - 351

EP - 368

BT - Proceedings of the 1995 International Symposium on Logic Programming, December 1995, Portland, Oregon

PB - Massachusetts Institute of Technology (MIT) Press

ER -