Tapsoft '87: Proceedings Of The International Joint Conference On Theory And Practice Of Software Development, Pisa, Italy, March 23 - 27 1987: Volume by Hartmut EhrigTapsoft '87: Proceedings Of The International Joint Conference On Theory And Practice Of Software Development, Pisa, Italy, March 23 - 27 1987: Volume by Hartmut Ehrig

Tapsoft '87: Proceedings Of The International Joint Conference On Theory And Practice Of Software…

EditorHartmut Ehrig

Paperback | February 27, 1987

Pricing and Purchase Info

$60.60 online 
$64.95 list price save 6%
Earn 303 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Tapsoft '87: Proceedings Of The International Joint Conference On Theory And Practice Of Software…Format:PaperbackDimensions:9.25 × 6.1 × 0.07 inPublished:February 27, 1987Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:354017611X

ISBN - 13:9783540176114

Look for similar items by category:

Reviews

Table of Contents

Models and equality for logical programming.- Fifth generation computer project: Current research activity and future plans.- A compositive abstraction algorithm for combinatory logic.- Linear logic and lazy computation.- The natural dynamic semantics of mini-Standard ML.- Listlog - A PROLOG extension for list processing.- Intensional negation of logic programs: Examples and implementation techniques.- Improving the execution speed of compiled Prolog with modes, clause selection, and determinism.- Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph.- Generating efficient code from strictness annotations.- Hoisting: Lazy evaluation in a cold climate.- Inductive assertion method for logic programs.- Higher order generalization in program derivation.- Implementing algebraically specified abstract data types in an imperative programming language.- A declarative environment for concurrent logic programming.- Or-parallel execution models of Prolog.- Retractions: A functional paradigm for logic programming.- Refined strategies for semantic unification.- Extensional models for polymorphism.- A type discipline for program modules.- Theory and practice of canonical term functors in abstract data type specifications.