Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4).
Oleg KiselyovChung-chieh ShanYukiyoshi KameyamaPublished in: NII Shonan Meet. Rep. (2012)
Keyphrases
- programming language
- high performance computing
- scientific computing
- concurrent programming
- general purpose
- strongly typed
- massively parallel
- computational science
- object oriented
- high level
- denotational semantics
- programming environment
- parallel computing
- database languages
- computing resources
- software engineering
- lambda calculus
- information systems
- computing systems
- grid computing
- energy efficiency
- formal methods
- artificial intelligence
- computing environments
- fault tolerance
- cloud computing
- wireless sensor networks
- knowledge base
- programming language constructs