2. TAPSOFT 1987: Pisa, Italy

Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari (Eds.): TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP). Lecture Notes in Computer Science 250 Springer 1987, ISBN 3-540-17611-X BibTeX

@proceedings{DBLP:conf/tapsoft/1987-2,
  editor    = {Hartmut Ehrig and
               Robert A. Kowalski and
               Giorgio Levi and
               Ugo Montanari},
  title     = {TAPSOFT'87: Proceedings of the International Joint Conference
               on Theory and Practice of Software Development, Pisa, Italy,
               March 23-27, 1987, Volume 2: Advanced Seminar on Foundations
               of Innovative Software Development II and Colloquium on Functional
               and Logic Programming and Specifications (CFLP)},
  booktitle = {TAPSOFT, Vol.2},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {250},
  year      = {1987},
  isbn      = {3-540-17611-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

AS Session 1

Joseph A. Goguen, José Meseguer: Models and Equality for Logical Programming. 1-22 BibTeX
Koichi Furukawa: Fifth Generation Computer Project: Current Research Activity and Future Plans. 23-38 BibTeX

Theory and Semantics of Functional Languages (CFLP Session 1)

Adolfo Piperno: A Compositive Abstraction Algorithm for Combinatory Logic. 39-51 BibTeX
Jean-Yves Girard, Yves Lafont: Linear Logic and Lazy Computation. 52-66 BibTeX
Dominique Clément: The Natural Dynamic Semantics of Mini-Standard ML. 67-81 BibTeX

Language Features and Compilation in Logic Programming (CFLP Session 2)

Zsuzsa Farkas: LISTLOG - A Prolog Extension for List Processing. 82-95 BibTeX
Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini: Intensional Negation of Logic Programs: Examples and Implementation Techniques. 96-110 BibTeX
Peter Van Roy, Bart Demoen, Yves D. Willems: Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism. 111-125 BibTeX

Implementation Techniques (CFLP Session 3)

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. 126-139 BibTeX
Gary Lindstrom, Lal George, Dowming Yeh: Generating Efficient Code from Strictness Annotations. 140-154 BibTeX
Simon Finn: Hoisting: Lazy Evaluation in a Cold Climate. 155-166 BibTeX

Program Proving and Transformation (CFLP Session 4)

Wlodzimierz Drabent, Jan Maluszynski: Inductive Assertion Method for Logic Programs. 167-181 BibTeX
Alberto Pettorossi, Andrzej Skowron: Higher Order Generalization in Program Derivation. 182-196 BibTeX
Muffy Thomas: Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language. 197-211 BibTeX

AS Session 3

Keith L. Clark, Ian T. Foster: A Declarative Environment for Concurrent Logic Programming. 212-242 BibTeX
David H. D. Warren: Or-Parallel Execution Models of Prolog. 243-259 BibTeX

Unification of Functional and Logic Programming Languages (CFLP Session 5)

Marco Bellia: Retractions: A Functional Paradigm for Logic Programming. 260-275 BibTeX
Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso: Refined Strategies for Semantic Unification. 276-290 BibTeX

Types, Polymorphism and Abstract Data TYpe Specifications (CFLP Session 6)

Val Tannen, Thierry Coquand: Extensional Models for Polymorphism. 291-307 BibTeX
Robert Harper, Robin Milner, Mads Tofte: A Type Discipline for Program Modules. 308-319 BibTeX
Christoph Beierle, Angi Voß: Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications. 320-334 BibTeX