A Case Study in Abstract Interpretation Based Program Transformation
Authors:
- Patrick CousotPCPatrick Cousot
- Radhia CousotRCRadhia Cousot
Open Access
- 1 November 2001
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 45, 41-64
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- The Code Validation Tool (CVT)International Journal on Software Tools for Technology Transfer, 1998
- An introduction to partial evaluationACM Computing Surveys, 1996
- The discoveries of continuationsHigher-Order and Symbolic Computation, 1993
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- Countable nondeterminism and random assignmentJournal of the ACM, 1986
- On finite computations in denotational semanticsTheoretical Computer Science, 1983
- Constructive versions of Tarski’s fixed point theoremsPacific Journal of Mathematics, 1979
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Representation of Events in Nerve Nets and Finite Automata1956
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955