URL: http://www.elsevier.nl/locate/entcs/volume45.html 24 pages ACaseStudy in ...  Home/Search
Context
Related
| di.ens.fr/~cousot/...usotENTCS2001.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: di.ens.fr/~cous...publicationlist (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Interpretation Based Program Transformation: Blocking Command Elimination 1 Patrick Cousot Departement d'informatique Ecole Normale Superieure 45 rue d'Ulm 75230 Paris cedex 05, France Radhia Cousot Laboratoired'informatique, LIX CNRS & Ecole Polytechnique 91128 Palaiseau cedex, France Abstract We illustrate the design of correct semantics-based program transformations by abstract interpretation on blocking code elimination. 1 (Update)
Active bibliography (related documents): More All
0.0: Constructive Design of a Hierarchy of Semantics of a Transition.. - Cousot (2000) (Correct)
0.0: Abstract Interpretation in the Operational Semantics Hierarchy - Schmidt (1997) (Correct)
0.0: Polymorphic Typing of Heterogeneous Lists - Monsuez (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ www-electronic,
author = "Url Http Www",
title = "Electronic Notes in Theoretical Computer Science 45 (2001)",
url = "citeseer.ist.psu.edu/762358.html" }
Citations (may not include all citations):815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot
385 A transformation system for developing recursive programs - Burstall, Darlington - 1977
211 Domain theory - AbramskyandA - 1994
61 Countable nondeterminism and random assignment (context) - Apt, Plotkin - 1986
25 Methodes iteratives de construction et d'approximation de po.. (context) - Cousot - 1978
1 Constructive design of a hierarchy of semantics of atransiti.. (context) - Cousot - 1997
Documents on the same site (http://www.di.ens.fr/~cousot/publicationlist.html): More
Proving Program Invariance and Termination by Parametric .. - Ecole Normale Superieure (Correct)
Parsing as AbstractInterpretation - Of Grammar Semantics (Correct)
Verification of Embedded Software: Problems and Perspectives - Cousot, Cousot (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC