A definition of abstraction.

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Ward, Martin
dc.date.accessioned 2005-07-13T17:06:55Z
dc.date.available 2005-07-13T17:06:55Z
dc.date.issued 2005-07-13T17:06:55Z
dc.identifier.citation Ward, M. (1995) A definition of abstraction. Journal of Software Maintenance: Research and Practice, 7 (6), pp. 443-450.
dc.identifier.issn 1040-550X
dc.identifier.uri http://hdl.handle.net/2086/25
dc.description.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. en
dc.format.extent 152785 bytes
dc.format.extent 86917 bytes
dc.format.mimetype application/pdf
dc.format.mimetype application/postscript
dc.language.iso en en
dc.publisher John Wiley
dc.relation.ispartofseries STRL en
dc.relation.ispartofseries 1995-7 en
dc.subject abstraction en
dc.subject software maintenance en
dc.subject transformations en
dc.subject refinement en
dc.subject transformational programming en
dc.title A definition of abstraction. en
dc.type Article en
dc.identifier.doi http://dx.doi.org/10.1002/smr.4360070606
dc.researchgroup Software Technology Research Laboratory (STRL)


Files in this item

This item appears in the following Collection(s)

Show simple item record