Syntactic Control of Interference Revisited

In “Syntactic Control of Interference” [33] J. C. Reynolds proposes three design principles intended to constrain the scope of imperative state effects in Algol-like languages. The resulting linguistic framework seems to be a very satisfactory way of combining functional and imperative concepts, having the desirable attributes of both purely functional languages (such as PCF) and simple imperative languages (such as the language of while programs).

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

[2]  S. Lane.  Categories for the Working Mathematician , 1971 .

[3]  Richard S. Bird,et al.  Introduction to functional programming , 1988, Prentice Hall International series in computer science.

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

[5]  R. V. Book.  Algol-like Languages , 1997, Progress in Theoretical Computer Science.

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

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

[8]  Peter W. O'Hearn.  Semantics of noninterference: a natural approach , 1992 .

[9]  Cliff B. Jones,et al.  Essays in computing science , 1989 .

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

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

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

[13]  Uday S. Reddy,et al.  Imperative functional programming , 1996, CSUR.

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

[15]  D. K. Harrison,et al.  Proceedings of the Conference on Categorical Algebra , 1966 .

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

[17]  John C. Reynolds,et al.  The craft of programming , 1981, Prentice Hall International series in computer science.

[18]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[19]  Albert R. Meyer,et al.  Towards a fully abstract semantics for local variables: Preliminary report , 1988 .

[20]  Peter W. O'Hearn,et al.  Syntactic control of interference revisited , 1995, MFPS.

[21]  Nick Benton,et al.  A Term Calculus for Intuitionistic Linear Logic , 1993, TLCA.

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

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

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

[25]  Mariangiola Dezani-Ciancaglini,et al.  A new type assignment for λ-terms , 1978, Arch. Math. Log..

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

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

[28]  Robert D. Tennent,et al.  Semantics of Interference Control , 1982, Theor. Comput. Sci..

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

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

[31]  Jean-Yves Girard,et al.  On the Unity of Logic , 1993, Ann. Pure Appl. Log..

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

[33]  Peter W. O'Hearn,et al.  Semantical Analysis of Specification Logic, 2 , 1993, Inf. Comput..

[34]  John Power,et al.  Why Tricategories? , 1995, Inf. Comput..

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

[36]  Simon L. Peyton Jones,et al.  State in Haskell , 1995, LISP Symb. Comput..

[37]  Frank J. Oles,et al.  A category-theoretic approach to the semantics of programming languages , 1982 .

[38]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .

[39]  Christian Boitet,et al.  About these proceedings , 1992, COLING.

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

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

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