default search action

combined dblp search
author search
venue search
publication search

ask others

2. TAPSOFT 1987: Pisa, Italy

> Home > Conferences and Workshops > TAPSOFT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/1987-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/1987-1
Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari:
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

Algorithms (CAAP Session 1)

- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Wegener87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Wegener87
Ingo Wegener:
On the Complexity of Branching Programs and Decision Trees for Clique Functions. 1-12
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Szpankowski87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Szpankowski87
Wojciech Szpankowski:
Average Complexity of Additive Properties for Multiway Tries: A Unified Approach (Extended Abstract). 13-25
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Crochemore87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Crochemore87
Maxime Crochemore:
Longest Common Factor of Two Words. 26-36

Proving Techniques (CAAP Session 2)

- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Rocca87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Rocca87
Simona Ronchi Della Rocca:
An Unification Semi-Algorithm for Intersection Type Schemes. 37-51
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Steffen87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Steffen87
Bernhard Steffen:
Optimal Run Time Optimization Proved by a New Look at Abstract Interpretation. 52-68
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/BellegardeL87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/BellegardeL87
Françoise Bellegarde, Pierre Lescanne:
Transformation Ordering. 69-80

Algebraic Specifications I (CAAP Session 3)

- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Gogolla87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Gogolla87
Martin Gogolla:
On Parametric Algebraic Specifications with Clean Error Handling. 81-95
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/SannellaT87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/SannellaT87
Donald Sannella, Andrzej Tarlecki:
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract). 96-110
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/MarongiuT87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/MarongiuT87
Gabriele Marongiu, Sauro Tulipani:
Finite Algebraic Specifications of Semicomputable Data Types. 111-122

Concurrency (CAAP Session 4)

- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/BoudolC87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/BoudolC87
Gérard Boudol, Ilaria Castellani:
On the Semantics of Concurrency: Partial Orders and Transition Systems. 123-137
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/NicolaH87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/NicolaH87
Rocco De Nicola, Matthew Hennessy:
CCS without tau's. 138-152
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/DarondeauG87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/DarondeauG87
Philippe Darondeau, B. Gamatie:
A Fullt Observational Model for Infinite Behaviours of Communicating Systems. 153-168

AS Session 4

- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/AstesianoR87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/AstesianoR87
Egidio Astesiano, Gianna Reggio:
SMoLCS-Driven Concurrent Calculi. 169-201

Algebraic Specifications II (CAAP Session 5)

- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/NavarroO87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/NavarroO87
Marisa Navarro, Fernando Orejas:
Parameterized Horn Clause Specifications: Proof Theory and Correctness. 202-216
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Parisi-Presicce87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Parisi-Presicce87
Francesco Parisi-Presicce:
Partial Composition and Recursion of Module Specifications. 217-231

Foundations (CAAP Session 6)

- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/GambosiNT87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/GambosiNT87
Giorgio Gambosi, Jaroslav Nesetril, Maurizio Talamo:
Efficient Representation of Taxonomies. 232-240
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/MeyerV87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/MeyerV87
John-Jules Ch. Meyer, Erik P. de Vink:
Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract). 241-255
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/BrowneCG87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/BrowneCG87
Michael C. Browne, Edmund M. Clarke, Orna Grumberg:
Characterizing Kripke Structures in Temporal Logic. 256-270

AS Session 5

- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Milner87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Milner87
Robin Milner:
Dialogue with a Proof System. 271-275
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Huet87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Huet87
Gérard P. Huet:
Induction Principles Formalized in the Calculus of Constructions. 276-286

AS Session 2

- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Thatcher87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Thatcher87
James W. Thatcher:
Algebraic Semantics (Abstract). 287

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.