Conferences in DBLP

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

1. Uwe Kastens
   Executable Specifications for Language Implementation. [Citation Graph (0, 0)][DBLP]
   PLILP, 1993, pp:1-11 [Conf]
   
2. Johan Boye
   Avoiding Dynamic Delays in Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
   PLILP, 1993, pp:12-27 [Conf]
   
3. Michael Hanus, Berthold Josephs
   A Debugging Model for Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
   PLILP, 1993, pp:28-43 [Conf]
   
4. Pierre Lim, Joachim Schimpf
   A Conservative Approach to Meta-Programming in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
   PLILP, 1993, pp:44-59 [Conf]
   
5. Jean Jourdan, Thierry Sola
   The Versatility of Handling Disjunctions as Constraints. [Citation Graph (0, 0)][DBLP]
   PLILP, 1993, pp:60-74 [Conf]
   
6. Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy, Baudouin Le Charlier
   Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains. [Citation Graph (0, 0)][DBLP]
   PLILP, 1993, pp:75-91 [Conf]
   
7. Andreas Kågedal
   Improvements in Compile-Time Analysis for Ground Prolog. [Citation Graph (0, 0)][DBLP]
   PLILP, 1993, pp:92-107 [Conf]
   
8. Mark-Jan Nederhof
   A New Top-Down Parsing Algorithm for Left-Recursive DCGs. [Citation Graph (0, 0)][DBLP]
   PLILP, 1993, pp:108-122 [Conf]
   
9. Martin Jourdan, Carole Le Bellec, Didier Parigot, Gilles Roussel
   Specification and Implementation of Grammar Couplings using Attribute Grammars. [Citation Graph (0, 0)][DBLP]
   PLILP, 1993, pp:123-136 [Conf]
   
10. Arnd Poetzsch-Heffter
    Programming Language Specification and Prototyping Using the MAX System. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:137-150 [Conf]
    
11. Andrei Mantsivoda
    Flang and its Implementation. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:151-166 [Conf]
    
12. Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans
    Efficient Lazy Narrowing using Demandedness Analysis. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:167-183 [Conf]
    
13. Rita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
    A Demand Driven Computation Strategy for Lazy Narrowing. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:184-200 [Conf]
    
14. John Darlington, Yike Guo, Martin Köhler
    Functional Programming Languages with Logical Variables: A Linear Logic View. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:201-219 [Conf]
    
15. Antonio Natali, Andrea Omicini
    Objects with State in Contextual Logic Programming. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:220-234 [Conf]
    
16. Khayri A. M. Ali, Roland Karlsson
    A Novel Method for Parallel Implementation of findall. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:235-245 [Conf]
    
17. Remco Moolenaar, Bart Demoen
    A Parallel Implementation for AKL. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:246-261 [Conf]
    
18. Owen Kaser
    Inlining to Reduce Stack Space. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:262-274 [Conf]
    
19. Agostino Dovier, Enrico Pontelli
    A WAM-Based Implementation of a Logical Language with Sets. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:275-290 [Conf]
    
20. Vicente Benjumea, José M. Troya
    An OR Parallel Prolog Model for Distributed Memory Systems. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:291-301 [Conf]
    
21. Jonas Barklund, Johan Bevemyr
    Executing Bounded Quantifications on Shared Memory Multiprocessors. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:302-317 [Conf]
    
22. David Clark, Chris Hankin
    A Lattice of Abstract Graphs. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:318-331 [Conf]
    
23. Mads Rosendahl
    Higher-Order Chaotic Iteration Sequences. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:332-345 [Conf]
    
24. Geoffrey L. Burn, Daniel Le Métayer
    Proving the Correctness of Compiler Optimizations Based on Strictness Analysis. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:346-364 [Conf]
    
25. Alexander Ja. Dikovsky
    Abstract Complexity of Prolog Based on WAM. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:365-377 [Conf]
    
26. Alexander A. Letichevsky
    Development of Rewriting Strategies. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:378-390 [Conf]
    
27. María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
    Narrowing Approximations as an Optimization for Equational Logic Programs. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:391-409 [Conf]
    
28. P. Canalda, L. Cognard, Annie Despland, Monique Mazaud
    PAGODE: a Back End Generator. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:410-411 [Conf]
    
29. Michele Bugliesi, Giuseppe Nardiello
    SelfLog: Language and Implementation. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:412-413 [Conf]
    
30. Martin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond
    Embedding Declarative Subprograms into Imperative Constructs. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:414-415 [Conf]
    
31. Guido Hogen, Rita Loogen
    Stack Management of Runtime Structures in Distributed Implementations. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:416-417 [Conf]
    
32. Christoph W. Keßler, Thomas Rauber
    Efficient Register Allocation for Large Basic Blocks. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:418-419 [Conf]
    
33. Martin Alt, Georg Sander, Reinhard Wilhelm
    Generation of Synchronization Code for Parallel Compilers. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:420-421 [Conf]