-
1
-
-
0032681509
-
A core calculus of dependency
-
Martín 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, 1999.
-
(1999)
Proc. 26Th ACM Symp. On Principles of Programming Languages (POPL)
, pp. 147-160
-
-
Abadi, M.1
Banerjee, A.2
Heintze, N.3
Riecke, J.4
-
2
-
-
0027574302
-
Computational interpretations of linear logic
-
Samson Abramsky. Computational interpretations of linear logic. Theoretical Com- puter Science, 111:3-57, 1993.
-
(1993)
Theoretical Com- Puter Science
, vol.111
, pp. 3-57
-
-
Abramsky, S.1
-
5
-
-
0011976746
-
A classical linear lambda calculus
-
Gavin Bierman. A classical linear lambda calculus. Theoretical Computer Science, 227(1-2):43-78, 1999.
-
(1999)
Theoretical Computer Science
, vol.227
, Issue.1-2
, pp. 43-78
-
-
Bierman, G.1
-
9
-
-
0017517624
-
Certification of Programs for Secure Information Flow
-
Dorothy E. Denning and Peter J. Denning. Certification of Programs for Secure Information Flow. Comm. of the ACM, 20(7):504-513, July 1977.
-
(1977)
Comm. Of the ACM
, vol.20
, Issue.7
, pp. 504-513
-
-
Denning, D.E.1
Denning, P.J.2
-
10
-
-
84945292727
-
Continuation passing transformations and abstract interpretation
-
Department of Computing, Work- shop on Theory and Formal Methods
-
J. Mylaert Filho and G. Burn. Continuation passing transformations and abstract interpretation. In Proc. First Imperial College, Department of Computing, Work- shop on Theory and Formal Methods, 1993.
-
Proc. First Imperial College
, pp. 1993
-
-
Mylaert Filho, J.1
Burn, G.2
-
17
-
-
84947269249
-
Secure information flow as typed process behaviour
-
Springer
-
Kohei Honda, Vasco Vasconcelos, and Nobuko Yoshida. Secure information flow as typed process behaviour. In Proc. of the 9th European Symposium on Programming, volume 1782 of Lecture Notes in Computer Science, pages 180-199. Springer, 2000.
-
(2000)
Proc. Of the 9Th European Symposium on Programming, Volume 1782 Of Lecture Notes in Computer Science
, pp. 180-199
-
-
Honda, K.1
Vasconcelos, V.2
Yoshida, N.3
-
18
-
-
0041525084
-
From system F to typed assembly language
-
Greg Morrisett, DavidWalker, Karl Crary, and Neal Glew. From system F to typed assembly language. ACM Transactions on Programming Languages and Systems, 21(3):528-569, May 1999.
-
(1999)
ACM Transactions on Programming Languages and Systems
, vol.21
, Issue.3
, pp. 528-569
-
-
Morrisett, G.1
Davidwalker Crary, K.2
Glew, N.3
-
19
-
-
84945314331
-
Muchnick. Advanced Compiler Design and Implementation
-
Steven S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, 1997.
-
(1997)
Morgan Kaufmann Publishers
-
-
Steven, S.1
-
23
-
-
0020247059
-
A denotational framework for data flow analysis
-
Flemming Nielson. A denotational framework for data flow analysis. Acta Infor- matica, 18:265-287, 1982.
-
(1982)
Acta Infor- Matica
, vol.18
, pp. 265-287
-
-
Nielson, F.1
-
24
-
-
0011949663
-
Properties of terms in continuation-passing style in an ordered logical framework
-
J. Despeyroux, editor, Santa Barbara, California
-
Jeff Polakow and Frank Pfenning. Properties of terms in continuation-passing style in an ordered logical framework. In J. Despeyroux, editor, 2nd Workshop on Logical Frameworks and Meta-languages, Santa Barbara, California, June 2000.
-
(2000)
2Nd Workshop on Logical Frameworks and Meta-Languages
-
-
Polakow, J.1
Pfenning, F.2
-
26
-
-
84957869855
-
A PER model of secure information flow in sequential programs
-
Springer-Verlag, LNCS
-
Andrei Sabelfeld and David Sands. A PER model of secure information flow in sequential programs. In Proceedings of the European Symposium on Programming. Springer-Verlag, March 1999. LNCS volume 1576.
-
(1999)
Proceedings of the European Symposium on Programming
, vol.1576
-
-
Sabelfeld, A.1
Sands, D.2
-
32
-
-
0030370740
-
A sound type system for secure flow analysis
-
Dennis Volpano, Geoffrey Smith, and Cynthia Irvine. A sound type system for secure flow analysis. Journal of Computer Security, 4(3):167-187, 1996.
-
(1996)
Journal of Computer Security
, vol.4
, Issue.3
, pp. 167-187
-
-
Volpano, D.1
Smith, G.2
Irvine, C.3
-
35
-
-
0003025818
-
A syntactic approach to type soundness
-
Andrew K. Wright and Matthias Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38-94, 1994.
-
(1994)
Information and Computation
, vol.115
, Issue.1
, pp. 38-94
-
-
Andrew, K.W.1
Felleisen, M.2
-
36
-
-
84867467562
-
Confidentiality and integrity with un- trusted hosts
-
2000-1810, Cornell University
-
Steve Zdancewic and Andrew C. Myers. Confidentiality and integrity with un- trusted hosts. Technical Report 2000-1810, Cornell University, 2000.
-
(2000)
Technical Report
-
-
Zdancewic, S.1
Myers, A.C.2
|