Multicore Programming in ParaSail - Parallel Specification and Implementation Language.
S. Tucker TaftPublished in: Ada-Europe (2011)
Keyphrases
- programming language
- specification language
- high level programming language
- graphics processing units
- multicore processors
- general purpose
- parallel implementation
- highly parallel
- programming environment
- high level
- efficient implementation
- parallel programming
- high level language
- shared memory
- natural language
- operational semantics
- formal specification
- computer architecture
- object oriented programming
- formal language
- computer programs
- highly modular
- oriented programming
- operating system
- code generation
- multi threaded
- cluster of workstations
- parallel processing
- scripting language
- asynchronous communication
- formal languages
- programming course
- advanced features
- parallel computation