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
Introduction to Modern Cryptography : Revised Third Edition - Jonathan  Katz
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 - Nicholas Stergiou

RRP $194.00

$171.75

11%
OFF
Mining Complex Networks : Advances in Applied Mathematics - BogumiÅ? KamiÅ?ski
Mining Complex Networks : Advances in Applied Mathematics - BogumiÅ? KamiÅ?ski
Applied Mathematics with F# - Sudipta Mukherjee