𝔖 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 - Parametric effect monads and semantics of effect systems

✍ Scribed by Katsumata, Shin-ya

Book ID
121692998
Publisher
ACM Press
Year
2014
Weight
471 KB
Category
Article
ISBN
1450325440

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