An Exception Aware Behavioral Type System for Object-Oriented Programs

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We develop a type system for object oriented languages that combines standard type information with behavioral protocol specifications. The typing rules cover familiar constructs, as well as exceptions, which are a main novelty in this work: exceptions may cause abrupt control transfer in allowed behaviors, and have been particularly difficult to tackle with behavioral type systems. The type system guarantees protocol fidelity both at the method level and at the class level by checking consistency in the use of fields with the class’ usage protocol. It also ensures that program execution always reaches a safe termination state, even in the presence of behavioral borrowing, that is, temporary aliasing of object references during methods calls.
Original languageUnknown
Title of host publicationINFORUM
PublisherFaculdade de Ciências - Universidade de Lisboa
Pages-
ISBN (Print)978-972-9348-18-1
Publication statusPublished - 1 Jan 2009
EventInforum Simpósio de Informática -
Duration: 1 Jan 2009 → …

Conference

ConferenceInforum Simpósio de Informática
Period1/01/09 → …

Cite this

Caires, L. M. M. D. C. (2009). An Exception Aware Behavioral Type System for Object-Oriented Programs. In INFORUM (pp. -). Faculdade de Ciências - Universidade de Lisboa.
Caires, Luís Manuel Marques da Costa. / An Exception Aware Behavioral Type System for Object-Oriented Programs. INFORUM. Faculdade de Ciências - Universidade de Lisboa, 2009. pp. -
@inproceedings{a64f47a06b06463b8398f0fd830c2805,
title = "An Exception Aware Behavioral Type System for Object-Oriented Programs",
abstract = "We develop a type system for object oriented languages that combines standard type information with behavioral protocol specifications. The typing rules cover familiar constructs, as well as exceptions, which are a main novelty in this work: exceptions may cause abrupt control transfer in allowed behaviors, and have been particularly difficult to tackle with behavioral type systems. The type system guarantees protocol fidelity both at the method level and at the class level by checking consistency in the use of fields with the class’ usage protocol. It also ensures that program execution always reaches a safe termination state, even in the presence of behavioral borrowing, that is, temporary aliasing of object references during methods calls.",
author = "Caires, {Lu{\'i}s Manuel Marques da Costa}",
year = "2009",
month = "1",
day = "1",
language = "Unknown",
isbn = "978-972-9348-18-1",
pages = "--",
booktitle = "INFORUM",
publisher = "Faculdade de Ci{\^e}ncias - Universidade de Lisboa",

}

Caires, LMMDC 2009, An Exception Aware Behavioral Type System for Object-Oriented Programs. in INFORUM. Faculdade de Ciências - Universidade de Lisboa, pp. -, Inforum Simpósio de Informática, 1/01/09.

An Exception Aware Behavioral Type System for Object-Oriented Programs. / Caires, Luís Manuel Marques da Costa.

INFORUM. Faculdade de Ciências - Universidade de Lisboa, 2009. p. -.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - An Exception Aware Behavioral Type System for Object-Oriented Programs

AU - Caires, Luís Manuel Marques da Costa

PY - 2009/1/1

Y1 - 2009/1/1

N2 - We develop a type system for object oriented languages that combines standard type information with behavioral protocol specifications. The typing rules cover familiar constructs, as well as exceptions, which are a main novelty in this work: exceptions may cause abrupt control transfer in allowed behaviors, and have been particularly difficult to tackle with behavioral type systems. The type system guarantees protocol fidelity both at the method level and at the class level by checking consistency in the use of fields with the class’ usage protocol. It also ensures that program execution always reaches a safe termination state, even in the presence of behavioral borrowing, that is, temporary aliasing of object references during methods calls.

AB - We develop a type system for object oriented languages that combines standard type information with behavioral protocol specifications. The typing rules cover familiar constructs, as well as exceptions, which are a main novelty in this work: exceptions may cause abrupt control transfer in allowed behaviors, and have been particularly difficult to tackle with behavioral type systems. The type system guarantees protocol fidelity both at the method level and at the class level by checking consistency in the use of fields with the class’ usage protocol. It also ensures that program execution always reaches a safe termination state, even in the presence of behavioral borrowing, that is, temporary aliasing of object references during methods calls.

M3 - Conference contribution

SN - 978-972-9348-18-1

SP - -

BT - INFORUM

PB - Faculdade de Ciências - Universidade de Lisboa

ER -

Caires LMMDC. An Exception Aware Behavioral Type System for Object-Oriented Programs. In INFORUM. Faculdade de Ciências - Universidade de Lisboa. 2009. p. -