Martn Abadi, Anindya Banerjee, Nevin Heintze, and Jon Riecke. A core calculus of dependency. In Proc. 26th ACM Symp. on Principles of Programming Languages (POPL), pages 147--160, San Antonio, TX, January 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Information Flow Analysis in Logical Form - Amtoft, Banerjee (2004) (7 citations) Self-citation (Banerjee) (Correct)
No context found.
Martn Abadi, Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. A core calculus of dependency. In ACM Symposium on Principles of Programming Languages (POPL), pages 147--160, 1999.
A Logic for Information Flow Analysis with an Application to .. - Amtoft, Banerjee (2005) Self-citation (Banerjee) (Correct)
No context found.
Martn Abadi, Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. A core calculus of dependency. In ACM Symposium on Principles of Programming Languages (POPL), pages 147--160, 1999.
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
No context found.
Martn Abadi, Anindya Banerjee, Nevin Heintze, and Jon Riecke. A core calculus of dependency. In Proc. 26th ACM Symp. on Principles of Programming Languages (POPL), pages 147--160, San Antonio, TX, January 1999.
Non-Interference in Constructive Authorization Logic - Deepak Garg And (Correct)
No context found.
M. Abadi, A. Banerjee, N. Heintze, and J. G. Riecke. A core calculus of dependency. In Conference Record of the 26th Sympoisum on Principles Of Programming Languages (POPL'99), pages 147--160, San Antonio, Texas, Jan. 1999. ACM Press.
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
No context found.
M. Abadi, A. Banerjee, N. Heintze, and J. G. Riecke. A core calculus of dependency. In Twenty-Sixth ACM Symposium on Principles of Programming Languages, pages 147--160, San Antonio, Texas, Jan. 1999.
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
No context found.
M. Abadi, A. Banerjee, N. Heintze, and J. G. Riecke. A core calculus of dependency. In Twenty-Sixth ACM Symposium on Principles of Programming Languages, pages 147--160, San Antonio, Texas, Jan. 1999.
Secure Composition of Untrusted Code: Wrappers and Causality.. - Sewell, Vitek (1999) (18 citations) (Correct)
No context found.
Martn Abadi, Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. A core calculus of dependency. In ACM, editor, POPL '99. Proceedings of the 26th ACM SIGPLAN-SIGACT on Principles of programming languages, January 2022, 1999, San Antonio, TX, pages 147160, New York, NY, USA, 1999. ACM Press.
Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) (Correct)
No context found.
Martn Abadi, Anindya Banerjee, Nevin Heintze, and Jon Riecke. A core calculus of dependency. In Proc. 26th ACM Symp. on Principles of Programming Languages (POPL), pages 147--160, San Antonio, TX, January 1999.
Non-Interference in Constructive Authorization Logic - Garg, Pfenning (2006) (Correct)
No context found.
M. Abadi, A. Banerjee, N. Heintze, and J. G. Riecke. A core calculus of dependency. In Conference Record of the 26th Sympoisum on Principles Of Programming Languages (POPL'99), pages 147--160, San Antonio, Texas, Jan. 1999. ACM Press.
A Linear Logic of Authorization and Knowledge - Garg, Bauer, Bowers.. (2006) (Correct)
No context found.
Martn Abadi, Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. A core calculus of dependency. In Conference Record of the 26th Sympoisum on Principles Of Programming Languages (POPL'99), pages 147--160, San Antonio, Texas, January 1999. ACM Press.
A Monadic Analysis of Information Flow Security with Mutable .. - Cmu-Cs- School Of (Correct)
No context found.
M. Abadi, A. Banerjee, N. Heintze, and J. G. Riecke. A core calculus of dependency. In Twenty-Sixth ACM Symposium on Principles of Programming Languages, pages 147--160, San Antonio, Texas, Jan. 1999.
JFP 15 (2): 249--291, 2005. c - Cambridge University Press (2005) (Correct)
No context found.
Abadi, M., Banerjee, A., Heintze, N. and Riecke, J. G. (1999) A core calculus of dependency.
Flow Locks - Towards Core Calculus (Correct)
No context found.
M. Abadi, A. Banerjee, N. Heintze, and J. Riecke. A core calculus of dependency. In Proc. ACM Symp. on Principles of Programming Languages, pages 147--160, Jan. 1999.
Information Flow Control for Java Based on Path.. - Hammer, Krinke, Snelting (2006) (Correct)
No context found.
M. Abadi, A. Banerjee, N. Heintze, and J. Riecke. A core calculus of dependency. In Proc. Symposium on Principles of Programming Languages, pages 147--160. ACM, 1999.
Checking Secure Information Flow in Java Bytecode.. - Bernardeschi, De.. (Correct)
No context found.
M. Abadi, A. Banerjee, N. Heintze, and J.G. Riecke. A core calculus of dependency. In 26th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Proceedings, pages 147--160. Texas, Usa, 1999.
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
No context found.
Martn Abadi, Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. A core calculus of dependency. In Proc. 26th POPL. ACM Press, 1999.
Linearity and Bisimulation - Yoshida, Honda, Berger (2002) (7 citations) (Correct)
No context found.
Abadi, M., Banerjee, A., Heintze, N. and Riecke, J., A core calculus of dependency, POPL'99, ACM, 1999.
pure: Useful Abstractions in Specifications - Mike Barnett David (2004) (3 citations) (Correct)
No context found.
Mart n Abadi, Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. A core calculus of dependency. In ACM Symp. on Princ. of Program. Lang., pages 147--160, 1999.
Linearity and Bisimulation - Yoshida, Honda, Berger (7 citations) (Correct)
No context found.
Abadi, M., Banerjee, A., Heintze, N. and Riecke, J., A core calculus of dependency, POPL'99, ACM, 1999.
Partial Evaluation and Non-Interference for Object Calculi - Barthe, Serpette (1999) (4 citations) (Correct)
No context found.
M. Abadi, A. Banerjee, N. Heintze, and J. Riecke. A core calculus of dependency. In Proceedings of POPL'99, pages 147160. ACM Press, 1999.
Secure Information Flow by Self-Composition - Gilles Barthe Pedro (2004) (6 citations) (Correct)
No context found.
M. Abadi, A. Banerjee, N. Heintze, and J. Riecke. A core calculus of dependency. In POPL'99 [30], pages 147--160.
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
No context found.
Martn Abadi, Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. A core calculus of dependency. In Proc. 26th POPL. ACM Press, 1999.
A Monadic Analysis of Information Flow Security with.. - Crary, Kliger, Pfenning (2004) (1 citation) (Correct)
No context found.
M. Abadi, A. Banerjee, N. Heintze, and J. G. Riecke. A core calculus of dependency. In Twenty-Sixth ACM Symposium on Principles of Programming Languages, pages 147--160, San Antonio, Texas, Jan. 1999.
Appendix - Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
No context found.
Martn Abadi, Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. A core calculus of dependency. In Proc. 26th POPL. ACM Press, 1999.
Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (6 citations) (Correct)
No context found.
Martn Abadi, Anindya Banerjee, Nevin Heintze, and Jon G. Riecke. A Core Calculus of Dependency. In Proceedings of the 26th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 147--160, San Antonio, Texas, January 1999.
First 50 documents Next 50
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