Jon G. Riecke

Publication Activity (10 Years)

Years Active: 1987-2002
Publications (10 Years): 0

Publications

Jon G. Riecke, Anders Sandholm
A Relational Account of Call-by-Value Sequentiality. Inf. Comput. 179 (2) (2002)
Jon G. Riecke, Christopher A. Stone
Privacy via Subsumption. Inf. Comput. 172 (1) (2002)
Anindya Banerjee, Nevin Heintze, Jon G. Riecke
Design and Correctness of Program Transformations Based on Control-Flow Analysis. TACS (2001)
Anindya Basu, Jon G. Riecke
Stability issues in OSPF routing. SIGCOMM (2001)
Kathleen Fisher, John H. Reppy, Jon G. Riecke
A Calculus for Compiling and Linking Classes. ESOP (2000)
Jon G. Riecke, Hayo Thielecke
Typed Exeptions and Continuations Cannot Macro-Express Each Other. ICALP (1999)
Jon G. Riecke
Report on POPL 1999. SIGACT News 30 (1) (1999)
Jon G. Riecke, Ramesh Subrahmanyam
Conditions for the completeness of functional and algebraic equational reasoning. Math. Struct. Comput. Sci. 9 (6) (1999)
Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke
A Core Calculus of Dependency. POPL (1999)
Anindya Banerjee, Nevin Heintze, Jon G. Riecke
Region Analysis and the Polymorphic Lambda Calculus. LICS (1999)
Nevin Heintze, Jon G. Riecke
The SLam Calculus: Programming with Secrecy and Integrity. POPL (1998)
Jon G. Riecke
Program Language Semantics: The Description of Computational Structures. ACM SIGPLAN Notices 32 (1) (1997)
John C. Mitchell, Jon G. Riecke
The analysis of programming structure. SIGACT News 28 (2) (1997)
Jon G. Riecke, Anders Sandholm
A Relational Account of Call-by-Value Sequentiality. LICS (1997)
John H. Reppy, Jon G. Riecke
Simple Objects for Standard ML. PLDI (1996)
Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke
Reference Counting as a Computational Interpretation of Linear Logic. J. Funct. Program. 6 (2) (1996)
Jon G. Riecke
Semantics: The Description of Computational Structures. ACM Comput. Surv. 28 (4es) (1996)
Peter W. O'Hearn, Jon G. Riecke
Kripke Logical Relations and PCF Inf. Comput. 120 (1) (1995)
Jon G. Riecke
Statman's 1-Section Theorem Inf. Comput. 116 (2) (1995)
Carl A. Gunter, Didier Rémy, Jon G. Riecke
A Generalization of Exceptions and Control in ML-like Languages. FPCA (1995)
Jon G. Riecke, Ramesh Viswanathan
Isolating Side Effects in Sequential Languages. POPL (1995)
Jon G. Riecke, Ramesh Subrahmanyam
Extensions to Type Systems Can Preserve Operational Equivalences. TACS (1994)
Peter W. O'Hearn, Jon G. Riecke
Fully Abstract Translations and Parametric Polymorphism. ESOP (1994)
Jon G. Riecke
Fully Abstract Translations Between Functional Languages. Math. Struct. Comput. Sci. 3 (4) (1993)
Jon G. Riecke
BOOK REVIEW: Action Semantics. By Peter D. Mosses. (Cambridge University Press, 1992. xx+372pp. ISBN 0-521-40347-2. $49.95). SIGACT News 24 (2) (1993)
Jon G. Riecke
Delimiting the Scope of Effects. FPCA (1993)
Jon G. Riecke, Ramesh Subrahmanyam
Algebraic Reasoning and Completeness in Typed Languages. POPL (1993)
Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke
Proving Memory Management Invariants for a Language Based on Linear Logic. LISP and Functional Programming (1992)
Jon G. Riecke
Fully Abstract Translations between Functional Languages. POPL (1991)
Jon G. Riecke
A Complete and Decidable Proof System for Call-by-Value Equalities (Preliminary Report). ICALP (1990)
Stavros S. Cosmadakis, Albert R. Meyer, Jon G. Riecke
Completeness for typed lazy inequalities LICS (1990)
Albert R. Meyer, Jon G. Riecke
Continuations May be Unreasonable. LISP and Functional Programming (1988)
Kim B. Bruce, Jon G. Riecke
The Semantics of Miranda's Algebraic Types. MFPS (1987)