%A I. Wegener
%T On the complexity of branching programs and decision trees
for clique functions
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 1-12

%A W. Szpankowski
%T Average complexity of additive properties for multiway tries:
a unified approach
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 13-25

%A M. Crochemore
%T Longest common factor of two words
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 26-36

%A S. Ronchi della\ Rocca
%T A unification semi-algorithm for intersection type schemes
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 37-51

%A B. Steffen
%T Optimal run time optimization
proved by a new look at abstract interpretations
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 52-68

%A F. Bellegarde
%A P. Lescanne
%T Transformation ordering
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 69-80

%A M. Gogolla
%T On parametric algebraic specifications with clean error handling
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 81-95

%A D. Sannella
%A A. Tarlecki
%T Toward formal development of programs from algebraic specifications:
implementations revisited
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 96-110

%A G. Marongiu
%A S. Tulipani
%T Finite algebraic specifications of semicomputable data types
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 111-122

%A G. Boudol
%A I. Castellani
%T On the semantics of concurrency: partial orders and transition systems
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 123-137

%A R. De\ Nicola
%A M. Hennessy
%T CCS without tau's
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 138-152

%A Ph. Darondeau
%A B. Gamatie
%T A fully observational model for infinite behaviours of communicating systems
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 153-168

%A E. Astesiano
%A G. Reggio
%T SMoLCS-driven concurrent calculi
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 169-201

%A M. Navarro
%A F. Orenjas
%T Parameterized Horn clause specifications: proof theory and correctness
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 202-216

%A F. Parisi-Presicce
%T Partial composition and recursion of module specifications
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 217-231

%A G. Gambosi
%A M. Talamo
%A J. Nesetril
%T Efficient representation of taxonomies
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 232-240

%A J.-J.Ch. Meyer
%A E.P. de\ Vink
%T Applications of compactness in the Smyth powerdomain of streams
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 241-255

%A M.C. Browne
%A E.M. Clarke
%A O. Grumberg
%T Characterizing Kripke structures in temporal logic
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 256-270

%A R. Milner
%T Dialogue with a proof system
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 271-275

%A G. Huet
%T Induction principles formalized in the calculus of constructions
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 276-286

%A J. Thatcher
%T Algebraic semantics (abstract only)
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 1
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 249
by Springer-Verlag
%K tapsoft
%P 287

%A Joseph A. Goguen
%A Jose Meseguer
%T Models and equality for logical programming
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 1-22

%A Koichi Furukawa
%T Fifth generation computer project: current research activity and future plans
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 23-38

%A Adolfo Piperno
%T A compositive abstraction algorithm for combinatory logic
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 39-51

%A J.Y. Girard
%A Y. Lafont
%T Linear logic and lazy computation
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 52-66

%A Dominique Clemens
%T The natural dynamic semantics of mini-standard ML
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 67-81

%A Zsuzsa Farkas
%T Listlog - a Prolog extension for list processing
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 82-95

%A Roberto Barbuti
%A Paolo Mancarella
%A Dino Pedreschi
%A Franco Turini
%T Intensional negation of logic programs:
examples and implementation techniques
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 96-110
%K SLDIN

%A Peter Van\ Roy
%A Bart Demcen
%A Yves D. Wilems
%T Improving the execution speed of compiled Prolog
with modes, clause selection, and determinism
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 111-125

%A C. Percebois
%A I. Futo
%A I. Durand
%A C. Simon
%A B. Bonhoure
%T Simulation results of a multiprocessor Prolog architecture
based on a distributed AND/OR graph
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 126-139
%K COALA

%A Gary Lindstrom
%A Lal George
%A Downing Yeh
%T Generating efficient code from strictness annotations
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 140-154

%A Simon Finn
%T Hoisting: lazy evaluation in a cold climate
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 155-166
%K Simplex, tagged combinator reduction

%A Wlodzimierz Drabent
%A Jan Maluszynski
%T Inductive assertion method for logic programs
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 167-181

%A Alberto Pettorossi
%A Andrzej Skowron
%T Higher order generalization in program derivation
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 182-196
%K transformation, unfold/fold

%A Muffy Thomas
%T Implementing algebraically specified abstract data types
in an imperative programming language
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 197-211

%A Keith L. Clark
%A Ian T. Foster
%T A declarative environment for concurrent logic programming
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 212-242
%K Parlog programming system, PPS

%A David H.D. Warren
%T Or-parallel execution models of Prolog
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 243-259

%A M. Bellia
%T Retractions: a functional paradigm for logic programming
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 260-275

%A Pier Giorgio Bosco
%A Elio Giovannetti
%A Corrado Moiso
%T Refined strategies for semantic unification
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 276-290

%A Val Breazu-Tannen
%A Thierry Coquand
%T Extensional models for polymorphism
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 291-307

%A Robert Harper
%A Robin Milner
%A Mads Tofte
%T A type discipline for program modules
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 308-319
%K ML, ModL, signatures

%A Christoph Beierle
%A Angelika Voss
%T Theory and practice of canonical term functors
in abstract data type specifications
%J Proceedings of the International Joint Conference on
the Theory and Practice of Software Development, volume 2
%C Pisa, Italy
%D March 1987
%E Hartmut Ehrig
%E Robert Kowalski
%E Giorgio Levi
%E Ugo Montanari
%O published as Lecture Notes in Computer Science 250
by Springer-Verlag
%K tapsoft
%P 320-334