A core calculus of dependency
- 1 January 1999
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 147-160
- https://doi.org/10.1145/292540.292555
Abstract
No abstract availableThis publication has 26 references indexed in Scilit:
- A categorical account of two-level languagesElectronic Notes in Theoretical Computer Science, 1997
- Trust in the λ-calculusJournal of Functional Programming, 1997
- Region-Based Memory ManagementInformation and Computation, 1997
- A computational formalization for partial evaluationMathematical Structures in Computer Science, 1997
- A security flow control algorithm and its denotational semantics correctness proofFormal Aspects of Computing, 1992
- Notions of computation and monadsInformation and Computation, 1991
- Automatic binding time analysis for a typed λ-calculusScience of Computer Programming, 1988
- The program dependence graph and its use in optimizationACM Transactions on Programming Languages and Systems, 1987
- Certification of programs for secure information flowCommunications of the ACM, 1977
- A lattice model of secure information flowCommunications of the ACM, 1976