Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Compile-Time Execution Structure of Object-Oriented Programs with Practical Ownership Domain Annotations
 

Summary: Compile-Time Execution Structure of Object-Oriented Programs
with Practical Ownership Domain Annotations
Marwan Abi-Antoun
Carnegie Mellon University
marwan.abi-antoun@cs.cmu.edu
Abstract
Ownership domain annotations express and enforce design
intent related to object encapsulation and communication
directly in real object-oriented code.
First, this work will make the ownership domains type
system more expressive. Second, ownership domain annota-
tions enable obtaining, at compile time, the execution struc-
ture of an annotated program. The execution structure is
sound, hierarchical and scales to large programs. It also
conveys more design intent that existing compile-time ap-
proaches that do not rely on ownership annotations. Finally,
tools will infer these annotations semi-automatically at com-
pile time, once a developer provides the design intent.
Categories and Subject Descriptors D.3.3 [Programming
Languages]: Language Constructs and Features--Patterns

  

Source: Abi-Antoun, Marwan - Department of Computer Science, Wayne State University

 

Collections: Computer Technologies and Information Sciences