PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
2004 Proceeding- General Chair:
- William Pugh,
- Program Chair:
- Craig Chambers
Abstract
No abstract available.
Proceeding Downloads
Article
Social processes and proofs of theorems and programs, revisited
Language-based security is a protection mechanism that allows software components to interact in a shared address space, such that each component is guaranteed to respect its interfaces and not steal or corrupt internal data of other components. This ...
Cited By
- Filipiuk P, Nielson F and Nielson H Layered fixed point logic Proceedings of the 14th symposium on Principles and practice of declarative programming, (45-54)
- La Torre S, Parthasarathy M and Parlato G Analyzing recursive programs using a fixed-point calculus Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, (211-222)
-
La Torre S, Parthasarathy M and Parlato G (2009). Analyzing recursive programs using a fixed-point calculus, ACM SIGPLAN Notices, 10.1145/1543135.1542500, 44:6, (211-222), Online publication date: 28-May-2009.
