Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 222,634,927 papers from all fields of science
Search
Sign In
Create Free Account
Debugger
Known as:
Debugger front end
, Debugger (computer)
, GNU Debugger front-end
Expand
A debugger or debugging tool is a computer program that is used to test and debug other programs (the "target" program). The code to be examined…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
AQtime
Adobe GoLive
Android
Assertion (software development)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
mbeddr: an extensible C-based programming language and IDE for embedded systems
M. Völter
,
D. Ratiu
,
B. Schätz
,
Bernd Kolb
ACM SIGPLAN International Conference on Systems…
2012
Corpus ID: 12736898
While the C programming language provides good support for writing efficient, low-level code, it is not adequate for defining…
Expand
2009
2009
Tool-supported enhancement of diagnosis in model-driven verification
Marco Bakera
,
T. Margaria
,
Clemens D. Renner
,
B. Steffen
Innovations in Systems and Software Engineering
2009
Corpus ID: 9835306
We show on a case study from an autonomous aerospace context how to apply a game-based model-checking approach as a powerful…
Expand
Highly Cited
2007
Highly Cited
2007
Verifying feature models using OWL
Hai H. Wang
,
Yuan-Fang Li
,
Jing Sun
,
Hongyu Zhang
,
Jeff Z. Pan
Journal of Web Semantics
2007
Corpus ID: 17655043
Highly Cited
2005
Highly Cited
2005
Parallel iterative solution method for large sparse linear equation systems
Rashid Mehmood
,
J. Crowcroft
2005
Corpus ID: 18895770
Solving sparse systems of linear equations is at the heart of scientific computing. Large sparse systems often arise in science…
Expand
Highly Cited
2004
Highly Cited
2004
ArchC: a systemC-based architecture description language
S. Rigo
,
G. Araújo
,
Marcus Bartholomeu
,
R. Azevedo
Symposium on Computer Architecture and High…
2004
Corpus ID: 12056198
This paper presents an architecture description language (ADL) called ArchC, which is an open-source SystemC-based language that…
Expand
Highly Cited
1998
Highly Cited
1998
Compile-Time and Runtime Analysis of Active Behaviors
Elena Baralis
,
S. Ceri
,
S. Paraboschi
IEEE Transactions on Knowledge and Data…
1998
Corpus ID: 19374145
Active rules may interact in complex and sometimes unpredictable ways, thus possibly yielding infinite rule executions by…
Expand
1996
1996
Implementation of Stack-Based Languages on Register Machines
M. Ertl
1996
Corpus ID: 60157942
Languages with programmer-visible stacks (stack-based languages) are used widely, as intermediate languages (e.g., JavaVM, FCode…
Expand
Highly Cited
1995
Highly Cited
1995
A Mathematical Definition of Full Prolog
E. Börger
,
D. Rosenzweig
Science of Computer Programming
1995
Corpus ID: 13422083
1994
1994
Task Parallelism and High-Performance Languages
Ian T Foster
IEEE Parallel & Distributed Technology Systems…
1994
Corpus ID: 16339630
The definition of High Performance Fortran (HPF) is a significant event in the maturation of parallel computing: it represents…
Expand
1990
1990
Generating program animators from programming language semantics
D. Berry
1990
Corpus ID: 38983708
I present a theory of program animation based on formal semantics. This theory shows how an animator for a language can be…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE