Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations

Authors:
Patrick Cousot
Affiliations:
-
Venue:
Proceedings of the 17th International Conference on Logic Programming
Year:
2001

Citing 3
Cited 1

Partial evaluation and automatic program generation

Partial evaluation and automatic program generation
An introduction to partial evaluation

ACM Computing Surveys (CSUR)
Systematic design of program analysis frameworks

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Relational Abstract Domain of Weighted Hexagons

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract