Design of syntactic program transformations by abstract interpretation of semantic transformations

Patrick Cousot

doi:10.1007/3-540-45635-x_3

Design of syntactic program transformations by abstract interpretation of semantic transformations

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Logic Programming - 17th International Conference, ICLP 2001, Proceedings
Editors	Philippe Codognet
Publisher	Springer Verlag
Pages	4-5
Number of pages	2
ISBN (Electronic)	9783540429357
DOIs	https://doi.org/10.1007/3-540-45635-x_3
State	Published - 2001
Event	17th International Conference on Logic Programming, ICLP 2001 - Paphos, Cyprus Duration: Nov 26 2001 → Dec 1 2001

Publication series

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

Other

Other	17th International Conference on Logic Programming, ICLP 2001
Country/Territory	Cyprus
City	Paphos
Period	11/26/01 → 12/1/01

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-45635-x_3

Cite this

Cousot, P. (2001). Design of syntactic program transformations by abstract interpretation of semantic transformations. In P. Codognet (Ed.), Logic Programming - 17th International Conference, ICLP 2001, Proceedings (pp. 4-5). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2237). Springer Verlag. https://doi.org/10.1007/3-540-45635-x_3

Design of syntactic program transformations by abstract interpretation of semantic transformations. / Cousot, Patrick.
Logic Programming - 17th International Conference, ICLP 2001, Proceedings. ed. / Philippe Codognet. Springer Verlag, 2001. p. 4-5 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2237).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Cousot, P 2001, Design of syntactic program transformations by abstract interpretation of semantic transformations. in P Codognet (ed.), Logic Programming - 17th International Conference, ICLP 2001, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2237, Springer Verlag, pp. 4-5, 17th International Conference on Logic Programming, ICLP 2001, Paphos, Cyprus, 11/26/01. https://doi.org/10.1007/3-540-45635-x_3

Cousot P. Design of syntactic program transformations by abstract interpretation of semantic transformations. In Codognet P, editor, Logic Programming - 17th International Conference, ICLP 2001, Proceedings. Springer Verlag. 2001. p. 4-5. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45635-x_3

Cousot, Patrick. / Design of syntactic program transformations by abstract interpretation of semantic transformations. Logic Programming - 17th International Conference, ICLP 2001, Proceedings. editor / Philippe Codognet. Springer Verlag, 2001. pp. 4-5 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{1a87564c3006493691245abf7c58bd4a,

title = "Design of syntactic program transformations by abstract interpretation of semantic transformations",

author = "Patrick Cousot",

year = "2001",

doi = "10.1007/3-540-45635-x_3",

language = "English (US)",

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

publisher = "Springer Verlag",

pages = "4--5",

editor = "Philippe Codognet",

booktitle = "Logic Programming - 17th International Conference, ICLP 2001, Proceedings",

note = "17th International Conference on Logic Programming, ICLP 2001 ; Conference date: 26-11-2001 Through 01-12-2001",

}

TY - GEN

T1 - Design of syntactic program transformations by abstract interpretation of semantic transformations

AU - Cousot, Patrick

PY - 2001

Y1 - 2001

UR - http://www.scopus.com/inward/record.url?scp=84937219659&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84937219659&partnerID=8YFLogxK

U2 - 10.1007/3-540-45635-x_3

DO - 10.1007/3-540-45635-x_3

M3 - Conference contribution

AN - SCOPUS:84937219659

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

SP - 4

EP - 5

BT - Logic Programming - 17th International Conference, ICLP 2001, Proceedings

A2 - Codognet, Philippe

PB - Springer Verlag

T2 - 17th International Conference on Logic Programming, ICLP 2001

Y2 - 26 November 2001 through 1 December 2001

ER -

Design of syntactic program transformations by abstract interpretation of semantic transformations

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this