Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke  Home/Search
Context Related
Links: ACM DBLP | digital.com/SRC/personal/...flowpopl.ps digital.com/pub/DEC/SRC/pu...corecal.ps belllabs.com/dist/riecke/dcc.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: digital.com/SRC/perso...allpapers (more) From: digital.com/SRC/publ...srcpapers Homepages: M.Abadi A.Banerjee |
Rate this article:      (best)Comment on this article |
Abstract: Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency common to these settings that can be captured within a single calculus, the Dependency Core Calculus (DCC), a small extension of Moggi's computational lambda calculus. To establish this thesis, we translate typed calculi for secure information flow, binding-time analysis, slicing, and call-tracking into DCC. The... (Update)
Cited by: More
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
Non-Interference in Constructive Authorization Logic - Deepak Garg And (Correct)
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
Active bibliography (related documents): More All
0.2: Polymorphic Specialization for ML - Helsen, Thiemann (2002) (Correct)
0.2: Two Flavors of Offline Partial Evaluation - Helsen, Thiemann (1998) (Correct)
0.2: Correctness of a Region-Based Binding-Time Analysis - Thiemann (1997) (Correct)
Similar documents based on text: More All
0.5: Secure Information Flow and Pointer Confinement in a.. - Banerjee, Naumann (2002) (Correct)
0.4: Design and Correctness of Program Transformations Based.. - Banerjee, Heintze.. (2001) (Correct)
0.4: A Uniform Type Structure for Secure Information Flow - Honda, Yoshida (2002) (Correct)
Related documents from co-citation: More All
44: A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
43: The SLam calculus: Programming with secrecy and integrity - Heintze, Riecke - 1998
34: Secure information flow in a multi-threaded imperative language - Volpano, Smith - 1998
BibTeX entry: (Update)
Martn Abadi, Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. A Core Calculus of Dependency. In Proceedings of the 26th Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, pages 147-160, San Antonio, Texas, January 1999. http://citeseer.ist.psu.edu/abadi99core.html More
@inproceedings{ abadi99core,
author = "Mart{\'\i}n Abadi and Anindya Banerjee and Nevin Heintze and Jon G. Riecke",
title = "A core calculus of dependency",
booktitle = "{POPL} '99. Proceedings of the 26th {ACM} {SIGPLAN-{SIGACT}} on Principles of programming languages, January 20--22, 1999, San Antonio, {TX}",
publisher = "ACM Press",
address = "New York, NY, USA",
editor = "{ACM}",
pages = "147--160",
year = "1999",
url = "citeseer.ist.psu.edu/abadi99core.html" }
Citations (may not include all citations):480 The program dependence graph and its use in optimization (context) - Ferrante, Ottenstein et al. - 1987 ACM DBLP
359 Introduction to higher order categorical logic (context) - Lambek, Scott - 1986 ACM
259 A survey of program slicing techniques - Tip - 1995 DBLP
229 Foundations for Programming Languages (context) - Mitchell - 1996
196 A lattice model of secure information flow (context) - Denning - 1976 ACM DBLP
188 Region-based memory management - Tofte, Talpin - 1997 ACM DBLP
158 Secrecy by typing in security protocols - Abadi - 1997 ACM
158 Certification of programs for secure information flow (context) - Denning, Denning - 1977 ACM DBLP
152 A sound type system for secure flow analysis - Volpano, Smith et al. - 1996 ACM
150 Report on the functional programming language Haskell (context) - Hudak, Jones et al. - 1992
147 abstraction and parametric polymorphism (context) - Reynolds - 1983
143 A modal analysis of staged computation - Davies, Pfenning - 1996 ACM DBLP
139 Secure information flow in a multithreaded imperative langua.. - Smith, Volpano - 1998
102 The SLam calculus: programming with secrecy and integrity - Heintze, Riecke - 1998 DBLP
81 The theory and practice of first-class prompts (context) - Felleisen - 1988 ACM DBLP
80 A temporal-logic approach to binding-time analysis - Davies - 1996 ACM DBLP
65 Binding time analysis for higher order untyped functional la.. (context) - Consel - 1990
55 A decentralized model for information flow control - Myers, Liskov - 1997 ACM DBLP
52 Security models - McLean - 1994
47 A Per model of secure information flow in sequential program.. - Sabelfeld, Sands - 1998 ACM DBLP
41 The semantics of program dependence - Cartwright, Felleisen - 1989
38 volume 34 of Cambridge Tracts in Theoretical Computer Scienc.. (context) - Nielson, Nielson et al. - 1992
38 Analysis and caching of dependencies - Abadi, Lampson et al. - 1996 ACM DBLP
30 A security flow control algorithm and its denotational seman.. - Mizuno, Schmidt - 1992 DBLP
28 A categorical account of two-level languages - Moggi - 1997 DBLP
18 Journal of Functional Programming (context) - Orbaek, Palsberg et al. - 1997
14 The marriage of effects and monads - Wadler - 1998 ACM DBLP
12 Information and Control (context) - Moggi, computation - 1991
11 Isolating side effects in sequential languages - Riecke, Viswanathan - 1995 ACM DBLP
11 and pointed types (context) - Howard, coinductive - 1996
8 Effect systems with subtyping - Tang, Jouvelot - 1995 ACM DBLP
7 Strictness analysis and denotational abstract interpretation (context) - Nielson - 1987 ACM DBLP
5 Practical mostly-static information flow control (context) - Myers - 1999
4 A unified framework for binding-time analysis - Thiemann - 1997 ACM DBLP
1 Automatic binding time analysis for a typed l calculus (context) - Nielson, Nielson - 1988
1 Dynamic Slicing in Higher-Order Programming Languages - Biswas - 1997 ACM
1 Systemes d'effet et interpretation abstraite pour l'analyse .. (context) - Tang - 1994
1 A Translations into DCC The translations of the various sour.. (context) - Weiser, IEEE et al. - 1984
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.research.digital.com/SRC/personal/Martin_Abadi/allpapers.html): More
Baby Modula-3 and a theory of objects - Abadi (1993) (Correct)
A Logic for Parametric Polymorphism - Plotkin, Abadi (1993) (Correct)
A TLA Solution to the RPC-Memory Specification Problem - Abadi, Lamport, Merz (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC