The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on Programming Language Implementation and Logic Programming (PLILP) (plilp)
1992 (conf/plilp/1992)

  1. Michael Hanus
    Improving Control of Logic Programs by Using Functional Logic Languages. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:1-23 [Conf]
  2. Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo
    Independent AND-Parallel Implementation of Narrowing. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:24-38 [Conf]
  3. Michel Dorochevsky, André Véron
    Binding Techniques and Garbage Collection for OR-Parallel CLP Systems. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:39-53 [Conf]
  4. Carsten K. Gomard, Peter Sestoft
    Path Analysis for Lazy Data Structures. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:54-68 [Conf]
  5. Krzysztof R. Apt, Alessandro Pellegrini
    Why the Occur-Check is Not a Problem. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:69-86 [Conf]
  6. Isabelle Attali, Jacques Chazarain, Serge Gilette
    Incremental Evaluation of Natural Semantics Specification. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:87-99 [Conf]
  7. François Barthélemy, Eric Villemonte de la Clergerie
    Subsumption-oriented Push-Down Automata. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:100-114 [Conf]
  8. Stefan Kahrs
    Unlimp, Uniqueness as a Leitmotiv for Implementation. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:115-129 [Conf]
  9. Maarten Pennings, S. Doaitse Swierstra, Harald Vogt
    Using Cached Functions and Constructors for Incremental Attribute Evaluation. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:130-144 [Conf]
  10. Mads Rosendahl
    Strictness Analysis for Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:145-157 [Conf]
  11. Sadeph Saidi, Jean-François Boulicaut
    Checking and Debugging of Two-level Grammars. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:158-171 [Conf]
  12. Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
    On Safe Folding. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:172-186 [Conf]
  13. Torben Amtoft
    Unfold/fold Transformations Preserving Termination Properties. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:187-201 [Conf]
  14. Francis Alexandre
    A technique for Transforming Logic Programs by Fold-Unfold Transformations. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:202-216 [Conf]
  15. Jean Henrard, Baudouin Le Charlier
    FOLON: An Environment for Declarative Construction of Logic Programs. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:217-231 [Conf]
  16. Werner Hans
    A Complete Indexing Scheme for WAM-based Abstract Machines. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:232-244 [Conf]
  17. Andreas Krall, Thomas Berger
    Fast Prolog with VAM1p based Prolog Compiler. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:245-259 [Conf]
  18. Christian Holzbaur
    Metastructures versus Attributed Variables in the Context of Extensible Unification. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:260-268 [Conf]
  19. Patrick Cousot, Radhia Cousot
    Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:269-295 [Conf]
  20. Kristof Verschaetse, Danny De Schreye
    Deriving of Linear Size Relations by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:296-310 [Conf]
  21. Vincent Englebert, Baudouin Le Charlier, Didier Roland, Pascal Van Hentenryck
    Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:310-325 [Conf]
  22. Alain Hui-Bon-Hoa
    A Bottom-Up Interpreter for a Higher-Order Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:326-340 [Conf]
  23. Andy Mück
    CAMEL: An Extension of the Categorial Abstract Machine to Compile Functional/Logic Programs. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:341-354 [Conf]
  24. Werner Hans, Rita Loogen, Stephan Winkler
    On the Interaction of Lazy Evaluation and Backtracking. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:355-369 [Conf]
  25. Mariam Kamkar, Nahid Shahmehri, Peter Fritzson
    Interprocedural Dynamic Slicing. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:370-384 [Conf]
  26. Henrik Nilsson, Peter Fritzson
    Algorithmic Debugging for Lazy Functional Languages. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:385-399 [Conf]
  27. Mireille Ducassé
    A General Trace Query Mechanism Based on Prolog. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:400-414 [Conf]
  28. Jan A. Plaza
    Fully Declarative Logic Programming. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:415-427 [Conf]
  29. Gary Lindstrom, Jan Maluszynski, Takeshi Ogi
    Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:428-442 [Conf]
  30. María Alpuente, Moreno Falaschi, Ferdinando Manzo
    Analyses of Inconsistency for Incremental Equational Logic Programming. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:443-457 [Conf]
  31. Samuel A. Rebelsky
    I/O Trees and Interactive Lazy Functional Programming. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:458-472 [Conf]
  32. Lutz H. Hamel
    UCG-E: An Equational Logic Programming System. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:473-474 [Conf]
  33. Dave Cattrall, Colin Runciman
    A Relational Programming System with Inferred Representations. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:475-476 [Conf]
  34. Hermano Moura
    An Implementation of Action Semantics (Summaray). [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:477-478 [Conf]
  35. Paul Tarau
    BinProlog: a Continuation Passing Style Prolog Engine. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:479-480 [Conf]
  36. Peter Thiemann
    LaToKi: A Language Toolkit for Bottom-Up Evaluation of Functional Programs. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:481-482 [Conf]
  37. Bernhard Reus
    Implementing Higher-Order Functions in an Algebraic Specification Language with Narrowing. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:483-484 [Conf]
  38. Jaak Vilo
    Implementing Attribute Grammars by Computational Models. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:485-486 [Conf]
  39. Chu Min Li, Paul Y. Gloess
    ProQuery: Logical Access to an OODB. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:487-488 [Conf]
  40. Christine Solnon, Michel Rueher
    Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:489-490 [Conf]
  41. Peter Barth
    CLP(PB), A Meta-Interpreter in CLP(R). [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:491-492 [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