Cousot, Patrick; Cousot, Radhia Systematic design of program transformation frameworks by abstract interpretation. (English) Zbl 1323.68356 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’02, Portland, OR, USA, January 16–18, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-450-9). 178-190 (2002). Cited in 107 Documents MSC: 68Q55 Semantics in the theory of computing 68N15 Theory of programming languages 68N20 Theory of compilers and interpreters 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 68Q60 Specification and verification (program logics, model checking, etc.) Software:CVT PDF BibTeX XML Cite \textit{P. Cousot} and \textit{R. Cousot}, in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '02, Portland, OR, USA, January 16--18, 2002. New York, NY: Association for Computing Machinery (ACM). 178--190 (2002; Zbl 1323.68356) Full Text: DOI