Get Free Shipping on orders over $89
Lecture Notes in Computer Science : Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and             Colloquium on - Hartmut Ehrig

Lecture Notes in Computer Science

Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on

By: Hartmut Ehrig (Editor), Robert A. Kowalski (Editor), Giorgio Levi (Editor)

Paperback | 27 February 1987

At a Glance

Paperback


$59.99

or 4 interest-free payments of $15.00 with

 or 

Ships in 5 to 7 business days

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.

More in Mathematical Theory of Computation

Discrete Mathematics for Computing : Grassroots - Peter Grossman

RRP $150.00

$117.75

21%
OFF
AI Engineering : Building Applications with Foundation Models - Chip Huyen
Beading With Algorithms : Cellular Automata In Peyote Stitch - Gwen Fisher
Mathematical Foundations of Deep Learning : Theory and Algorithms - Xiaojing Ye
Theory of Computation for Software Developers - Maxim  Mozgovoy

RRP $189.00

$167.75

11%
OFF
Nonlinear Analysis for Human Movement Variability - Aaron D. Likens

RRP $194.00

$171.75

11%
OFF
Introduction to Modern Cryptography : Revised Third Edition - Jonathan  Katz
Beading With Algorithms : Cellular Automata In Peyote Stitch - Gwen Fisher