71 search results - page 14 / 15 » Transformation of UML State Machines for Direct Execution |
DISCO
1993
13 years 9 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
PLDI
2009
ACM
14 years 10 days ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
CHARME
2003
Springer
13 years 10 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
PPOPP
2003
ACM
13 years 10 months ago
2003
ACM
In an intelligent memory architecture, the main memory of a computer is enhanced with many simple processors. The result is a highly-parallel, heterogeneous machine that is able t...
C3S2E
2010
ACM
13 years 4 months ago
2010
ACM
MATLAB is a popular language for scientific computation. Effectively compiling MATLAB presents many challenges due to the dynamic nature of the language. We present McLab, an ext...