Abstract
| Original language | Unknown |
|---|---|
| Title of host publication | INFORUM |
| Publisher | Faculdade de Ciências - Universidade de Lisboa |
| Pages | - |
| ISBN (Print) | 978-972-9348-18-1 |
| Publication status | Published - 1 Jan 2009 |
| Event | Inforum Simpósio de Informática - Duration: 1 Jan 2009 → … |
Conference
| Conference | Inforum Simpósio de Informática |
|---|---|
| Period | 1/01/09 → … |
Cite this
}
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 proceeding › Conference 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 -