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 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87). Lecture Notes in Computer Science 249 Springer 1987, ISBN 3-540-17660-8 BibTeX

@proceedings{DBLP:conf/tapsoft/1987-1,
  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 1: Advanced Seminar on Foundations
               of Innovative Software Development I and Colloquium on Trees
               in Algebra and Programming (CAAP'87)},
  booktitle = {TAPSOFT, Vol.1},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {249},
  year      = {1987},
  isbn      = {3-540-17660-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Algorithms (CAAP Session 1)

Ingo Wegener: On the Complexity of Branching Programs and Decision Trees for Clique Functions. 1-12 BibTeX
Wojciech Szpankowski: Average Complexity of Additive Properties for Multiway Tries: A Unified Approach (Extended Abstract). 13-25 BibTeX
Maxime Crochemore: Longest Common Factor of Two Words. 26-36 BibTeX

Proving Techniques (CAAP Session 2)

Simona Ronchi Della Rocca: An Unification Semi-Algorithm for Intersection Type Schemes. 37-51 BibTeX
Bernhard Steffen: Optimal Run Time Optimization Proved by a New Look at Abstract Interpretation. 52-68 BibTeX
Françoise Bellegarde, Pierre Lescanne: Transformation Ordering. 69-80 BibTeX

Algebraic Specifications I (CAAP Session 3)

Martin Gogolla: On Parametric Algebraic Specifications with Clean Error Handling. 81-95 BibTeX
Donald Sannella, Andrzej Tarlecki: Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract). 96-110 BibTeX
Gabriele Marongiu, Sauro Tulipani: Finite Algebraic Specifications of Semicomputable Data Types. 111-122 BibTeX

Concurrency (CAAP Session 4)

Gérard Boudol, Ilaria Castellani: On the Semantics of Concurrency: Partial Orders and Transition Systems. 123-137 BibTeX
Rocco De Nicola, Matthew Hennessy: CCS without tau's. 138-152 BibTeX
Philippe Darondeau, B. Gamatie: A Fullt Observational Model for Infinite Behaviours of Communicating Systems. 153-168 BibTeX

AS Session 4

Egidio Astesiano, Gianna Reggio: SMoLCS-Driven Concurrent Calculi. 169-201 BibTeX

Algebraic Specifications II (CAAP Session 5)

Marisa Navarro, Fernando Orejas: Parameterized Horn Clause Specifications: Proof Theory and Correctness. 202-216 BibTeX
Francesco Parisi-Presicce: Partial Composition and Recursion of Module Specifications. 217-231 BibTeX

Foundations (CAAP Session 6)

Giorgio Gambosi, Jaroslav Nesetril, Maurizio Talamo: Efficient Representation of Taxonomies. 232-240 BibTeX
John-Jules Ch. Meyer, Erik P. de Vink: Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract). 241-255 BibTeX
Michael C. Browne, Edmund M. Clarke, Orna Grumberg: Characterizing Kripke Structures in Temporal Logic. 256-270 BibTeX

AS Session 5

Robin Milner: Dialogue with a Proof System. 271-275 BibTeX
Gérard P. Huet: Induction Principles Formalized in the Calculus of Constructions. 276-286 BibTeX

AS Session 2

James W. Thatcher: Algebraic Semantics (Abstract). 287 BibTeX