Reynolds, J. C. 1989. Syntactic control of interference, part 2. In Automata, Languages and Programming: 16 th International Colloquium. Lecture Notes in Computer Science, vol. 372. Springer-Verlag, Stresa, Italy, 704-722. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Resources, Concurrency and Local Reasoning - O'Hearn (2005) Self-citation (Reynolds) (Correct)
No context found.
J. C. Reynolds. Syntactic control of interference. In 5th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 39--46, Tucson, Arizona, January 1978. ACM, New York. Also in [36], vol 1.
Typed Memory Management via Static Capabilities - David Walker Carnegie (2000) (24 citations) (Correct)
No context found.
Reynolds, J. C. 1989. Syntactic control of interference, part 2. In Automata, Languages and Programming: 16 th International Colloquium. Lecture Notes in Computer Science, vol. 372. Springer-Verlag, Stresa, Italy, 704-722.
Typed Memory Management via Static Capabilities - David Walker Carnegie (2000) (24 citations) (Correct)
No context found.
Reynolds, J. C. 1978. Syntactic control of interference. In Fifth ACM Symposium on Principles of Programming Languages. ACM Press, Tucson, Arizona, 39-46.
Dynamic Updating of Information-Flow Policies - Michael Hicks Stephen (2005) (1 citation) (Correct)
No context found.
John C. Reynolds. Syntactic control of interference. In Proc. 5th ACM Symp. on Principles of Programming Languages (POPL), pages 39--46, 1978.
Functorial Lambda-Calculus - Jay School Of (Correct)
No context found.
John C. Reynolds. Syntactic control of interference, part 2. In Giorgio Ausiello, Mariangiola DezaniCiancaglini, and Simona Ronchi Della Rocca, editors, Automata, Languages and Programming, volume 372 of Lecture Notes in Computer Science, pages 704--722, Berlin, 1989. Springer-Verlag.
Functorial Lambda-Calculus - Jay School Of (Correct)
No context found.
John C. Reynolds. Syntactic control of interference. In Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, pages 39--46, 1978.
Partial Evaluation of Shaped Programs: Experience with FISh - Jay (1999) (1 citation) (Correct)
No context found.
John C. Reynolds. Syntactic control of interference. In Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, pages 39--46, 1978.
Ownership, Encapsulation and the Disjointness of Type and.. - Clarke, Drossopoulou (2002) (Correct)
No context found.
John C. Reynolds. Syntactic control of interference. In 5th ACM Symposium on Principles of Programming Languages, January 1978.
BI as an Assertion Language for Mutable Data Structures - Samin Ishtiaq Peter (2000) (82 citations) (Correct)
No context found.
Reynolds, J. C. Syntactic control of interference. In Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages (Tucson, Arizona, January 1978), ACM, New York, pp. 39-46. Also in [29], vol 1.
Alias Types for Recursive Data Structures - Walker, Morrisett (2000) (67 citations) (Correct)
No context found.
John C. Reynolds. Syntactic control of interference. In Fifth pages 39--46, Tucson, 1978.
Typed Memory Management in a Calculus of Capabilities - Walker, Crary, Morrisett (2000) (Correct)
No context found.
John C. Reynolds. Syntactic control of interference, part 2. In Sixteenth International Colloquium on Automata, Languages, and Programming, July 1989.
Typed Memory Management in a Calculus of Capabilities - Walker, Crary, Morrisett (2000) (Correct)
No context found.
John C. Reynolds. Syntactic control of interference. In Fifth ACM Symposium on Principles of Programming Languages, pages 39--46, Tucson, Arizona, 1978.
Alias Types for Recursive Data Structures - Extended Version David (Correct)
No context found.
John C. Reynolds. Syntactic control of interference. In Fifth pages 39--46, Tucson, 1978.
On the Observable Properties of - Higher Order Functions (Correct)
No context found.
J. C. Reynolds. Syntactic Control of Interference. In Conf. Record 5th Symp. on Principles of Programming Languages, Tucson, 1978.
Combining Type Disciplines - Cardone De' Liguoro (1994) (1 citation) (Correct)
No context found.
J.C. Reynolds. Syntactic control of interference. Part II. In G. Ausiello et al. editor, International Colloquium on Automata, Languages and Programming, LNCS 372, pages 704--722. Springer, 1989.
Another Type System for in-Place Update - David Aspinall And (2002) (6 citations) (Correct)
No context found.
J. C. Reynolds. Syntactic control of interference. In Proc. Fifth ACM Symp. on Princ. of Prog. Lang. (POPL), 1978.
BI as an Assertion Language for Mutable Data Structures - Samin Ishtiaq Peter (2000) (82 citations) (Correct)
No context found.
Reynolds, J. C. Syntactic control of interference. In Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages (Tucson, Arizona, January 1978), ACM, New York, pp. 39-46. Also in [29], vol 1.
On Bunched Typing - Peter Hearn Department (2002) (Correct)
No context found.
J. C. Reynolds. Syntactic control of interference, part 2. In G. Ausiello, M. Dezani-Ciancaglini, and S. Ronchi Della Rocca, editors, Automata, Languages and Programming, 16th International Colloquium, volume 372 of Lecture Notes in Computer Science, pages 704-722, Stresa, Italy, July 1989. SpringerVerlag, Berlin.
On Bunched Typing - Peter Hearn Department (2002) (Correct)
No context found.
J. C. Reynolds. Syntactic control of interference. In Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, pages 39-46, Tucson, Arizona, January 1978. ACM, New York. Also in [35], vol 1.
Names and Higher-Order Functions - Stark (1995) (29 citations) (Correct)
No context found.
J. C. Reynolds. Syntactic control of interference, part II. In Proceedings of ICALP '89, Lecture Notes in Computer Science 372, pages 704--722. SpringerVerlag, 1989. (p. 125)
Names and Higher-Order Functions - Stark (1995) (29 citations) (Correct)
No context found.
J. C. Reynolds. Syntactic control of interference. In Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, pages 39--46. ACM Press, 1978. (p. 125)
Partial Evaluation of Shaped Programs: Experience with FISh - Jay (1999) (1 citation) (Correct)
No context found.
John C. Reynolds. Syntactic control of interference. In Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, pages 39--46, 1978.
Observable Properties of Higher Order Functions - That Dynamically Create (Correct)
No context found.
J. C. Reynolds. Syntactic Control of Interference. In Conf. Record 5th Symp. on Principles of Programming Languages, Tucson, 1978 (ACM, New York, 1978) pp 39--46.
A fully relational model of Syntactic - Control Of Interference (2002) (Correct)
No context found.
J. C. Reynolds. Syntactic control of interference. In Conf. Record 5th ACM Symposium on Principles of Programming Languages, pages 39--46, 1978.
A Categorical Semantics of Higher Order Store - Laird (2002) (Correct)
No context found.
J. Reynolds. Syntactic control of interference. In Conf. Record 5 th ACM Symposium on Principles of Programming Languages, pages 39-46, 1978. 18
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