Del i serien Lecture Notes in Computer Science

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

AvHartmut Ehrig,Robert A. Kowalski,Giorgio Levi,Ugo Montanari

509 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1987-02-27
Mått155 x 235 x 20 mm
Vikt540 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor336
Upplaga1987
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540176114

Tillhör följande kategorier

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

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

Thomas J. Sargent - Dynamic Macroeconomic Theory, Inbunden

Dynamic Macroeconomic Theory

Thomas J. Sargent

Inbunden, 1987

1 259 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

509 kr

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

709 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

309 kr

Rolf Isermann, Rolf Isermann - Digitale Regelsysteme, Inbunden

Digitale Regelsysteme

Rolf Isermann, Rolf Isermann

Inbunden, 1987

789 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

379 kr

Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg - Graph Transformations, Häftad

Graph Transformations

Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg

Häftad, 2006

709 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

799 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

199 kr

Karlheinrich Horninger - Integrierte MOS-Schaltungen, Häftad

Integrierte MOS-Schaltungen

Karlheinrich Horninger

Häftad, 1987

729 kr