Jon Riecke
Título
Citado por
Citado por
Ano
The SLam calculus: programming with secrecy and integrity
N Heintze, JG Riecke
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
5191998
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
4331999
Stability issues in OSPF routing
A Basu, J Riecke
ACM SIGCOMM Computer Communication Review 31 (4), 225-236, 2001
3062001
A generalization of exceptions and control in ML-like languages
CA Gunter, D Rémy, JG Riecke
Proceedings of the seventh international conference on Functional …, 1995
1111995
Privacy via subsumption
JG Riecke, CA Stone
Information and Computation 172 (1), 2-28, 2002
902002
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
771993
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
691996
Reference counting as a computational interpretation of linear logic
J Chirimar, CA Gunter, JG Riecke
Journal of Functional Programming 6 (2), 195-244, 1996
571996
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
Proving memory management invariants for a language based on linear logic
J Chirimar, CA Gunter, JG Riecke
Proceedings of the 1992 ACM conference on LISP and functional programming …, 1992
371992
Isolating side effects in sequential languages
JG Riecke, R Viswanathan
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
321995
Delimiting the scope of effects
JG Riecke
Proceedings of the conference on Functional programming languages and …, 1993
301993
Continuations may be unreasonable
A Meyer, JG Riecke
Proceedings of the 1988 ACM conference on LISP and functional programming, 63-71, 1988
301988
Typed exceptions and continuations cannot macro-express each other
JG Riecke, H Thielecke
International Colloquium on Automata, Languages, and Programming, 635-644, 1999
291999
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
222002
Classes in Object ML via modules
JH Reppy, JG Riecke
Third International Workshop on Foundations of Object-Oriented Languages, 1996
201996
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20