Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire Lazy abstraction. (English) Zbl 1323.68374 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). 58-70 (2002). Cited in 1 ReviewCited in 66 Documents MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 68N18 Functional programming and lambda calculus 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 68Q55 Semantics in the theory of computing Software:SIMPLIFY PDF BibTeX XML Cite \textit{T. A. Henzinger} et al., 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). 58--70 (2002; Zbl 1323.68374) Full Text: DOI OpenURL