Jon Riecke
TitleCited byYear
The SLam calculus: programming with secrecy and integrity
N Heintze, JG Riecke
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
5101998
A core calculus of dependency
M Abadi, A Banerjee, N Heintze, JG Riecke
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
4231999
Stability issues in OSPF routing
A Basu, J Riecke
ACM SIGCOMM Computer Communication Review 31 (4), 225-236, 2001
3022001
A generalization of exceptions and control in ML-like languages
CA Gunter, D Rémy, JG Riecke
FPCA 95, 12-23, 1995
1091995
Kripke logical relations and PCF
PW Ohearn, JG Riecke
Information and Computation 120 (1), 107-116, 1995
831995
Fully abstract translations between functional languages
JG Riecke
Mathematical Structures in Computer Science 3 (4), 387-415, 1993
731993
Domains and denotational semantics: History, accomplishments and open problems
A Jung, M Fiore, E Moggi, PW O’Hearn, JG Riecke, G Rosolini, I Stark
SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS-UNIVERSITY OF BIRMINGHAM CSR, 1996
681996
Privacy via subsumption
JG Riecke, CA Stone
Proc. 5th Annual FOOL Workshop, 9.1-9.10, 1998
591998
Reference counting as a computational interpretation of linear logic
J Chirimar, CA Gunter, JG Riecke
Journal of Functional Programming 6 (2), 195-244, 1996
541996
Simple objects for Standard ML
J Reppy, J Riecke
ACM SIGPLAN Notices 31 (5), 171-180, 1996
511996
Design and correctness of program transformations based on control-flow analysis
A Banerjee, N Heintze, JG Riecke
International Symposium on Theoretical Aspects of Computer Software, 420-447, 2001
422001
Region analysis and the polymorphic lambda calculus
A Banerjee, N Heintze, JG Riecke
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
381999
Privacy via subsumption
JG Riecke, CA Stone
Information and Computation 172 (1), 2-28, 2002
362002
Proving memory management invariants for a language based on linear logic
J Chirimar, CA Gunter, JG Riecke
ACM SIGPLAN Lisp Pointers, 139-150, 1992
361992
Isolating side effects in sequential languages
JG Riecke, R Viswanathan
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
311995
Typed exceptions and continuations cannot macro-express each other
JG Riecke, H Thielecke
International Colloquium on Automata, Languages, and Programming, 635-644, 1999
301999
Continuations may be unreasonable
A Meyer, JG Riecke
Proceedings of the 1988 ACM conference on LISP and functional programming, 63-71, 1988
301988
Delimiting the scope of effects
JG Riecke
In Proceedings of the Conference on Functional Programming Languages and …, 1993
291993
A calculus for compiling and linking classes
K Fisher, J Reppy, JG Riecke
European Symposium on Programming, 135-149, 2000
252000
A relational account of call-by-value sequentiality
JG Riecke, A Sandholm
Information and Computation 179 (2), 296-331, 2002
212002
The system can't perform the operation now. Try again later.
Articles 1–20