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
EditorsPhilippe Codognet
PublisherSpringer Verlag
Pages4-5
Number of pages2
ISBN (Electronic)9783540429357
DOIs
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)0302-9743
ISSN (Electronic)1611-3349

Other

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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