TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 (häftad)
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
336
Utgivningsdatum
1987-02-01
Upplaga
1987 ed.
Förlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Medarbetare
Ehrig, Hartmut (ed.), Kowalski, Robert A. (ed.), Levi, Giorgio (ed.), Montanari, Ugo (ed.)
Illustrationer
XIV, 336 p.
Volymtitel
Volume 2 TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (Cflp)
Dimensioner
234 x 156 x 19 mm
Vikt
499 g
Antal komponenter
1
Komponenter
1 Paperback / softback
ISBN
9783540176114
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 (häftad)

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)

Häftad Engelska, 1987-02-01
459
Skickas inom 10-15 vardagar.
Fri frakt inom Sverige för privatpersoner.
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.
Visa hela texten

Passar bra ihop

  1. TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
  2. +
  3. Handbook Of Graph Grammars And Computing By Graph Transformation - Volume 3: Concurrency, Parallelism, And Distribution

De som köpt den här boken har ofta också köpt Handbook Of Graph Grammars And Computing By Gra... av Grzegorz Rozenberg, Hartmut Ehrig, Hans-Jorg Kreowski, Ugo Montanari (inbunden).

Köp båda 2 för 1938 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Innehållsförteckning

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.