Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1987

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)

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)

Sections

Buy it now

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

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

Table of contents (21 papers)

  1. Front Matter

    PDF

  2. Models and equality for logical programming

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

  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

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

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

  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

  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

  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

  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

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation