822 search results - page 50 / 165 » Debugging Aspect-Enabled Programs |
PADL
2012
Springer
12 years 5 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
AADEBUG
2005
Springer
14 years 3 months ago
2005
Springer
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...
SIGSOFT
2000
ACM
14 years 2 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...
FASE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...
VL
2007
IEEE
14 years 4 months ago
2007
IEEE
There has been little research into how end-user programming environments can provide explanations that could fill a critical information gap for end-user debuggers – help with ...