Skip to main content
SpringerLink
Log in

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)

  • Conference proceedings
  • © 1987

Overview

Editors:
  1. Hartmut Ehrig
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Robert Kowalski
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Giorgio Levi
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Ugo Montanari
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 250)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Download chapter PDF

  2. Models and equality for logical programming

    • Joseph A. Goguen, José Meseguer
    Pages 1-22

  3. Fifth generation computer project: Current research activity and future plans

    • Koichi Furukawa
    Pages 23-38

  4. A compositive abstraction algorithm for combinatory logic

    • Adolfo Piperno
    Pages 39-51

  5. Linear logic and lazy computation

    • J. Y. Girard, Y. Lafont
    Pages 52-66

  6. The natural dynamic semantics of mini-Standard ML

    • Dominique Clément
    Pages 67-81

  7. Listlog — A PROLOG extension for list processing

    • Zsuzsa Farkas
    Pages 82-95

  8. Intensional negation of logic programs: Examples and implementation techniques

    • Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Pages 96-110

  9. Improving the execution speed of compiled Prolog with modes, clause selection, and determinism

    • Peter Van Roy, Bart Demoen, Yves D. Willems
    Pages 111-125

  10. Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph

    • C. Percebois, I. Futó, I. Durand, C. Simon, B. Bonhoure
    Pages 126-139

  11. Generating efficient code from strictness annotations

    • Gary Lindstrom, Lal George, Dowming Yeh
    Pages 140-154

  12. Hoisting: Lazy evaluation in a cold climate

    • Simon Finn
    Pages 155-166

  13. Inductive assertion method for logic programs

    • WÅ‚odzimierz Drabent, Jan MaÅ‚uszyÅ„ski
    Pages 167-181

  14. Higher order generalization in program derivation

    • Alberto Pettorossi, Andrzej Skowron
    Pages 182-196

  15. Implementing algebraically specified abstract data types in an imperative programming language

    • Muffy Thomas
    Pages 197-211

  16. A declarative environment for concurrent logic programming

    • Keith L. Clark, Ian T. Foster
    Pages 212-242

  17. Or-parallel execution models of Prolog

    • David H. D. Warren
    Pages 243-259

  18. Retractions: A functional paradigm for logic programming

    • M. Bellia
    Pages 260-275

  19. Refined strategies for semantic unification

    • Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
    Pages 276-290

  20. Extensional models for polymorphism

    • Val Breazu-Tannen, Thierry Coquand
    Pages 291-307
Back to top

Keywords

Bibliographic Information

  • Book Title: TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

  • Book Subtitle: Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)

  • Editors: Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0014968

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1987

  • Softcover ISBN: 978-3-540-17611-4Published: 27 February 1987

  • eBook ISBN: 978-3-540-47717-4Published: 23 November 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 336

  • Topics: Software Engineering, Logics and Meanings of Programs, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation