Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
research-article
Free access

Knowledge-based debugging: session summary

Published: 20 March 1983 Publication History
  • Get Citation Alerts
  • Abstract

    Robert Balzer began the session by presenting an overview of where debugging fits into knowledge-based programming systems. He distinguished between differences in <italic>paradigm</italic> (the traditional software engineering approach in which the source code is the first formal representation vs. the operational specification approach in which the specification is both formal and <italic>executable</italic> and from which the implementation is formally derived) and differences in <italic>technology</italic> (traditional debuggers vs. knowledge-based tools), pointing out that it is possible to use traditional debugging techniques with the operational specification paradigm as well as use knowledge-based tools with the traditional software engineering paradigm.
    Balzer presented the operational specification paradigm for software development. The basic idea is that an implementation is derived from a specification through transformations chosen by the programmer and applied by the system. Assuming each transformation is correct, the resulting implementation will accurately reflect the intentions of the specification.

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM SIGPLAN Notices
    ACM SIGPLAN Notices  Volume 18, Issue 8
    Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on high-level debugging
    August 1983
    208 pages
    ISSN:0362-1340
    EISSN:1558-1160
    DOI:10.1145/1006142
    Issue’s Table of Contents
    • cover image ACM Conferences
      SIGSOFT '83: Proceedings of the symposium on High-level debugging
      March 1983
      217 pages
      ISBN:0897911113
      DOI:10.1145/1006147
    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: 20 March 1983
    Published in SIGPLAN Volume 18, Issue 8

    Check for updates

    Qualifiers

    • Research-article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 239
      Total Downloads
    • Downloads (Last 12 months)37
    • Downloads (Last 6 weeks)10
    Reflects downloads up to 10 Aug 2024

    Other Metrics

    Citations

    View Options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Get Access

    Login options

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media