1088 search results - page 65 / 218 » Tools for support of automata-based programming |
AOSD
2009
ACM
15 years 1 months ago
2009
ACM
Aspect-oriented programming (AOP) eases the development of profilers, debuggers, and reverse engineering tools. Such tools frequently rely on calling context information. However,...
IEEEPACT
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—As programmers are asked to manage more complicated parallel machines, it is likely that they will become increasingly dependent on tools such as multi-threaded data rac...
ICFEM
2004
Springer
15 years 3 months ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
IV
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents our experiences with adapting single-user visualization software for web-based collaboration. Sun’s Java JXTA API was used to adapt an opensource molecular v...
APAQS
2001
IEEE
15 years 1 months ago
2001
IEEE
Infinite looping is a common type of program error. This paper studies the detection of infinite loops in imperative programs. A sufficient condition is given, which is based on p...