Jon G. Riecke

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