Design of syntactic program transformations by abstract interpretation of semantic transformations

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationLogic Programming - 17th International Conference, ICLP 2001, Proceedings
PublisherSpringer Verlag
Pages4-5
Number of pages2
Volume2237
ISBN (Print)9783540429357
StatePublished - 2001
Event17th International Conference on Logic Programming, ICLP 2001 - Paphos, Cyprus
Duration: Nov 26 2001Dec 1 2001

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2237
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other17th International Conference on Logic Programming, ICLP 2001
CountryCyprus
CityPaphos
Period11/26/0112/1/01

Fingerprint

Program Transformation
Abstract Interpretation
Syntactics
Semantics
Design
Syntax

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

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

Design of syntactic program transformations by abstract interpretation of semantic transformations. / Cousot, Patrick.

Logic Programming - 17th International Conference, ICLP 2001, Proceedings. Vol. 2237 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 proceedingConference contribution

Cousot, P 2001, Design of syntactic program transformations by abstract interpretation of semantic transformations. in Logic Programming - 17th International Conference, ICLP 2001, Proceedings. vol. 2237, 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.
Cousot P. Design of syntactic program transformations by abstract interpretation of semantic transformations. In Logic Programming - 17th International Conference, ICLP 2001, Proceedings. Vol. 2237. Springer Verlag. 2001. p. 4-5. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Cousot, Patrick. / Design of syntactic program transformations by abstract interpretation of semantic transformations. Logic Programming - 17th International Conference, ICLP 2001, Proceedings. Vol. 2237 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",
language = "English (US)",
isbn = "9783540429357",
volume = "2237",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "4--5",
booktitle = "Logic Programming - 17th International Conference, ICLP 2001, Proceedings",

}

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

M3 - Conference contribution

AN - SCOPUS:84937219659

SN - 9783540429357

VL - 2237

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

PB - Springer Verlag

ER -