Titlebook: Automated and Algorithmic Debugging; First International Peter A. Fritzson Conference proceedings 1993 Springer-Verlag Berlin Heidelberg 1

主動脈

Graphical user interfaces for algorithmic debugging,the user. However, a major obstacle that prevents large-scale use of the method is the large number of questions (sometimes hard to answer) put to the user. One important improvement would be to provide a graphical user interface (GUI) for algorithmic debugging that provides . and . that makes it ea

可憎

Towards a plan calculus based intelligent debugging system, they use a process of programming “cliché” recognition, backed up by a process of general reasoning based on the semantics of the programming constructs used in the program. Other attempts to build knowledge-based debugging systems have used one or other of these techniques, but have not combined t

Pillory

Pander

Global Lessons from the AIDS Pandemice the debugging process. Existing automated debugging systems fulfill these user-oriented requirements to a varying degree. However, many improvements are still needed to make automated debugging systems attractive to a broad range of users.

雕鏤

Accord

粗魯?shù)娜?/a>

https://doi.org/10.1007/978-1-84882-661-8sing approach. However, the current version of our debugger has severe implementational problems, e.g. too large trace size and too many questions asked. This paper suggests a number of techniques for overcoming these problems, at least partially. The key techniques are . and ..

PATRI

沙發(fā)

PIZZA