386 search results - page 12 / 78 » Debugging Logic Programs Using Specifications |
92
Voted
ERLANG
2004
ACM
15 years 5 months ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
CSUR
1999
14 years 11 months ago
1999
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
97
Voted
CONSTRAINTS
2004
14 years 11 months ago
2004
Abstract. CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different ...
103
click to vote
AOSD
2007
ACM
15 years 3 months ago
2007
ACM
Modern source-level debuggers support dynamic breakpoints that are guarded by conditions based on program state. Such breakpoints address situations where a static breakpoint is n...
92
Voted
LOPSTR
1994
Springer
15 years 3 months ago
1994
Springer
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...