Show simple item record

dc.contributor.authorWard, Martin
dc.date.accessioned2005-07-13T17:06:55Z
dc.date.available2005-07-13
dc.date.issued2005-07-13
dc.identifier.citationWard, M. (1995) A definition of abstraction. Journal of Software Maintenance: Research and Practice, 7 (6), pp. 443-450.
dc.identifier.issn1040-550X
dc.identifier.urihttp://hdl.handle.net/2086/25
dc.description.abstractWhat 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.extent152785 bytes
dc.format.extent86917 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/postscript
dc.language.isoenen
dc.publisherJohn Wileyen
dc.relation.ispartofseriesSTRLen
dc.relation.ispartofseries1995-7en
dc.subjectabstractionen
dc.subjectsoftware maintenanceen
dc.subjecttransformationsen
dc.subjectrefinementen
dc.subjecttransformational programmingen
dc.titleA definition of abstraction.en
dc.typeArticleen
dc.identifier.doihttps://dx.doi.org/10.1002/smr.4360070606
dc.researchgroupSoftware Technology Research Laboratory (STRL)


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record