Analysis of Imperative Programs through Analysis of Constraint Logic Programs

J C Peralta; J P Gallagher; H Saglam

Analysis of Imperative Programs through Analysis of Constraint Logic Programs

J C Peralta, J P Gallagher, H Saglam

Department of Computer Science

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

60 Citations (Scopus)

Translated title of the contribution	Analysis of Imperative Programs through Analysis of Constraint Logic Programs
Original language	English
Title of host publication	Unknown
Publisher	Springer Berlin Heidelberg
Pages	246 - 261
Number of pages	15
Volume	1503
ISBN (Print)	3540650148
Publication status	Published - 1998

Bibliographical note

Conference Proceedings/Title of Journal: Static Analysis. 5th International Symposium, SAS'98, Pisa, Italy, September 1998
Other: Lecture Notes in Computer Science

Access to Document

http://www.cs.bris.ac.uk/Tools/Reports/Abstracts/peralta-sas98.html

Handle.net

Persistent link

Cite this

@inproceedings{5018ec760d9b41ef86012ae390666507,

title = "Analysis of Imperative Programs through Analysis of Constraint Logic Programs",

author = "Peralta, {J C} and Gallagher, {J P} and H Saglam",

note = "Conference Proceedings/Title of Journal: Static Analysis. 5th International Symposium, SAS'98, Pisa, Italy, September 1998 Other: Lecture Notes in Computer Science",

year = "1998",

language = "English",

isbn = "3540650148",

volume = "1503",

pages = "246 -- 261",

booktitle = "Unknown",

publisher = "Springer Berlin Heidelberg",

address = "Germany",

}

TY - GEN

T1 - Analysis of Imperative Programs through Analysis of Constraint Logic Programs

AU - Peralta, J C

AU - Gallagher, J P

AU - Saglam, H

N1 - Conference Proceedings/Title of Journal: Static Analysis. 5th International Symposium, SAS'98, Pisa, Italy, September 1998 Other: Lecture Notes in Computer Science

PY - 1998

Y1 - 1998

M3 - Conference Contribution (Conference Proceeding)

SN - 3540650148

VL - 1503

SP - 246

EP - 261

BT - Unknown

PB - Springer Berlin Heidelberg

ER -