• Login
    View Item 
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • School of Computer Science and Informatics
    • View Item
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • School of Computer Science and Informatics
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    A definition of abstraction.

    Thumbnail
    View/Open
    Main article text (149.2Kb)
    The .ps file to go with the text. I can't open it so can't describe it any further (84.87Kb)
    Date
    2005-07-13
    Author
    Ward, Martin
    Metadata
    Show attachments and full item record
    Abstract
    What does it mean to say that one program is "more abstract" than another? What is "abstract" about an abstract data type? What is the difference between a "high-level" program and a "low-level" program? In this paper we attempt to answer these questions by formally defining an abstraction relation between programs which matches our intuitive ideas about abstraction. The relation is based on examining the operational semantics of the programs, expressed as a set of traces (sequences of states) from a given initial state to a possible final state.
    Description
    Citation : Ward, M. (1995) A definition of abstraction. Journal of Software Maintenance: Research and Practice, 7 (6), pp. 443-450.
    URI
    http://hdl.handle.net/2086/25
    DOI
    https://dx.doi.org/10.1002/smr.4360070606
    ISSN : 1040-550X
    Research Group : Software Technology Research Laboratory (STRL)
    Collections
    • School of Computer Science and Informatics [2679]

    Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
    DMU LIbrary
     

     

    Browse

    All of DORACommunities & CollectionsAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission DateThis CollectionAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission Date

    My Account

    Login

    Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
    DMU LIbrary