Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Sista dagarna på sommarens kampanjer →

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)

AvHartmut Ehrig,Robert A. Kowalski

Häftad, Engelska, 1987

Del i serien Lecture Notes in Computer Science

395 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1987-02-27
Mått:155 x 235 x 20 mm
Vikt:540 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:336
Upplaga:1987
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540176114

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

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.

Du kanske också är intresserad av

Grantham K.H. Pang, Alistair G.J. MacFarlane - Expert Systems Approach to Computer-Aided Design of Multivariable Systems, Häftad

Del 89

Expert Systems Approach to Computer-Aided Design of Multivariable Systems

Grantham K.H. Pang, Alistair G.J. MacFarlane

Häftad, 1987

546 kr

James W. Woelfel - Albert Camus on the Sacred and the Secular, Häftad

Albert Camus on the Sacred and the Secular

James W. Woelfel

Häftad, 1987

243 kr

Rolf Isermann, Rolf Isermann - Digitale Regelsysteme, Inbunden

Digitale Regelsysteme

Rolf Isermann, Rolf Isermann

Inbunden, 1987

611 kr

Hans-Georg Gadamer, Robert Bernasconi - The Relevance of the Beautiful and Other Essays, Häftad

The Relevance of the Beautiful and Other Essays

Hans-Georg Gadamer, Robert Bernasconi

Häftad, 1987

(1)

303 kr

Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari - TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987, Häftad

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987

Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari

Häftad, 1987

395 kr

R. H. Lowe-McConnell - Ecological Studies in Tropical Fish Communities, Häftad

Ecological Studies in Tropical Fish Communities

R. H. Lowe-McConnell

Häftad, 1987

639 kr

Don Fleming - How to Stop the Battle with Your Child, Häftad

How to Stop the Battle with Your Child

Don Fleming

Häftad, 1987

159 kr

Karlheinrich Horninger - Integrierte MOS-Schaltungen, Häftad

Del 14

Integrierte MOS-Schaltungen

Karlheinrich Horninger

Häftad, 1987

561 kr

Martin Swales - German Poetry, Häftad

German Poetry

Martin Swales

Häftad, 1987

673 kr

Cats Selection, Övrigt

Cats Selection

Faber Music Ltd

138 kr