Sciweavers

2539 search results - page 14 / 508
» Debugging Method Names
Sort
View
IJCAI
2003
13 years 11 months ago
Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies
Current Description Logic reasoning systems provide only limited support for debugging logically erroneous knowledge bases. In this paper we propose new non-standard reasoning ser...
Stefan Schlobach, Ronald Cornet
IFL
2000
Springer
135views Formal Methods» more  IFL 2000»
14 years 1 months ago
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs
Abstract. In this paper we compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them to a num...
Olaf Chitil, Colin Runciman, Malcolm Wallace
ICCAD
1998
IEEE
76views Hardware» more  ICCAD 1998»
14 years 2 months ago
Functional debugging of systems-on-chip
Due to the exponential growth of both design complexity and the number of gates per pin, functional debugging has emerged as a critical step in the development of a system-on-chip...
Darko Kirovski, Miodrag Potkonjak, Lisa M. Guerra
IFL
1999
Springer
14 years 2 months ago
Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell
Simon L. Peyton Jones, Simon Marlow, Conal Elliott
SCAM
2002
IEEE
14 years 2 months ago
Dynamic Slicing Object-Oriented Programs for Debugging
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...
Baowen Xu, Zhenqiang Chen, Hongji Yang