𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - Isomorphisms of generic recursive polynomial types

✍ Scribed by Fiore, Marcelo

Book ID
125425320
Publisher
ACM Press
Year
2004
Tongue
English
Weight
167 KB
Category
Article
ISBN-13
9781581137293

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[ACM Press the 41st ACM SIGPLAN-SIGACT S
[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Abstract satisfaction
✍ D'Silva, Vijay; Haller, Leopold; Kroening, Daniel πŸ“‚ Article πŸ“… 2014 πŸ› ACM Press βš– 694 KB

This article introduces an abstract interpretation framework that codifies the operations in SAT and SMT solvers in terms of lattices, transformers and fixed points. We develop the idea that a formula denotes a set of models in a universe of structures. This set of models has characterizations as fi