The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Henk Barendregt, Kees Hemerik
    Types in Lambda Calculi and Programming Languages. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:1-35 [Conf]
  2. Robert Paige
    Symbolic Finite Differencing - Part I. [Citation Graph (2, 0)][DBLP]
    ESOP, 1990, pp:36-56 [Conf]
  3. Yves Bertot
    Implementation of an Interpreter for a Parallel Language in Centaur. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:57-69 [Conf]
  4. Anders Bondorf
    Automatic Autoprojection of Higher Order Recursive Equations. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:70-87 [Conf]
  5. Charles Consel, Olivier Danvy
    From Interpreting to Compiling Binding Times. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:88-105 [Conf]
  6. Danny De Schreye, Dirk Pollet, Johan Ronsyn, Maurice Bruynooghe
    Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:106-117 [Conf]
  7. Susan Even, David A. Schmidt
    Type Inference for Action Semantics. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:118-133 [Conf]
  8. Matthias Felleisen
    On the Expressive Power of Programming Languages. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:134-151 [Conf]
  9. Benjamin Goldberg, Young Gil Park
    Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:152-160 [Conf]
  10. E. Pascal Gribomont
    Development of Concurrent Systems by Incremental Transformations. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:161-176 [Conf]
  11. Reinhold Heckmann
    Set Domains. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:177-196 [Conf]
  12. Leen Helmink
    Resolution and Type Theory. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:197-211 [Conf]
  13. Stanley Jefferson, Shinn-Der Lee, Daniel P. Friedman
    A Syntactic Theory of Transparent Parameterization. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:212-226 [Conf]
  14. Thomas P. Jensen, Torben Æ. Mogensen
    A Backwards Analysis for Compile-time Garbage Collection. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:227-239 [Conf]
  15. Martin Jourdan, Didier Parigot
    Techniques for Improving Grammar Flow Analysis. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:240-255 [Conf]
  16. Richard Kennaway
    The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:256-270 [Conf]
  17. Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
    Graph-based Implementation of a Functional Logic Langugage. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:271-290 [Conf]
  18. Hanne Riis Nielson, Flemming Nielson
    Eureka Definitions for Free! or Disagreement Points for Fold/Unford Transformations. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:291-305 [Conf]
  19. Maurizio Proietti, Alberto Pettorossi
    Synthesis of Eureka Predicates for Developing Logic Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:306-325 [Conf]
  20. Thomas W. Reps
    Algebraic Properties of Program Integration. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:326-340 [Conf]
  21. Sergei A. Romanenko
    Arity Raiser and its Use in Program Specialization. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:341-360 [Conf]
  22. David Sands
    Complexity Analysis for a Lazy Higher-Order Language. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:361-376 [Conf]
  23. Ph. Schnoebelen, Sophie Pinchinat
    On the Weak Adequacy of Branching-Time Remporal Logic. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:377-388 [Conf]
  24. Bernhard Steffen, Jens Knoop, Oliver Rüthing
    The Value Flow Graph: A Program Representation for Optimal Program Transformations. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:389-405 [Conf]
  25. Satish Thatte
    Type Inference and Implicit Scaling. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:406-420 [Conf]
  26. Andrei Voronkov
    Towards the Theory of Programming in Constructive Logic. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:421-435 [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