The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jon G. Riecke: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kathleen Fisher, John H. Reppy, Jon G. Riecke
    A Calculus for Compiling and Linking Classes. [Citation Graph (0, 0)][DBLP]
    ESOP, 2000, pp:135-149 [Conf]
  2. Peter W. O'Hearn, Jon G. Riecke
    Fully Abstract Translations and Parametric Polymorphism. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:454-468 [Conf]
  3. Jon G. Riecke
    Delimiting the Scope of Effects. [Citation Graph (0, 0)][DBLP]
    FPCA, 1993, pp:146-158 [Conf]
  4. Carl A. Gunter, Didier Rémy, Jon G. Riecke
    A Generalization of Exceptions and Control in ML-like Languages. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:12-23 [Conf]
  5. Jon G. Riecke
    A Complete and Decidable Proof System for Call-by-Value Equalities (Preliminary Report). [Citation Graph (0, 0)][DBLP]
    ICALP, 1990, pp:20-31 [Conf]
  6. Jon G. Riecke, Hayo Thielecke
    Typed Exeptions and Continuations Cannot Macro-Express Each Other. [Citation Graph (0, 0)][DBLP]
    ICALP, 1999, pp:635-644 [Conf]
  7. Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke
    Proving Memory Management Invariants for a Language Based on Linear Logic. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:139-150 [Conf]
  8. Albert R. Meyer, Jon G. Riecke
    Continuations May be Unreasonable. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1988, pp:63-71 [Conf]
  9. Anindya Banerjee, Nevin Heintze, Jon G. Riecke
    Region Analysis and the Polymorphic Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:88-97 [Conf]
  10. Stavros S. Cosmadakis, Albert R. Meyer, Jon G. Riecke
    Completeness for typed lazy inequalities [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:312-320 [Conf]
  11. Jon G. Riecke, Anders Sandholm
    A Relational Account of Call-by-Value Sequentiality. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:258-267 [Conf]
  12. Kim B. Bruce, Jon G. Riecke
    The Semantics of Miranda's Algebraic Types. [Citation Graph (0, 0)][DBLP]
    MFPS, 1987, pp:455-473 [Conf]
  13. John H. Reppy, Jon G. Riecke
    Simple Objects for Standard ML. [Citation Graph (0, 0)][DBLP]
    PLDI, 1996, pp:171-180 [Conf]
  14. Martín Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke
    A Core Calculus of Dependency. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:147-160 [Conf]
  15. Nevin Heintze, Jon G. Riecke
    The SLam Calculus: Programming with Secrecy and Integrity. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:365-377 [Conf]
  16. Jon G. Riecke, Ramesh Subrahmanyam
    Algebraic Reasoning and Completeness in Typed Languages. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:185-195 [Conf]
  17. Jon G. Riecke
    Fully Abstract Translations between Functional Languages. [Citation Graph (0, 0)][DBLP]
    POPL, 1991, pp:245-254 [Conf]
  18. Jon G. Riecke, Ramesh Viswanathan
    Isolating Side Effects in Sequential Languages. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:1-12 [Conf]
  19. Anindya Basu, Jon G. Riecke
    Stability issues in OSPF routing. [Citation Graph (0, 0)][DBLP]
    SIGCOMM, 2001, pp:225-236 [Conf]
  20. Anindya Banerjee, Nevin Heintze, Jon G. Riecke
    Design and Correctness of Program Transformations Based on Control-Flow Analysis. [Citation Graph (0, 0)][DBLP]
    TACS, 2001, pp:420-447 [Conf]
  21. Jon G. Riecke, Ramesh Subrahmanyam
    Extensions to Type Systems Can Preserve Operational Equivalences. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:76-95 [Conf]
  22. Jon G. Riecke
    Semantics: The Description of Computational Structures. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:173- [Journal]
  23. Peter W. O'Hearn, Jon G. Riecke
    Kripke Logical Relations and PCF [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:120, n:1, pp:107-116 [Journal]
  24. Jon G. Riecke
    Statman's 1-Section Theorem [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:116, n:2, pp:294-303 [Journal]
  25. Jon G. Riecke, Christopher A. Stone
    Privacy via Subsumption. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:172, n:1, pp:2-28 [Journal]
  26. Jon G. Riecke, Anders Sandholm
    A Relational Account of Call-by-Value Sequentiality. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:2, pp:296-331 [Journal]
  27. Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke
    Reference Counting as a Computational Interpretation of Linear Logic. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:2, pp:195-244 [Journal]
  28. Jon G. Riecke
    Fully Abstract Translations Between Functional Languages. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1993, v:3, n:4, pp:387-415 [Journal]
  29. Jon G. Riecke, Ramesh Subrahmanyam
    Conditions for the completeness of functional and algebraic equational reasoning. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1999, v:9, n:6, pp:651-685 [Journal]
  30. Jon G. Riecke
    Program Language Semantics: The Description of Computational Structures. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:1, pp:106-109 [Journal]

Search in 0.114secs, Finished in 0.116secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002