An Expression-Or-Parallel Implementation for a Functional Logic Language
Werner HansFernando Sáenz-PérezStephan WinklerPublished in: PLILP (1995)
Keyphrases
- parallel implementation
- formal language
- parallel computation
- parallel computers
- proof theory
- programming language
- highly expressive
- language learning
- algebraic expressions
- modal logic
- operational semantics
- predicate logic
- predicate calculus
- logic programming
- parallel implementations
- formal logic
- agent programming
- modal operators
- natural language
- linear temporal logic
- dynamic logic
- formal theory
- message passing interface
- distributed systems
- order sorted
- classical logic
- distributed memory
- general purpose
- embedded processors
- intuitionistic logic
- real time