Conferences in DBLP

TAPSOFT (tapsoft)
1987 (conf/tapsoft/1987-2)

1. Joseph A. Goguen, José Meseguer
   Models and Equality for Logical Programming. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, Vol.1, 1987, pp:1-22 [Conf]
   
2. Koichi Furukawa
   Fifth Generation Computer Project: Current Research Activity and Future Plans. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, Vol.2, 1987, pp:23-38 [Conf]
   
3. Adolfo Piperno
   A Compositive Abstraction Algorithm for Combinatory Logic. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, Vol.2, 1987, pp:39-51 [Conf]
   
4. Jean-Yves Girard, Yves Lafont
   Linear Logic and Lazy Computation. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, Vol.2, 1987, pp:52-66 [Conf]
   
5. Dominique Clément
   The Natural Dynamic Semantics of Mini-Standard ML. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, Vol.2, 1987, pp:67-81 [Conf]
   
6. Zsuzsa Farkas
   LISTLOG - A Prolog Extension for List Processing. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, Vol.2, 1987, pp:82-95 [Conf]
   
7. Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini
   Intensional Negation of Logic Programs: Examples and Implementation Techniques. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, Vol.2, 1987, pp:96-110 [Conf]
   
8. Peter Van Roy, Bart Demoen, Yves D. Willems
   Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, Vol.2, 1987, pp:111-125 [Conf]
   
9. Christian Percebois, Ivan Futó, Irène Durand, C. Simon, B. Bonhoure
   Simulation Results of a Multiprocessor Prolog Architecture Based on a Distributed and/or Graph. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, Vol.2, 1987, pp:126-139 [Conf]
   
10. Gary Lindstrom, Lal George, Dowming Yeh
    Generating Efficient Code from Strictness Annotations. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:140-154 [Conf]
    
11. Simon Finn
    Hoisting: Lazy Evaluation in a Cold Climate. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:155-166 [Conf]
    
12. Wlodzimierz Drabent, Jan Maluszynski
    Inductive Assertion Method for Logic Programs. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:167-181 [Conf]
    
13. Alberto Pettorossi, Andrzej Skowron
    Higher Order Generalization in Program Derivation. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:182-196 [Conf]
    
14. Muffy Thomas
    Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:197-211 [Conf]
    
15. Keith L. Clark, Ian T. Foster
    A Declarative Environment for Concurrent Logic Programming. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:212-242 [Conf]
    
16. David H. D. Warren
    Or-Parallel Execution Models of Prolog. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:243-259 [Conf]
    
17. Marco Bellia
    Retractions: A Functional Paradigm for Logic Programming. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:260-275 [Conf]
    
18. Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
    Refined Strategies for Semantic Unification. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:276-290 [Conf]
    
19. Val Tannen, Thierry Coquand
    Extensional Models for Polymorphism. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:291-307 [Conf]
    
20. Robert Harper, Robin Milner, Mads Tofte
    A Type Discipline for Program Modules. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:308-319 [Conf]
    
21. Christoph Beierle, Angi Voß
    Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:320-334 [Conf]