Systems Programming in Parallel Logic La
โ Ian Foster
๐ Library
๐
1990
๐ Prentice-Hall
๐ English
โฆ LIBER โฆ
๐
Parallel Logic Programming in Parlog: The Language and Its Implementation
โ Scribed by Gregory S.
- Publisher
- AW
- Year
- 1987
- Tongue
- English
- Leaves
- 229
- Series
- International Series in Logic Programming
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Parallelism in Logic: Its Potential for
โ Franz Kurfeร (auth.)
๐ Library
๐
1991
๐ Vieweg+Teubner Verlag
๐ German
Programming Language Theory and Its Impl
โ Michael J.C. Gordon
๐ Library
๐
1988
๐ Prentice Hall
๐ English
Programming Language Theory and Its Impl
โ Michael J.C. Gordon
๐ Library
๐
1988
๐ Prentice Hall
๐ English
This volume introduces and explores those parts of programming language theory that have important applications in improving the quality of software. Provides an elementary introduction to Floyd-Hoare logic and Calculus, Combinators and Functional Programming.
P-Prolog: A Parallel Logic Programming L
โ Yang R.
๐ Library
๐
1988
๐ World Scientific
๐ English
P-Prolog is put forward as an alternative proposal to the difficulties faced in the main research areas of parallel logic programmings, which have been studied. P-Prolog provides the advantages of guarded Horn clauses while retaining don't know non-determinism where required. This monograph presents
Design and implementation of ALLOY, a hi
โ Mitsolides T.
๐ Library
๐
1991
๐ New York University
๐ English