Article

The design of an OCL query-based debugger for C++

Authors:

Chanika Hobatr,

Brian A. MalloyAuthors Info & Claims

SAC '01: Proceedings of the 2001 ACM symposium on Applied computing

Pages 658 - 662

https://doi.org/10.1145/372202.372796

Published: 01 March 2001 Publication History

Get Access

References

[1]

S. Chiba. OpenC++ Tutorial. Technical report, Institute of Information Science and Electronics, University of Tsukuba, 1998.

Google Scholar

[2]

S. Chiba and T. Masuda. Designing an Extensible Distributed Language with a Meta-Level Architecture. In Proceedings of European Conference on Object Oriented Programming (ECOOP'g3), LNCS 707, pages 482-501, Kaiserslautern, July 1993.

Digital Library

Google Scholar

[3]

Dresden University of Technology. Ocl compiler. Project hosted by SorgeForce, 2000.

Google Scholar

[4]

M. Ducass. Coca: An Automated Debugger for C. In ICSE'gg, pages 504-513, Los Angeles, CA, February 1999.

Digital Library

Google Scholar

[5]

M. Eisenstadt. My hairiest bug war stories. Communications of the ACM, 40(4):30-38, April 1997.

Digital Library

Google Scholar

[6]

IBM Application Development. The object constraint language, http://www-,.ibm.com/soflware/ad/standards/ocl.html, October 200.

Google Scholar

[7]

ISO/IEC JTC 1. International Standard: Programming Languages - C++. Number 14882:1998(E) in ASC X3. American National Standards Institute, first edition, September 1998.

Google Scholar

[8]

It. Lenceivicius, U. Holzle, and A. K. Singh. Query- Based Debugging of Object-Oriented Programs. In OOPSLA'97, pages 304-317, Atlanta, GA, October 1997.

Digital Library

Google Scholar

[9]

It. Lenceivicius, U. HoLzle, and A. K. Singh. Dynamic Query-Based Debugging. Technical report, University of California, Santa Barbara, CA, December 1998.

Digital Library

Google Scholar

[10]

B. Meyer. Object-Oriented Software Construction. Prentice-Hall, second edition, 1997.

Digital Library

Google Scholar

[11]

B. Stronstrup. The C++ Programming Language. Addison-Wesley, third edition, 1997.

Digital Library

Google Scholar

[12]

J. Warmer and A. Kleppe. The Object Constraint Language. Addison-Wesley, 1999.

Digital Library

Google Scholar

Cited By

View all

Willis DPearce DNoble J(2008)Caching and incrementalisation in the java query languageACM SIGPLAN Notices10.1145/1449955.144976643:10(1-18)Online publication date: 19-Oct-2008
https://dl.acm.org/doi/10.1145/1449955.1449766
Willis DPearce DNoble JHarris GKiczales GRiehle DBlack A(2008)Caching and incrementalisation in the java query languageProceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications10.1145/1449764.1449766(1-18)Online publication date: 19-Oct-2008
https://dl.acm.org/doi/10.1145/1449764.1449766
Willis DPearce DNoble J(2006)Efficient object querying for javaProceedings of the 20th European conference on Object-Oriented Programming10.1007/11785477_3(28-49)Online publication date: 3-Jul-2006
https://dl.acm.org/doi/10.1007/11785477_3
Show More Cited By

Index Terms

The design of an OCL query-based debugger for C++
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
  2. Software notations and tools
    1. General programming languages
      1. Language types
        Constraint and logic languages

Recommendations

Real-Time Constraints with the OCL
ISORC '02: Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing

In recent years, the Unified Modeling Language (UML) has received increasing attention from designers of real-time systems. Several approaches apply and enrich the UML notation for modeling of real-time applications. In addition to that, UML modelers ...
On another level: how to debug compiling query engines
DBTest '20: Proceedings of the workshop on Testing Database Systems

Compilation-based query engines generate and compile code at runtime, which is then run to get the query result. In this process there are two levels of source code involved: The code of the code generator itself and the code that is generated at ...
Dynamic Query-Based Debugging of Object-Oriented Programs

Program errors are hard to find because of the cause-effect gap between the instant when an error occurs and when the error becomes apparent to the programmer. Although debugging techniques such as conditional and data breakpoints help in finding errors ...

Comments

Information & Contributors

Information

Published In

SAC '01: Proceedings of the 2001 ACM symposium on Applied computing

March 2001

692 pages

ISBN:1581132875

DOI:10.1145/372202

Chairman:
G. B. Lamont
Air Force Institute of Technology

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 2001

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SAC01

Sponsor:

SIGAPP

SAC01: 2001 Symposium on Applied Computing

Nevada, Las Vegas, USA

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
407
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 25 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Willis DPearce DNoble J(2008)Caching and incrementalisation in the java query languageACM SIGPLAN Notices10.1145/1449955.144976643:10(1-18)Online publication date: 19-Oct-2008
https://dl.acm.org/doi/10.1145/1449955.1449766
Willis DPearce DNoble JHarris GKiczales GRiehle DBlack A(2008)Caching and incrementalisation in the java query languageProceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications10.1145/1449764.1449766(1-18)Online publication date: 19-Oct-2008
https://dl.acm.org/doi/10.1145/1449764.1449766
Willis DPearce DNoble J(2006)Efficient object querying for javaProceedings of the 20th European conference on Object-Oriented Programming10.1007/11785477_3(28-49)Online publication date: 3-Jul-2006
https://dl.acm.org/doi/10.1007/11785477_3
Siikarla MPeltonen JSelonen P(2004)Combining OCL and Programming Languages for UML Model ProcessingElectronic Notes in Theoretical Computer Science (ENTCS)10.5555/2773577.2773763102:C(175-194)Online publication date: 2-Nov-2004
https://dl.acm.org/doi/10.5555/2773577.2773763
Potanin ANoble JBiddle R(2004)Snapshot query-based debugging2004 Australian Software Engineering Conference. Proceedings.10.1109/ASWEC.2004.1290478(251-259)Online publication date: 2004
https://doi.org/10.1109/ASWEC.2004.1290478

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

References

Cited By

Index Terms

Recommendations

Real-Time Constraints with the OCL

On another level: how to debug compiling query engines

Dynamic Query-Based Debugging of Object-Oriented Programs

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations