794 search results - page 64 / 159 » Evaluation of Assertion Support for the Java Programming Lan... |
POPL
2009
ACM
14 years 9 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
IASTEDSEA
2004
13 years 10 months ago
2004
Today's software faces escalating technical and business difficulties, yet it continues to be coded in static, inflexible structures that are not prepared for automation and ...
PPOPP
1993
ACM
14 years 1 months ago
1993
ACM
The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scienti c Fortran programs. It displays the results of sophisticate...
AC
2008
Springer
13 years 9 months ago
2008
Springer
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...