27 search results - page 6 / 6 » CIL: Intermediate Language and Tools for Analysis and Transf... |
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...
HVC
2005
Springer
13 years 11 months ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...