Abstract and Concrete Data Types vs Object Capabilities

James Noble; Alex Potanin; Toby Murray; Mark S. Miller

doi:10.1007/978-3-319-98047-8_14

Abstract and Concrete Data Types vs Object Capabilities

James Noble, Alex Potanin^*, Toby Murray, Mark S. Miller

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

1 Citation (Scopus)

Abstract

The distinctions between the two forms of procedural data abstraction— abstract data types and objects—are well known. An abstract data type provides an opaque type declaration, and an implementation that manipulates the modules of the abstract type, while an object uses procedural abstraction to hide an individual implementation. The object-capability model has been proposed to enable objectoriented programs to be written securely, and has been adopted by a number of practical languages including JavaScript, E, and Newspeak. This chapter addresses the questions: how can we implement abstract data types in an object-capability language? and, how can we incorporate primitive concrete data types into a primarily object-oriented system?.

Original language	English
Title of host publication	Principled Software Development
Subtitle of host publication	Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
Editors	Peter Müller, Ina Schaefer
Publisher	Springer International Publishing AG
Pages	221-240
Number of pages	20
ISBN (Electronic)	9783319980478
ISBN (Print)	9783319980461
DOIs	https://doi.org/10.1007/978-3-319-98047-8_14
Publication status	Published - 2018
Externally published	Yes

Access to Document

10.1007/978-3-319-98047-8_14

Cite this

@inbook{9951a8f103bd430b82b9676c0bdf3b11,

title = "Abstract and Concrete Data Types vs Object Capabilities",

abstract = "The distinctions between the two forms of procedural data abstraction— abstract data types and objects—are well known. An abstract data type provides an opaque type declaration, and an implementation that manipulates the modules of the abstract type, while an object uses procedural abstraction to hide an individual implementation. The object-capability model has been proposed to enable objectoriented programs to be written securely, and has been adopted by a number of practical languages including JavaScript, E, and Newspeak. This chapter addresses the questions: how can we implement abstract data types in an object-capability language? and, how can we incorporate primitive concrete data types into a primarily object-oriented system?.",

author = "James Noble and Alex Potanin and Toby Murray and Miller, \{Mark S.\}",

note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2018.",

year = "2018",

doi = "10.1007/978-3-319-98047-8\_14",

language = "English",

isbn = "9783319980461",

pages = "221--240",

editor = "Peter M{\"u}ller and Ina Schaefer",

booktitle = "Principled Software Development",

publisher = "Springer International Publishing AG",

address = "Switzerland",

}

Abstract and Concrete Data Types vs Object Capabilities. / Noble, James; Potanin, Alex; Murray, Toby et al.
Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. ed. / Peter Müller; Ina Schaefer. Springer International Publishing AG, 2018. p. 221-240.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - Abstract and Concrete Data Types vs Object Capabilities

AU - Noble, James

AU - Potanin, Alex

AU - Murray, Toby

AU - Miller, Mark S.

PY - 2018

Y1 - 2018

N2 - The distinctions between the two forms of procedural data abstraction— abstract data types and objects—are well known. An abstract data type provides an opaque type declaration, and an implementation that manipulates the modules of the abstract type, while an object uses procedural abstraction to hide an individual implementation. The object-capability model has been proposed to enable objectoriented programs to be written securely, and has been adopted by a number of practical languages including JavaScript, E, and Newspeak. This chapter addresses the questions: how can we implement abstract data types in an object-capability language? and, how can we incorporate primitive concrete data types into a primarily object-oriented system?.

AB - The distinctions between the two forms of procedural data abstraction— abstract data types and objects—are well known. An abstract data type provides an opaque type declaration, and an implementation that manipulates the modules of the abstract type, while an object uses procedural abstraction to hide an individual implementation. The object-capability model has been proposed to enable objectoriented programs to be written securely, and has been adopted by a number of practical languages including JavaScript, E, and Newspeak. This chapter addresses the questions: how can we implement abstract data types in an object-capability language? and, how can we incorporate primitive concrete data types into a primarily object-oriented system?.

UR - https://www.scopus.com/pages/publications/85093325408

U2 - 10.1007/978-3-319-98047-8_14

DO - 10.1007/978-3-319-98047-8_14

M3 - Chapter

AN - SCOPUS:85093325408

SN - 9783319980461

SP - 221

EP - 240

BT - Principled Software Development

A2 - Müller, Peter

A2 - Schaefer, Ina

PB - Springer International Publishing AG

ER -

Abstract and Concrete Data Types vs Object Capabilities

Abstract

Access to Document

Other files and links

Fingerprint

Cite this