A Parallel Lisp Language PaiLisp and Its Kernel Specification.
Takayasu ItoManabu MatsuiPublished in: Workshop on Parallel Lisp (1989)
Keyphrases
- programming language
- specification language
- dependency directed backtracking
- formal language
- high level
- operational semantics
- parallel processing
- action language
- formal languages
- language learning
- natural language
- parallel implementation
- computer programs
- shared memory
- kernel methods
- learning theory
- conceptual model
- programming environment
- kernel function
- neural network
- modelling language
- language constructs
- support vector
- knowledge representation
- speech acts
- distributed memory
- kernel learning
- massively parallel
- default reasoning
- formal specification
- data model