The SCEAS System
Navigation Menu

Conferences in DBLP

European Symposium on Programming (ESOP) (esop)
1999 (conf/esop/1999)

  1. Paul Hudak
    Functional Reactive Programming (Abstract). [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:1- [Conf]
  2. Michael Benedikt, Thomas W. Reps, Shmuel Sagiv
    A Decidable Logic for Describing Linked Data Structures. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:2-19 [Conf]
  3. Flemming Nielson, Hanne Riis Nielson
    Interprocedural Control Flow Analysis. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:20-39 [Conf]
  4. Andrei Sabelfeld, David Sands
    A Per Model of Secure Information Flow in Sequential Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:40-58 [Conf]
  5. Andy King, Jan-Georg Smaus, Patricia M. Hill
    Quotienting Share for Dependency Analysis. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:59-73 [Conf]
  6. Simon J. Gay, Malcolm Hole
    Types and Subtypes for Client-Server Interactions. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:74-90 [Conf]
  7. Cormac Flanagan, Martín Abadi
    Types for Safe Locking. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:91-108 [Conf]
  8. Gilles Barthe, Maria João Frade
    Constructor Subtyping. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:109-127 [Conf]
  9. Valery Trifonov, Zhong Shao
    Safe and Principled Language Interoperation. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:128-146 [Conf]
  10. Michael Norrish
    Deterministic Expressions in C. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:147-161 [Conf]
  11. Arnd Poetzsch-Heffter, Peter Müller
    A Programming Logic for Sequential Java. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:162-176 [Conf]
  12. Andreas Podelski, Witold Charatonik, Martin Müller
    Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:177-192 [Conf]
  13. Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard
    An Idealized MetaML: Simpler, and More Expressive. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:193-207 [Conf]
  14. Alan Mycroft
    Type-Based Decompilation (or Program Reconstruction via Type Reconstruction). [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:208-223 [Conf]
  15. Olivier Danvy, Zhe Yang
    An Operational Investigation of the CPS Hierarchy. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:224-242 [Conf]
  16. Peter Thiemann
    Higher-Order Code Splicing. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:243-257 [Conf]
  17. Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen
    Expressing Structural Properties as Language Constructs. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:258-272 [Conf]
  18. Patrik Jansson, Johan Jeuring
    Polytypic Compact Printing and Parsing. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:273-287 [Conf]
  19. Yanhong A. Liu, Scott D. Stoller
    Dynamic Programming via Static Incrementalization. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:288-305 [Conf]
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