Folgen
Jon Riecke
Jon Riecke
Google Inc.
Bestätigte E-Mail-Adresse bei google.com
Titel
Zitiert von
Zitiert von
Jahr
The SLam calculus: programming with secrecy and integrity
N Heintze, JG Riecke
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
5821998
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
5381999
Stability issues in OSPF routing
A Basu, J Riecke
ACM SIGCOMM Computer Communication Review 31 (4), 225-236, 2001
3362001
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
1351995
Kripke logical relations and PCF
PW Ohearn, JG Riecke
Information and Computation 120 (1), 107-116, 1995
961995
Privacy via subsumption
JG Riecke, CA Stone
Information and Computation 172 (1), 2-28, 2002
892002
Fully abstract translations between functional languages
JG Riecke
Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of …, 1991
801991
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
741996
Reference counting as a computational interpretation of linear logic
J Chirimar, CA Gunter, JG Riecke
Journal of Functional Programming 6 (2), 195-244, 1996
651996
Simple objects for Standard ML
J Reppy, J Riecke
ACM SIGPLAN Notices 31 (5), 171-180, 1996
521996
Design and correctness of program transformations based on control-flow analysis
A Banerjee, N Heintze, JG Riecke
Theoretical Aspects of Computer Software: 4th International Symposium, TACS …, 2001
442001
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
421999
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
401992
Isolating side effects in sequential languages
JG Riecke, R Viswanathan
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
331995
Delimiting the scope of effects
JG Riecke
Proceedings of the conference on Functional programming languages and …, 1993
311993
Typed exceptions and continuations cannot macro-express each other
JG Riecke, H Thielecke
Automata, Languages and Programming: 26th International Colloquium, ICALP’99 …, 1999
291999
Continuations may be unreasonable
A Meyer, JG Riecke
Proceedings of the 1988 ACM Conference on Lisp and Functional Programming, 63-71, 1988
291988
A relational account of call-by-value sequentiality
JG Riecke, A Sandholm
Information and Computation 179 (2), 296-331, 2002
272002
A calculus for compiling and linking classes
K Fisher, J Reppy, JG Riecke
Programming Languages and Systems: 9th European Symposium on Programming …, 2000
272000
The logic and expressibility of simply-typed call-by-value and lazy languages
JG Riecke
Massachusetts Institute of Technology, Dept. of Electrical Engineering and …, 1991
231991
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20