Sciweavers

Share
CODES
2002
IEEE

A language for multiple models of computation

10 years 4 months ago
A language for multiple models of computation
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and is well suited for model checking, code synthesis etc. For different blocks of code, different scheduling policies can be applied, to reflect the different interpretations of e.g. parallelism in different models of computation. The user can add his own scheduling policies, to use or explore different models of computation.
Dag Björklund, Johan Lilius
Added 14 Jul 2010
Updated 14 Jul 2010
Type Conference
Year 2002
Where CODES
Authors Dag Björklund, Johan Lilius
Comments (0)
books