Documents Related by Co-Citation

9 Systemes d'effet et interpretation abstraite pour l'analyse de flot de controle – Y-M Tang - 1994
200 Secure information flow in a multi-threaded imperative language – Geoffrey Smith, Dennis Volpano - 1998
27 A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof – Masaaki Mizuno, David Schmidt - 1992
329 Foundations for Programming Languages – John Mitchell - 1996
733 Notions of Computation and Monads – Eugenio Moggi - 1991
364 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
402 Certification of programs for secure information flow – D E Denning, P J Denning - 1977
235 The slam calculus: programming with secrecy and integrity – Nevin Heintze, Jon G. Riecke - 1998
221 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
48 Trust in the λ-Calculus – Jens Palsberg, Peter Ørbæk - 1995
936 A theory of type polymorphism in programming – Robin Milner - 1978
7 The Objective Caml system, release 3.02, Documentation and user’s manual, Institut National de Recherche en Informatique et en Automatique – Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier Rémy, Jérôme Vouillon - 1999
17 A Provably Time-Efficient Parallel Implementation of Full Speculation – John Greiner, Guy E. Blelloch - 1996
25 Slicing Concurrent Programs – Mangala Gowri Nanda, S. Ramesh - 2000
91 Efficient Type Inference for Higher-Order Binding-Time Analysis – Fritz Henglein - 1991
67 Secure Program Partitioning – Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers - 2001
38 Using replication and partitioning to build secure distributed systems – Lantian Zheng, Stephen Chong, Andrew C. Myers, Steve Zdancewic - 2003
53 Typed Memory Management via Static Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
120 Bisimilarity as a theory of functional programming – A D Gordon - 1995