Designing a statically typed actor-based concurrent object-oriented programming language

Simple item page
dc.contributor.authorLee, Keung Haeen
dc.contributor.committeechairKafura, Dennis G.en
dc.contributor.committeememberNance, Richard E.en
dc.contributor.committeememberArthur, James D.en
dc.contributor.committeememberBoisen, Monte B. Jr.en
dc.contributor.committeememberRibbens, Calvin J.en
dc.contributor.committeememberBloss, Adrienne G.en
dc.contributor.departmentComputer Scienceen
dc.date.accessioned2014-03-14T21:09:40Zen
dc.date.adate2007-02-26en
dc.date.available2014-03-14T21:09:40Zen
dc.date.issued1990en
dc.date.rdate2007-02-26en
dc.date.sdate2007-02-26en
dc.description.abstractThe research reported in this dissertation investigates extending the power and flexibility of an object-oriented language with inheritance, Static typing, and concurrency. A language supporting inheritance, static typing, and concurrency offers a significant leverage in software development. However, when these features are provided together, the benefits of the features are significantly reduced due to the interaction among them. The challenge for the designer of an object-oriented language lies in the difficulty of reconciling the conflicts among these features. This thesis discusses two issues: combining static typing with inheritance and combining concurrency with inheritance. A new model of type and inheritance, called HANA, is presented. The HANA model integrates multiple inheritance, multiple representation, method exclusion, and method name overloading with static typing. The contribution of HANA is that it extends other existing models of type and inheritance with enhanced expressive power, increased reusability, and improved program efficiency. Combining concurrency with inheritance is investigated in the framework of the actor computation model. A language design based on the actor model of concurrent computation faces a serious problem arising from the interference between concurrency and inheritance. A similar problem also occurs in other concurrent object-oriented languages. The problem of concurrency-inheritance conflict is described and a solution based on a concept called behavior abstraction is presented.en
dc.description.degreePh. D.en
dc.format.extentx, 151 leavesen
dc.format.mediumBTDen
dc.format.mimetypeapplication/pdfen
dc.identifier.otheretd-02262007-095937en
dc.identifier.sourceurlhttp://scholar.lib.vt.edu/theses/available/etd-02262007-095937/en
dc.identifier.urihttp://hdl.handle.net/10919/37401en
dc.language.isoenen
dc.publisherVirginia Techen
dc.relation.haspartLD5655.V856_1990.L44.pdfen
dc.relation.isformatofOCLC# 23440182en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subject.lccLD5655.V856 1990.L44en
dc.subject.lcshProgramming languages (Electronic computers)en
dc.titleDesigning a statically typed actor-based concurrent object-oriented programming languageen
dc.typeDissertationen
dc.type.dcmitypeTexten
thesis.degree.disciplineComputer Scienceen
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen
thesis.degree.leveldoctoralen
thesis.degree.namePh. D.en

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
LD5655.V856_1990.L44.pdf
Size:
7.73 MB
Format:
Adobe Portable Document Format
Description:
Download

Collections

Doctoral Dissertations