Chapter 18 Syntactic Control of Interference Revisited

[1]  C. A. R. Hoare,et al.  An axiomatic basis for computer programming , 1969, CACM.

[2]  Gavin M. Bierman.  What is a Categorical Model of Intuitionistic Linear Logic? , 1995, TLCA.

[3]  Peter W. O'Hearn.  A Model for Syntactic Control of Interference , 1993, Math. Struct. Comput. Sci..

[4]  Uday S. Reddy,et al.  Global state considered unnecessary: An introduction to object-based semantics , 1996, LISP Symb. Comput..

[5]  John C. Reynolds,et al.  Idealized ALGOL and its specification logic , 1997 .

[6]  Paul Hudak,et al.  Conception, evolution, and application of functional programming languages , 1989, CSUR.

[7]  Simon L. Peyton Jones,et al.  Imperative functional programming , 1993, POPL '93.

[8]  Robert D. Tennent,et al.  Semantical Analysis of Specification Logic , 1985, Inf. Comput..

[9]  Philip Wadler,et al.  A Syntax for Linear Logic , 1993, MFPS.

[10]  John C. Reynolds,et al.  The essence of ALGOL , 1997 .

[11]  Niklaus Wirth,et al.  On the Design of Programming Languages , 1974, IFIP Congress.

[12]  John C. Reynolds,et al.  Syntactic control of interference , 1978, POPL.

[13]  Jean-Yves Girard,et al.  Linear Logic , 1987, Theor. Comput. Sci..

[14]  John Hughes,et al.  Why Functional Programming Matters , 1989, Comput. J..

[15]  Uday S. Reddy,et al.  Passivity and independence , 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.

[16]  Robert D. Tennent.  Semantics of Interference Control , 1983, Theor. Comput. Sci..

[17]  Paul Hudak,et al.  Call by name, assignment, and the lambda calculus , 1993, POPL '93.

[18]  Charles Antony Richard Hoare,et al.  Hints on programming language design. , 1973 .

[19]  B. Day.  On closed categories of functors , 1970 .

[20]  Per Brinch Hansen,et al.  Structured multiprogramming , 1972, CACM.

[21]  Peter W. O'Hearn,et al.  Parametricity and local variables , 1995, JACM.

[22]  John C. Reynolds,et al.  Syntactic Control of Inference, Part 2 , 1989, ICALP.

[23]  Peter W. O'Hearn.  Linear Logic and Interference Control , 1991, Category Theory and Computer Science.