Exploiting Expression- and Or-Parallelism for a Functional Logic Language.
Werner HansStephan WinklerFernando Sáenz-PérezPublished in: GULP-PRODE (1995)
Keyphrases
- dynamic logic
- formal language
- proof theory
- algebraic expressions
- programming language
- intuitionistic logic
- formal theory
- natural language
- language learning
- classical logic
- specification language
- highly expressive
- asynchronous circuits
- parallel processing
- logic programming
- massively parallel
- logical framework
- defeasible logic
- conditional logic
- modal logic
- predicate calculus
- computational power
- database language
- object oriented programming
- agent programming
- linear temporal logic