Experimenting with parasail: parallel specification and implementation language.
S. Tucker TaftPublished in: SIGAda (2011)
Keyphrases
- specification language
- programming language
- high level programming language
- parallel implementation
- operational semantics
- highly modular
- formal specification
- massively parallel
- cluster of workstations
- layered architecture
- parallel computers
- knowledge representation
- formal language
- parallel computation
- parallel computing
- business rules
- constraint language
- formal languages
- functional language
- data model
- query language for xml