Composing safely: a type system for aspects
Article
Kammueller, F. and Sudhof, H. 2008. Composing safely: a type system for aspects. Lecture Notes in Computer Science. 4954, pp. 231-247. https://doi.org/10.1007/978-3-540-78789-1_18
Type | Article |
---|---|
Title | Composing safely: a type system for aspects |
Authors | Kammueller, F. and Sudhof, H. |
Abstract | In this paper we present an approach towards safe software composition based on aspect-orientation. Aspects enable the systematic addition of code into existing programs but often they also introduce er- rors. In order to provide safe aspects for software composition we address the verification of the aspect-oriented language paradigm. We construct a basic calculus for aspects with types and prove formally type safety. More precisely, this paper presents the following contributions (a) a fully formalized type system for the Theory of Objects including the proof of type safety, (b) a theory of aspects based on the Theory of Objects including a type system for aspects, and (c) the definition of a notion of type safety for aspects including its proof. The entire theory and proofs are carried out in the theorem prover Isabelle/HOL. |
Research Group | Artificial Intelligence group |
Foundations of Computing group | |
Publisher | Springer |
Journal | Lecture Notes in Computer Science |
ISSN | 0302-9743 |
Publication process dates | |
Deposited | 18 Jan 2011 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | Post refereed version as allowed by publisher.The final authenticated version is available online at https://doi.org/10.1007/978-3-540-78789-1_18 |
Additional information | Conference details: Software Composition, 7th International Symposium, SC 2008. Held at Budapest, Hungary, March 29-30, 2008. |
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-540-78789-1_18 |
Language | English |
Series | LNCS |
https://repository.mdx.ac.uk/item/83128
Download files
40
total views8
total downloads0
views this month0
downloads this month