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-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/1987-2
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 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

AS Session 1

- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/GoguenM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/GoguenM87
Joseph A. Goguen, José Meseguer:
Models and Equality for Logical Programming. 1-22
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Furukawa87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Furukawa87
Koichi Furukawa:
Fifth Generation Computer Project: Current Research Activity and Future Plans. 23-38

Theory and Semantics of Functional Languages (CFLP Session 1)

- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Piperno87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Piperno87
Adolfo Piperno:
A Compositive Abstraction Algorithm for Combinatory Logic. 39-51
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/GirardL87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/GirardL87
Jean-Yves Girard, Yves Lafont:
Linear Logic and Lazy Computation. 52-66
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Clement87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Clement87
Dominique Clément:
The Natural Dynamic Semantics of Mini-Standard ML. 67-81

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

- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Farkas87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Farkas87
Zsuzsa Farkas:
LISTLOG - A Prolog Extension for List Processing. 82-95
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/BarbutiMPT87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/BarbutiMPT87
Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini:
Intensional Negation of Logic Programs: Examples and Implementation Techniques. 96-110
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/RoyDW87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/RoyDW87
Peter Van Roy, Bart Demoen, Yves D. Willems:
Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism. 111-125

Implementation Techniques (CFLP Session 3)

- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/PerceboisFDSB87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/PerceboisFDSB87
Christian Percebois, Ivan Futó, Irène Durand, Catherine Simon, Brigitte Bonhoure:
Simulation Results of a Multiprocessor Prolog Architecture Based on a Distributed and/or Graph. 126-139
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/LindstromGY87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/LindstromGY87
Gary Lindstrom, Lal George, Dowming Yeh:
Generating Efficient Code from Strictness Annotations. 140-154
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Finn87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Finn87
Simon Finn:
Hoisting: Lazy Evaluation in a Cold Climate. 155-166

Program Proving and Transformation (CFLP Session 4)

- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/DrabentM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/DrabentM87
Wlodzimierz Drabent, Jan Maluszynski:
Inductive Assertion Method for Logic Programs. 167-181
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/PettorossiS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/PettorossiS87
Alberto Pettorossi, Andrzej Skowron:
Higher Order Generalization in Program Derivation. 182-196
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Thomas87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Thomas87
Muffy Thomas:
Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language. 197-211

AS Session 3

- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/ClarkF87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/ClarkF87
Keith L. Clark, Ian T. Foster:
A Declarative Environment for Concurrent Logic Programming. 212-242
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Warren87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Warren87
David H. D. Warren:
Or-Parallel Execution Models of Prolog. 243-259

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

- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Bellia87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Bellia87
Marco Bellia:
Retractions: A Functional Paradigm for Logic Programming. 260-275
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/BoscoGM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/BoscoGM87
Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso:
Refined Strategies for Semantic Unification. 276-290

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

- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/TannenC87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/TannenC87
Val Tannen, Thierry Coquand:
Extensional Models for Polymorphism. 291-307
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/HarperMT87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/HarperMT87
Robert Harper, Robin Milner, Mads Tofte:
A Type Discipline for Program Modules. 308-319
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/BeierleV87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/BeierleV87
Christoph Beierle, Angi Voß:
Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications. 320-334

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.