GRACIA: a software environment for graphical specification, automatic configuration and animation of parallel programs.
Ottmar Krämer-FuhrmannT. BrandesPublished in: ICS (1991)
Keyphrases
- software environment
- specification language
- high level programming language
- provably correct
- formal specification
- shared memory
- computer programs
- parallel processing
- fully automatic
- high level
- semi automatic
- parallel programming
- control program
- dynamic programming
- building blocks
- programming language
- programming education