Protocols by Default - Safe MPI Code Generation Based on Session Types.

Nicholas Ng José Gabriel de Figueiredo Coutinho Nobuko Yoshida

Published in: CC (2015)

Keyphrases

code generation
application development
software development
code generator
modeling language
real world
message passing
formal specification
artificial intelligence
database systems
data analysis
software architecture
model driven
software reuse