×

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).

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
Full Text: DOI