SMALLTALK-80: the interactive programming environment
SMALLTALK-80: the interactive programming environment
On the optimal nesting order for computing N-relational joins
ACM Transactions on Database Systems (TODS)
Efficiently updating materialized views
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Exploring Algorithms Using Balsa-II
Computer
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
An efficient implementation of SELF a dynamically-typed object-oriented language based on prototypes
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Portia: an instance-centered environment for Smalltalk
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Join processing in relational databases
ACM Computing Surveys (CSUR)
Visualizing and querying software structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
Practical data breakpoints: design and implementation
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Visualizing the behavior of object-oriented systems
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Interactive visualization of design patterns can help in framework understanding
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Reconciling responsiveness with performance in pure object-oriented languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
An equational object-oriented data model and its data-parallel query language
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Architecture-oriented visualization
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
DDD—a free graphical front-end for UNIX debuggers
ACM SIGPLAN Notices
Advanced Java: idioms, pitfalls, styles and programming tips
Advanced Java: idioms, pitfalls, styles and programming tips
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Efficiently monitoring relational databases
ACM Transactions on Database Systems (TODS)
Principles of Database Systems
Principles of Database Systems
Access path selection in a relational database management system
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Queries in Object-Oriented Databases
Proceedings of the Fourth International Conference on Data Engineering
A Query Algebra for Object-Oriented Databases
Proceedings of the Sixth International Conference on Data Engineering
A Polynomial Time Algorithm for Optimizing Join Queries
Proceedings of the Ninth International Conference on Data Engineering
Interactive Visual Exploration of Distributed Computations
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
Optimization of Nonrecursive Queries
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Modeling Object-Oriented Program Execution
ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
ICSE '81 Proceedings of the 5th international conference on Software engineering
Design conformance management of software systems: an architecture-oriented approach
Design conformance management of software systems: an architecture-oriented approach
Strata-various: multi-layer visualization of dynamics in software system behavior
VIS '94 Proceedings of the conference on Visualization '94
Program explorer: a program visualizer for C++
COOTS'95 Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS)
Coca: an automated debugger for C
Proceedings of the 21st international conference on Software engineering
The design of an OCL query-based debugger for C++
Proceedings of the 2001 ACM symposium on Applied computing
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Using OCL-queries for debugging C++
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Dynamic Query-Based Debugging of Object-Oriented Programs
Automated Software Engineering
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
General Test Result Checking with Log File Analysis
IEEE Transactions on Software Engineering
A relational debugging engine for the graphics pipeline
ACM SIGGRAPH 2005 Papers
Finding application errors and security flaws using PQL: a program query language
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Relational queries over program traces
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Declarative and visual debugging in Eclipse
Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange
Securing web applications with static and dynamic information flow tracking
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Practical Object-Oriented Back-in-Time Debugging
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Caching and incrementalisation in the java query language
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
JPure:: a modular purity system for java
CC'11/ETAPS'11 Proceedings of the 20th international conference on Compiler construction: part of the joint European conferences on theory and practice of software
New efficient techniques for dynamic detection of likely invariants
ICANNGA'11 Proceedings of the 10th international conference on Adaptive and natural computing algorithms - Volume Part I
Localizing program logical errors using extraction of knowledge from invariants
SEA'11 Proceedings of the 10th international conference on Experimental algorithms
Efficient object querying for java
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Proceedings of the 34th International Conference on Software Engineering
Synthesizing iterators from abstraction functions
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Ji.Fi: visual test and debug queries for hard real-time
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Proceedings of the 7th Workshop on Dynamic Languages and Applications
Exploring optimization and caching for efficient collection operations
Automated Software Engineering
Hi-index | 0.00 |
Object relationships in modem software systems are becoming increasingly numerous and complex. Programmers who try to find violations of such relationships need new tools that allow them to explore objects in a large system more efficiently. Many existing debuggers present only a low-level, one-object-at-a-time view of objects and their relationships. We propose a new solution to overcome these problems: query-based debugging. The implementation of the query-based debugger described here offers programmers an effective query tool that allows efficient searching of large object spaces and quick verification of complex relationships. Even for programs that have large numbers of objects, the debugger achieves interactive response times for common queries by using a combination of fast searching primitives, query optimization, and incremental result delivery.