A Definition of Abstraction Export

@article{WardAbstraction1995, abstract = {What does it mean to say that one program is "more abstract" then 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...}, address = {New York, NY, USA}, author = {Ward, Martin P.}, citeulike-article-id = {2107448}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=250775}, citeulike-linkout-1 = {http://dx.doi.org/10.1002/smr.4360070606}, doi = {10.1002/smr.4360070606}, journal = {Journal of Software Maintenance}, keywords = {abstraction, semantics}, number = {6}, pages = {443--450}, posted-at = {2007-12-13 20:39:44}, priority = {2}, publisher = {John Wiley \& Sons, Inc.}, title = {A Definition of Abstraction}, url = {http://dx.doi.org/10.1002/smr.4360070606}, volume = {7}, year = {1995} }

TY - JOUR ID - WardAbstraction1995 L3 - citeulike-article-id:2107448 N2 - What does it mean to say that one program is "more abstract" then 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... IS - 6 JF - Journal of Software Maintenance AD - New York, NY, USA EP - 450 TI - A Definition of Abstraction PB - John Wiley & Sons, Inc. VL - 7 SP - 443 KW - abstraction KW - semantics AU - Ward, Martin PY - 1995/// UR - http://dx.doi.org/10.1002/smr.4360070606 ER -