Search results for "debugger"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
99	Bradley T. Vander Zanden, David K. Baker, Jing Jin	An explanation-based, visual debugger for one-way constraints.	UIST	2004	DBLP DOI BibTeX RDF	one-way constraints, data structures, constraint satisfaction, software visualization, visual debugging
78	Toshihiko Koju, Shingo Takada 0001, Norihisa Doi	An efficient and generic reversible debugger using the virtual machine based approach.	VEE	2005	DBLP DOI BibTeX RDF	reverse execution, virtual machine, debugger
78	Robert Hood, Gabriele Jost	A Debugger for Computational Grid Applications.	Heterogeneous Computing Workshop	2000	DBLP DOI BibTeX RDF	scalable, heterogeneous, portable, computational grid, Globus, debugger
78	Robert Hood, Doreen Cheng	Accommodating heterogeneity in a debugger-a client-server approach.	HICSS (2)	1995	DBLP DOI BibTeX RDF	client portability, debugger core, client-server protocol, heterogeneous debugging, user interfaces, user interface, distributed computations, specification, program debugging, client-server systems, investment, investment
68	Susanne M. Balle, Bevin R. Brett, Chih-Ping Chen, David LaFrance-Linden	A New Approach to Parallel Debugger Architecture.	PARA	2002	DBLP DOI BibTeX RDF
68	Daniel Schulz, Frank Mueller 0001	A thread-aware debugger with an open interface.	ISSTA	2000	DBLP DOI BibTeX RDF	active debugging, open interface, concurrency, debugging, threads
68	Doreen Cheng, Robert Hood	A portable debugger for parallel and distributed programs.	SC	1994	DBLP DOI BibTeX RDF
68	Anne F. Brindle, Richard N. Taylor, David F. Martin	A Debugger for Ada Tasking.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ada debugger, tasking constructs, single-processor Ada interpreter, sequential debugging, dynamic execution status, parallel programming, parallel programming, Ada, concurrency, program debugging, program interpreters, Ada tasking
67	Ali Rafieymehr, Richard McKeever	Java visual debugger.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	Java program debugger, visual debugger, visual tracer, Java, software visualization
67	Pierre E. Sorel, Mariano G. Fernandez, Sumit Ghosh	A Dynamic Debugger for Asynchronous Distributed Algorithms.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	dynamic debugger, asynchronous distributed algorithms, LPdbx, distributed runtime debugger, loosely coupled parallel processors, iconic interface, program suspension, pointer references, banking applications, transportation applications, shareware, data structures, data structures, distributed algorithms, graphical user interfaces, program debugging, transportation, breakpoints, bank data processing, global variables
61	Philip W. Hall IV	Parsing with C++ Constructors.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	C++
61	Baowen Xu	CRL/Pascal: A Pascal-oriented Cross Reference Language And Its Applications.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	Pascal
61	Ziya Aral, Ilya Gertner, Greg Schaffer	Efficient Debugging Primitives for Multiprocessors.	ASPLOS	1989	DBLP DOI BibTeX RDF
58	Simon Marlow, José Iborra, Bernard J. Pope, Andy Gill	A lightweight interactive debugger for haskell.	Haskell	2007	DBLP DOI BibTeX RDF	debugging, lazy evaluation
58	Kwangyong Lee, Jeong-Si Kim, Chaedeok Lim, Heung-Nam Kim	A Development of Remote Tracepoint Debugger for Run-time Monitoring and Debugging of Timing Constraints on Qplus-P RTOS.	WSTFES	2003	DBLP DOI BibTeX RDF
58	Xi Qian, Jian Liu, Weimin Zheng	A Portable Debugger for PVM / MPI Programs on IA64 Cluster.	APPT	2003	DBLP DOI BibTeX RDF
58	Simon Huband, Chris McDonald	DEPICT: A Topology-Based Debugger for MPI Programs.	HIPS	2001	DBLP DOI BibTeX RDF
58	Simon Huband, Chris McDonald	A Preliminary Topological Debugger for MPI Programs.	CCGRID	2001	DBLP DOI BibTeX RDF
58	Shuxia Tan, Eshrat Arjomandi, Richard F. Paige, Evan Mamas, Simon Moser, Bill O'Farrell	Extending the message flow debugger for MQSI.	CASCON	2001	DBLP BibTeX RDF
58	David Taylor	A prototype debugger for Hermes.	CASCON	1992	DBLP BibTeX RDF
58	David Taylor	A prototype debugger for Hermes.	CASCON	1992	DBLP BibTeX RDF
58	D. Kinnaes, Karel De Vlaminck	A Debugger for a Meta-IV-like Meta-Language.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
58	Ziad Al-Sharif, Clinton L. Jeffery	An extensible source-level debugger.	SAC	2009	DBLP DOI BibTeX RDF	automatic debugging, debugging agent, monitoring framework, source level debugger
58	Feng Wang, Qilong Zheng, Hong An, Guoliang Chen 0001	A Parallel and Distributed Debugger Implemented with Java.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Parallel and distributed debugger, scalability, Object-Oriented, portability, cluster system
56	Fábio Reis Cecin, Jorge L. V. Barbosa, Cláudio F. R. Geyer	Holo Debugger: A Debugger for a Concurrent Multiparadigm Language.	SCCC	2002	DBLP DOI BibTeX RDF
51	Marc L. Corliss, E. Christopher Lewis, Amir Roth	Low-Overhead Interactive Debugging via Dynamic Instrumentation with DISE.	HPCA	2005	DBLP DOI BibTeX RDF
51	Panayiotis Neophytou, Neophytos Neophytou, Paraskevas Evripidou	Debugging MPI Grid Applications Using Net-dbx.	European Across Grids Conference	2004	DBLP DOI BibTeX RDF
51	Ali-Reza Adl-Tabatabai, Thomas R. Gross	Source-Level Debugging of Scalar Optimized Code.	PLDI	1996	DBLP DOI BibTeX RDF
51	Steen Stilberg	Considerations with Regard to Validation of Ada Debuggers.	Ada-Europe	1992	DBLP DOI BibTeX RDF
50	Christian Clémençon, Akiyoshi Endo, Josef Fritscher, Andreas Müller, Roland Rühl, Brian J. N. Wylie	The "Annai" environment for portable distributed parallel programming.	HICSS (2)	1995	DBLP DOI BibTeX RDF	Annai environment, portable distributed parallel programming environment, distributed memory parallel processors, tool prototypes, functionality enhancements, High Performance Fortran compiler, unstructured problem parallelization, performance analyzer, source-level debugger, common user interface, low-level machine interface, target hardware architecture, dynamic data distributions, high-level data-parallel programming, low-level message-passing programming, interactive performance monitor, user interfaces, parallel programming, Message Passing Interface, software tools, message passing, FORTRAN, programming environments, feedback, program compilers, distributed memory systems, software performance evaluation, portability, program debugging, software portability, program diagnostics, application developers, language extensions, performance results
50	Michael B. Feldman, Melinda L. Moran	Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	demonstration tool, graphics-assisted debugging, Ada concurrent programs, static task-specification diagrams, communicating tasks, DEC GIGI terminal, VAX 11-780, partial Ada compiler, tasking programs, graphical debugger, parallel programming, Ada, computer graphics, software tools, program verification, program debugging, intertask communication
48	Andreas Blunk, Joachim Fischer, Daniel A. Sadilek	Modelling a Debugger for an Imperative Voice Control Language.	SDL Forum	2009	DBLP DOI BibTeX RDF
48	Adrián Riesco 0001, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero 0001	A Declarative Debugger for Maude.	AMAST	2008	DBLP DOI BibTeX RDF
48	Alberto de la Encina, Ismael Rodríguez, Fernando Rubio 0001	A Debugger for Parallel Haskell Dialects.	ICA3PP	2008	DBLP DOI BibTeX RDF
48	Ian MacLarty, Zoltan Somogyi, Mark Brown	Divide-and-query and subterm dependency tracking in the mercury declarative debugger.	AADEBUG	2005	DBLP DOI BibTeX RDF	algorithmic debugging, divide-and-query, program slicing, declarative debugging
48	Dávid Hanák, Tamás Szeredi, Péter Szeredi	FDBG, the CLPFD Debugger Library of SICStus Prolog.	ICLP	2004	DBLP DOI BibTeX RDF
48	Gerti Kappel, Gerhard Kramler, Werner Retschitzegger	TriGS Debugger - A Tool for Debugging Active Database Behavior.	DEXA	2001	DBLP DOI BibTeX RDF
48	Robert Hood, Gregory Matthews	Efficient Tracing for On-the-Fly Space-Time Displays in a Debugger for Message Passing Programs.	CCGRID	2001	DBLP DOI BibTeX RDF
48	Eric Leu, André Schiper	Execution Replay: A Mechanism for Integrating a Visualization Tool with a Symbolic Debugger.	CONPAR	1992	DBLP DOI BibTeX RDF
48	Bernd Bruegge, Thomas R. Gross	A Program Debugger for a Systolic Array: Design and Implementation.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
48	I. J. P. Elshoff	A Distributed Debugger for Amoeba.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
40	Andreas Stefik, Ed Gellenbeck	Using spoken text to aid debugging: An empirical study.	ICPC	2009	DBLP DOI BibTeX RDF
40	Torsten Grust, Jan Rittinger, Jens Teubner	Data-intensive XQuery debugging with instant replay.	XIME-P	2007	DBLP DOI BibTeX RDF
40	Lars Albertsson	Holistic Debugging -- Enabling Instruction Set Simulation for Software Quality Assurance.	MASCOTS	2006	DBLP DOI BibTeX RDF
40	Jeffrey Olivier, Chih-Ping Chen, Jay P. Hoeflinger	Debugging Distributed Shared Memory Applications.	ISPA	2006	DBLP DOI BibTeX RDF
40	Lars Albertsson	Simulation-Based Debugging of Soft Real-Time Applications.	IEEE Real Time Technology and Applications Symposium	2001	DBLP DOI BibTeX RDF
40	Bob Boothe	Efficient algorithms for bidirectional debugging.	PLDI	2000	DBLP DOI BibTeX RDF
40	Ramakrishnan Rajamony, Alan L. Cox	Performance Debugging Shared Memory Parallel Programs Using Run-Time Dependence Analysis.	SIGMETRICS	1997	DBLP DOI BibTeX RDF
40	Alessandro Forin	Debugging of Heterogeneous Parallel Systems.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
40	Dale E. Parson, Paul Beatty, John Glossner, Bryan Schlieder	A Framework for Simulating Heterogeneous Virtual Processors.	Annual Simulation Symposium	1999	DBLP DOI BibTeX RDF	simulation, design pattern, multiprocessor, processor, object-oriented framework, debugger
38	Myoungkyu Song, Eli Tilevich	The anti-goldilocks debugger: helping the average bear debug transparently transformed programs.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	bytecode enhancement, debugging, program transformation
38	B. Asvija, K. V. Shamjith, T. Ravi, R. Sridharan	Gridhra A Web Launched Parallel Application Debugger for Grids with Heterogeneous Resources.	WETICE	2009	DBLP DOI BibTeX RDF
38	Liang Bao, Sheng Chen 0002, Xiyang Liu, Shengming Hu, Ping Chen	Towards a Reversible BPEL Debugger.	ICWS	2008	DBLP DOI BibTeX RDF
38	Andreas Stefik, Roger T. Alexander, Robert Patterson, Jonathan Brown	WAD: A Feasibility study using the Wicked Audio Debugger.	ICPC	2007	DBLP DOI BibTeX RDF
38	Ali Al-Shabibi, Sebastian Gerlach, Roger D. Hersch, Basile Schaeli	A debugger for flow graph based parallel applications.	PADTAD	2007	DBLP DOI BibTeX RDF	flow graph based debugging, flow graph based parallel applications, message race detection, message reordering, parallel schedules
38	Eric Mercer, Michael D. Jones	Model Checking Machine Code with the GNU Debugger.	SPIN	2005	DBLP DOI BibTeX RDF
38	Naveen Kumar 0002, Bruce R. Childers, Mary Lou Soffa	Tdb: a source-level debugger for dynamically translated programs.	AADEBUG	2005	DBLP DOI BibTeX RDF	debugging, dynamic instrumentation, dynamic binary translation
38	Alex Ho, Steven Hand 0001	On the design of a pervasive debugger.	AADEBUG	2005	DBLP DOI BibTeX RDF	horizontal debugging, pervasive debugging, vertical debugging
38	Winai Wichaipanitch, Mansur H. Samadzadeh, Songsri Tangsripairoj	Development and Evaluation of a Slicing-Based C++ Debugger.	ITCC (2)	2005	DBLP DOI BibTeX RDF	Slicing and Dicing, Evaluation, Algorithms, Debugging, Dynamic Slicing
38	Rafael Caballero 0001	A declarative debugger of incorrect answers for constraint functional-logic programs.	WCFLP	2005	DBLP DOI BibTeX RDF	functional-logic languages, declarative debugging
38	Panayiotis Neophytou, Neophytos Neophytou, Paraskevas Evripidou	Net-dbx-G: a Web-based debugger of MPI programs over Grid environments.	CCGRID	2004	DBLP DOI BibTeX RDF
38	Alexey Ya. Kalinov, Konstantin Karganov, V. Khatzkevich, K. V. Khorenko, Ilya Ledovskih, D. Morozov, S. Savchenko	The Presentation of Information in mpC Workshop Parallel Debugger.	PaCT	2003	DBLP DOI BibTeX RDF
38	Neophytos Neophytou, Paraskevas Evripidou	Net-dbx: A Web-Based Debugger of MPI Programs Over Low-Bandwidth Lines.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	WWW, Parallel processing, message passing, teleworking, Java applets, parallel debugging
38	James Cownie, William Gropp	A Standard Interface for Debugger Access to Message Queue Information in MPI.	PVM/MPI	1999	DBLP DOI BibTeX RDF
38	Tai-cong Zhong, Yong Liao, Jian-jing Shen, Xue Zhang, Nan Sang	Improve the GNU Debugger for the Design of Multi-core Wireless Nodes.	FCST	2010	DBLP DOI BibTeX RDF	Multi-core debugger, GDB
38	Ziad Al-Sharif, Clinton L. Jeffery	An Agent-Oriented Source-Level Debugger on Top of a Monitoring Framework.	ITNG	2009	DBLP DOI BibTeX RDF	Source-Level Debugger, Extension Agents, Debugging, Monitoring Agents
35	Benjamin Dietrich, Torsten Grust	A SQL Debugger Built from Spare Parts: Turning a SQL: 1999 Database System into Its Own Debugger.	SIGMOD Conference	2015	DBLP DOI BibTeX RDF
35	Leo Geissmann	Der Lilith-Debugger. Ein modernes Werkzeug zur Fehlersuche in Modula-2 Programmen/ The Lilith Debugger. A modern tool for debbugging Modula-2 programs.	Elektron. Rechenanlagen	1985	DBLP DOI BibTeX RDF
30	Ferad Zyulkyarov, Tim Harris 0001, Osman S. Unsal, Adrián Cristal, Mateo Valero	Debugging programs that use atomic blocks and transactional memory.	PPoPP	2010	DBLP DOI BibTeX RDF	debugging, transactional memory
30	Byeongcheol Lee, Martin Hirzel, Robert Grimm 0001, Kathryn S. McKinley	Debug all your code: portable mixed-environment debugging.	OOPSLA	2009	DBLP DOI BibTeX RDF	composition, JNI, foreign function interface
30	Rafael Caballero 0001, Narciso Martí-Oliet, Adrián Riesco 0001, Alberto Verdejo	Declarative Debugging of Membership Equational Logic Specifications.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	Maude, functional modules, membership equational logic, declarative debugging
30	Yongdong Wu, Feng Bao 0001, Robert H. Deng, Marc Mouffron, Frederic Rousseau 0002	Enhanced Security by OS-Oriented Encapsulation in TPM-Enabled DRM.	Inscrypt	2007	DBLP DOI BibTeX RDF
30	Sukyoung Ryu, Norman Ramsey	Source-Level Debugging for Multiple Languages with Modest Programming Effort.	CC	2005	DBLP DOI BibTeX RDF
30	Donglin Liang, Kai Xu 0002	Debugging object-oriented programs with behavior views.	AADEBUG	2005	DBLP DOI BibTeX RDF	debugging language, secenario-driven, execution monitoring
30	Amit Vasudevan, Ramesh Yerraballi	Stealth Breakpoints.	ACSAC	2005	DBLP DOI BibTeX RDF
30	Rohit N. Kundaji, R. K. Shyamasundar	Development of Semantic Debuggers Based on Refinement Calculus.	ICLP	2004	DBLP DOI BibTeX RDF
30	Denise Stringhini	Parallel program debugging: interface design and implementation.	CCGRID	2004	DBLP DOI BibTeX RDF
30	Guillaume Marceau, Gregory H. Cooper, Shriram Krishnamurthi, Steven P. Reiss	Dataflow Language for Scriptable Debugging.	ASE	2004	DBLP DOI BibTeX RDF
30	Bil Lewis, Mireille Ducassé	Using events to debug Java programs backwards in time.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF
30	Andreas Zeller	Datenstrukturen visualisieren und animieren mit DDD.	Inform. Forsch. Entwickl.	2001	DBLP DOI BibTeX RDF	Visuelles Debuggen, Visualisierung der Daten und Abläufe in Anwendungen, Visualisierung von Datenstrukturen, Algorithmenanimation
30	Kwangyong Lee, Chaedeok Lim, Kisok Kong, Heung-Nam Kim	A Design and Implementation of a Remote Debugging Environment for Embedded Internet Software.	LCTES	2000	DBLP DOI BibTeX RDF
30	Le-Chun Wu, Rajiv Mirani, Harish Patil, Bruce Olsen, Wen-mei W. Hwu	A New Framework for Debugging Globally Optimized Code.	PLDI	1999	DBLP DOI BibTeX RDF
30	Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen	Static Debugging: Browsing the Web of Program Invariants.	PLDI	1996	DBLP DOI BibTeX RDF
30	Max Copperman	Debugging Optimized Code Without Being Misled.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF
30	Ramin Hojati, Robert K. Brayton, Robert P. Kurshan	BDD-Based Debugging Of Design Using Language Containment and Fair CTL.	CAV	1993	DBLP DOI BibTeX RDF
30	Gary Brooks, Gilbert J. Hansen, Steve Simmons	A New Approach to Debugging Optimized Code.	PLDI	1992	DBLP DOI BibTeX RDF	FORTRAN
30	Magdalena Dukielska, Jacek Sroka	JavaSpaces NetBeans: a linda workbench for distributed programming course.	ITiCSE	2010	DBLP DOI BibTeX RDF	distributed debugger, netbeans, distributed programming, integrated development environment, linda, javaspaces
30	Hani Bani-Salameh, Clinton L. Jeffery, Ziad Al-Sharif, Iyad Abu Doush	Integrating Collaborative Program Development and Debugging within a Virtual Environment.	CRIWG	2008	DBLP DOI BibTeX RDF	run-time debugging, Integrated Development Environment (IDE), collaborative environment, debugger
30	Hugo Venturini, Frédéric Riss, Jean-Claude Fernandez, Miguel Santana	Non-transparent debugging for software-pipelined loops.	CASES	2007	DBLP DOI BibTeX RDF	non-transparent debugging, compiler, software-pipelining, debugger
30	Rick Chern, Kris De Volder	Debugging with control-flow breakpoints.	AOSD	2007	DBLP DOI BibTeX RDF	debugger interface, pointcut language, case studies
30	David M. Ungar, Adam Spitz, Alex Ausch	Constructing a metacircular Virtual machine in an exploratory programming environment.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	Klein, exploratory programming, fix-and-continue, meta-recursive, metacircularity, mirror-based reflection, remote reflection, object oriented, virtual machine, prototypes, liveness, code reuse, reactivity, debugger, lenses, self
30	Mustafa M. Tikir, Jeffrey K. Hollingsworth, Guei-Yuan Lueh	Recompilation for debugging support in a JIT-compiler.	PASTE	2002	DBLP DOI BibTeX RDF	Java virtual machine debugger interface, debug information, dynamic recompilation, field access watch, Java, just-in-time compilation
30	Thomas Bräunl	Parallaxis-III: Architecture-Independent Data Parallel Processing.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	virtual architecture, parallel debugger, data visualizer, Data parallel, traffic simulation, virtual processors
30	Seungwoo Son, Chaedeok Lim, Heung-Nam Kim	Debugging protocol for remote cross development environment.	RTCSA	2000	DBLP DOI BibTeX RDF	debugging protocol, remote cross development environment, Internet appliances, embedded software development tools, host tools, binary utilities, remote debugger, interactive shell, real time resource monitors, heavy host-target communication overhead, target monitor programs, host-resident tools, target agent, Esto, Embedded Systems Toolset, Internet based embedded applications, Internet, embedded systems, protocols, program debugging, operating systems (computers), RTOS, UDP/IP, cross compilers
30	Tetsuji Imajo, Tatsuki Miyake, Shinobu Sato, Toshiyuki Ito, Daisuke Yokotsuka, Yoshihide Tsujihata, Shunsuke Uemura	COBOL Script: A Business-Oriented Scripting Language.	EDOC	2000	DBLP DOI BibTeX RDF	COBOL Script, business-oriented scripting language, Web-oriented script language, language specifications, COBOL85, decimal arithmetic functions, COBOL processing system, account-related applications, test debugger, large-scale development projects, COBOL, business information systems, Web computing
30	João Lourenço, José C. Cunha, Henryk Krawczyk, Piotr Kuzora, Marcin Neyman, Bogdan Wiszniewski	An integrated testing and debugging environment for parallel and distributed programs.	EUROMICRO	1997	DBLP DOI BibTeX RDF	program testing environment, program development process, DDBG, Distributed Debugger, stand-alone tools, intermediate tool, DEIPA, deterministic execution, interactive program analysis, parallel programming, parallel programs, distributed programs, structural testing, testing tool, software integration, program specification, STEPS, debugging tool, debugging environment
30	Dingxing Wang, Weimin Zheng, Jianxin Xiong	Research on cluster of workstations.	ISPAN	1997	DBLP DOI BibTeX RDF	high-performance communication, reduced communication protocol, parallel compiling systems, parallel debugger, execution fault recovery tool, load balancing, parallel programming, programming environment, PVM, cluster of workstations, COW
30	Koenraad Audenaert, Luk Levrouw	Space efficient data race detection for parallel programs with series-parallel task graphs.	PDP	1995	DBLP DOI BibTeX RDF	space efficient data race detection, series-parallel task graphs, access anomaly, program debugger, on-the-fly methods, pointer variables, series-parallel task graph, spawning types, parallel programming, parallel programs, parallelism, synchronisation, program debugging, shared resource, storage requirements, fork-join
30	Vijay K. Garg, Brian Waldecker	Detection of Weak Unstable Predicates in Distributed Programs.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	programtesting, weak unstable predicates, weakconjunctive predicates, distributed debugger, testing, distributed algorithms, debugging, Unix, UNIX, communication complexity, distributed programs, distributed memory systems, program debugging, message complexity, Sun workstations, global predicates
30	Stefano Ceri, Stefano Crespi-Reghizzi, Andrea Di Maio, Luigi Lavazza	Software Prototyping by Relational Techniques: Experiences with Program Construction Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	program construction systems, relational languages, Ada Relational Translator, compiler-interpreter, semantic analyzer, Multi-Micro Line, data structures, data structures, Ada, relational databases, relational databases, prototyping, programming environments, programming environments, interpreter, program compilers, kernel, relational algebra, program interpreters, ART, parser, debugger, MML, configuration control