𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[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 - Polymorphic functions with set-theoretic types

✍ Scribed by Castagna, Giuseppe; Nguyen, Kim; Xu, Zhiwu; Im, Hyeonseung; Lenglet, Sergueï; Padovani, Luca


Book ID
121466744
Publisher
ACM Press
Year
2014
Weight
769 KB
Category
Article
ISBN
1450325440

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


[ACM Press the 41st ACM SIGPLAN-SIGACT S
✍ 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