BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
declar (7)
languag (6)
visual (5)
graphic (4)
base (4)

Stem debugg$ (all stems)

54 papers:

SIGMODSIGMOD-2015-DietrichG #database #debugging #sql
A SQL Debugger Built from Spare Parts: Turning a SQL: 1999 Database System into Its Own Debugger (BD, TG), pp. 865–870.
AdaEuropeAdaEurope-2015-PavleticVRKK #debugging #framework
Extensible Debugger Framework for Extensible Languages (DP, MV, SAR, BK, TK), pp. 33–49.
TFPIETFPIE-2014-IshiiA #debugging
Report on a User Test and Extension of a Type Debugger for Novice Programmers (YI, KA), pp. 1–18.
TACASTACAS-2014-CaballeroMRT #debugging #declarative #erlang #named #source code
EDD: A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 581–586.
SLESLE-2014-ChisGN #debugging #framework
The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers (AC, TG, ON), pp. 102–121.
SCAMSCAM-2013-WangFGN #debugging #interactive
A state alteration and inspection-based interactive debugger (YW, MF, RG, IN), pp. 84–93.
ICSEICSE-2013-NguyenCT #debugging #named #visual notation
GROPG: a graphical on-phone debugger (TAN, CC, NT), pp. 1189–1192.
ISMMISMM-2013-WangNG #effectiveness #generative #memory management
Generating sound and effective memory debuggers (YW, IN, RG), pp. 51–62.
TAPTAP-2013-CaballeroMRT #debugging #declarative #erlang #source code
A Declarative Debugger for Sequential Erlang Programs (RC, EMM, AR, ST), pp. 96–114.
DATEDATE-2012-ChandrasekarMSH #debugging #design #industrial
A scan pattern debugger for partial scan industrial designs (KC, SKM, SS, MSH), pp. 558–561.
CSMRCSMR-2012-AlsallakhBGM #debugging #eclipse #java #visual notation
Visual Tracing for the Eclipse Java Debugger (BA, PB, AG, SM), pp. 545–548.
IFLIFL-2012-TsushimaA #debugging #embedded
An Embedded Type Debugger (KT, KA), pp. 190–206.
ICSEICSE-2012-DeLineBRJR #debugging #experience #industrial #paradigm
Debugger Canvas: Industrial experience with the code bubbles paradigm (RD, AB, KR, JJ, SPR), pp. 1064–1073.
FMFM-2011-MullerR #using #verification
Using Debuggers to Understand Failed Verification Attempts (PM, JNR), pp. 73–87.
SEFMSEFM-2011-GouesLM #debugging #verification
The Boogie Verification Debugger (Tool Paper) (CLG, KRML, MM), pp. 407–414.
CIKMCIKM-2011-SarmaJB #debugging #information management #pipes and filters
Building a generic debugger for information extraction pipelines (ADS, AJ, PB), pp. 2229–2232.
GPCEGPCE-2011-LindemanKV #domain-specific language
Declaratively defining domain-specific language debuggers (RTL, LCLK, EV), pp. 127–136.
LOPSTRLOPSTR-2011-CaballeroRVM #debugging #declarative #maude #proving
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees (RC, AR, AV, NMO), pp. 73–89.
SACSAC-2011-BoixNCMD #debugging #message passing #named
REME-D: a reflective epidemic message-oriented debugger for ambient-oriented applications (EGB, CN, TVC, WDM, TD), pp. 1275–1281.
ASEASE-2010-HahnleBBR #debugging #execution #interactive #symbolic computation #visual notation
A visual interactive debugger based on symbolic execution (RH, MB, RB, MR), pp. 143–146.
DATEDATE-2010-ZengGA #debugging #embedded #framework #visual notation
Graphical Model Debugger Framework for embedded systems (KZ, YG, CA), pp. 87–92.
ITiCSEITiCSE-2010-Williams-KingAC #named
Enbug: when debuggers go bad (DWK, JA, DMNdC), pp. 28–32.
ICSMEICSM-2010-InsaS #algorithm #debugging #java
An algorithmic debugger for Java (DI, JS), pp. 1–6.
WRLAWRLA-2008-CaballeroMRV09 #debugging #declarative #functional #maude
A Declarative Debugger for Maude Functional Modules (RC, NMO, AR, AV), pp. 63–81.
SACSAC-2009-Al-SharifJ #debugging
An extensible source-level debugger (ZAS, CJ), pp. 543–544.
ECMFAECMDA-FA-2008-SadilekW #domain-specific language #modelling #prototype #visual notation
Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages (DAS, GW), pp. 63–78.
ICPCICPC-2007-StefikAPB #debugging #named #using
WAD: A Feasibility study using the Wicked Audio Debugger (AS, RTA, RP, JB), pp. 69–80.
WCREWCRE-2007-RaberL #data mining #debugging #mining #using
Emulated Breakpoint Debugger and Data Mining Using Detours (JR, EL), pp. 271–272.
ICSEICSE-2007-AbrahamE #debugging #named #spreadsheet
GoalDebug: A Spreadsheet Debugger for End Users (RA, ME), pp. 251–260.
VLDBVLDB-2006-AlexeCT #debugging #named
SPIDER: a Schema mapPIng DEbuggeR (BA, LC, WCT), pp. 1179–1182.
OOPSLAOOPSLA-2006-OgataOKKN #compilation
Replay compilation: improving debuggability of a just-in-time compiler (KO, TO, KK, HK, TN), pp. 241–252.
PADLPADL-2006-MacLartyS #debugging #declarative
Controlling Search Space Materialization in a Practical Declarative Debugger (IM, ZS), pp. 31–44.
ICLPICLP-2004-HanakSS #debugging #library #prolog
FDBG, the CLPFD Debugger Library of SICStus Prolog (DH, TS, PS), pp. 458–459.
ICLPICLP-2004-KundajiS #calculus #development #refinement #semantics
Development of Semantic Debuggers Based on Refinement Calculus (RNK, RKS), pp. 460–461.
PPDPPPDP-2003-CameronBMM #debugging #named #visual notation
ViMer: a visual debugger for mercury (MC, MJGdlB, KM, PM), pp. 56–66.
SIGMODSIGMOD-2002-AbadiC #debugging #development #query #visual notation
Visual COKO: a debugger for query optimizer development (DJA, MC), p. 617.
SACSAC-2001-HobatrM #c++ #debugging #design #ocl
The design of an OCL query-based debugger for C++ (CH, BAM), pp. 658–662.
SASSAS-2000-JaramilloGS #debugging #named
FULLDOC: A Full Reporting Debugger for Optimized Code (CJ, RG, MLS), pp. 240–259.
ISSTAISSTA-2000-SchulzM #debugging #interface #thread
A thread-aware debugger with an open interface (DS, FM), pp. 201–211.
TOOLSTOOLS-ASIA-1999-WangZAC #debugging #distributed #java #parallel
A Parallel and Distributed Debugger Implemented with Java (FW, QZ, HA, GC), pp. 342–347.
ICSEICSE-1999-Ducasse #automation #c #debugging #named
Coca: An automated Debugger for C (MD), pp. 504–513.
ESOPESOP-1998-Ruggieri #debugging #declarative
A Complete Declarative Debugger of Missing Answers (SR), pp. 236–251.
SACSAC-1997-JoKIPL #debugging #design #object-oriented #prototype
A design and prototyping of an object-oriented program debugger (CHJ, PSK, HSI, EHP, BSL), pp. 45–51.
ICSMEICSM-1996-McCrickardA #architecture #case study #impact analysis #visual notation
Assessing the impact of changes at the architectural level: a case study on graphical debuggers (DSM, GDA), p. 59–?.
CCCC-1996-FritzonWHSS #array #bytecode #debugging #distributed #parallel #process
A Parallel Debugger with Support for Distributed Arrays, Multiple Executables and Dynamic Processes (PF, RW, OH, JS, PS), pp. 341–355.
PLDIPLDI-1992-RamseyH #debugging
A Retargetable Debugger (NR, DRH), pp. 22–31.
AdaEuropeAdaEurope-1992-Stilberg #ada #validation
Considerations with Regard to Validation of Ada Debuggers (SS), pp. 197–213.
PLDIPLDI-1991-Bertot #debugging #specification
Occurences in Debugger Specifications (YB), pp. 327–337.
FMVDME-1991-1-KinnaesV #debugging #metalanguage
A Debugger for a Meta-IV-like Meta-Language (DK, KDV), pp. 597–603.
TOOLSTOOLS-USA-1991-JamrozikRS #debugging #distributed #source code #visual notation
A Graphical Debugger for O-O Distributed Programs (HJ, CR, MS), pp. 117–128.
ICLPJICSCP-1988-Plummer88 #debugging #named #prolog
Coda: An Extended Debugger for PROLOG (DP), pp. 496–511.
ICSEICSE-1985-FrancescoLV #concurrent #debugging #interactive
An Interactive Debugger for a Concurrent Language (NDF, DL, GV), pp. 320–329.
AdaAda-1983-Persch #compilation
The Use of Diana in Compilers, Language Transformers, Formatters and Debuggers (GP), pp. 76–87.
ASPLOSASPLOS-1982-McLearST #guidelines
Guidelines for Creating a Debuggable Processor (REM, DMS, ET), pp. 100–106.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.