Specification of a functional synchronous dataflow language for parallel implementations with the denotational semantics.
Guilhem de WaillyFernand BoériPublished in: SAC (1996)
Keyphrases
- denotational semantics
- operational semantics
- parallel implementations
- programming language
- specification language
- parallel algorithm
- parallel implementation
- query language
- high level
- formal semantics
- control flow
- general purpose
- abstract data types
- software engineering
- mental states
- parallel programming
- artificial intelligence
- fine grained
- data mining
- object oriented
- data model