UID:
almafu_9959186270302883
Umfang:
1 online resource (XIV, 336 p.)
Ausgabe:
1st ed. 1987.
Ausgabe:
Online edition Springer Lecture Notes Archive ; 041142-5
ISBN:
3-540-47717-9
Serie:
Lecture Notes in Computer Science, 250
Anmerkung:
Bibliographic Level Mode of Issuance: Monograph
,
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.
,
English
In:
Springer eBooks
Weitere Ausg.:
ISBN 3-540-17611-X
Sprache:
Englisch
URL:
http://dx.doi.org/10.1007/BFb0014968
URL:
http://dx.doi.org/10.1007/BFb0014968
URL:
http://dx.doi.org/10.1007/BFb0014968
