Documents Related by Co-Citation

9 Systemes d'effet et interpretation abstraite pour l'analyse de flot de controle – Y-M Tang - 1994
181 Secure information flow in a multi-threaded imperative language – Geoffrey Smith, Dennis Volpano - 1998
43 Trust in the λ-Calculus – Jens Palsberg, Peter Ørbæk - 1995
874 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
14 Context-Sensitive Slicing of Concurrent Programs – Jens Krinke - 2003
24 Slicing Concurrent Programs – Mangala Gowri Nanda, S. Ramesh - 2000
49 Typed Memory Management via Static Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
43 Types and subtypes for client-server interactions – Simon Gay, Malcolm Hole - 1999
109 Bisimilarity as a theory of functional programming – A Gordon - 1995
235 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
86 Efficient Type Inference for Higher-Order Binding-Time Analysis – Fritz Henglein - 1991
33 Using replication and partitioning to build secure distributed systems – Lantian Zheng, Stephen Chong, Andrew C. Myers, Steve Zdancewic - 2003
593 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
572 A Survey of Program Slicing Techniques – F. Tip - 1995
59 Secure Program Partitioning – Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers - 2002
15 A Provably Time-Efficient Parallel Implementation of Full Speculation – John Greiner, Guy E. Blelloch - 1996
2972 Communication and Concurrency – R Milner - 1989
599 Concurrency and automata on infinite sequences – D Park - 1981