390 search results - page 4 / 78 » Extension Language Automation of Embedded System Debugging |
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
SIGSOFT
2000
ACM
13 years 12 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
CAINE
2004
13 years 9 months ago
2004
- Automated tools for error prevention and error detection exist for many high-level languages, but have been nonexistent for assembly-language programs, embedded programs in parti...
PLDI
1992
ACM
13 years 11 months ago
1992
ACM
: SELF's debugging system provides complete source-level debugging (expected behavior) with globally optimized code. It shields the debugger from optimizations performed by th...
ECOOP
2010
Springer
13 years 11 months ago
2010
Springer
Domain-specific languages (DSLs) are increasingly used as embedded languages within general-purpose host languages. DSLs provide a compact, dedicated syntax for specifying parts o...