Login / Signup
Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4).
Oleg Kiselyov
Chung-chieh Shan
Yukiyoshi Kameyama
Published 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