Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech.
Friedrich GretzFranz-Josef GroschMichael MendlerStephan ScheelePublished in: FDL (2020)
Keyphrases
- formal semantics
- shared memory
- message passing
- parallel algorithm
- distributed memory
- parallel computing
- multi processor
- logical language
- modelling language
- first order logic
- object oriented
- parallel programming
- parallel execution
- modeling language
- theorem prover
- address space
- high level
- parallel machines
- parallel architecture
- parallel architectures
- distributed systems
- data management
- owl dl ontology
- parallel tree search