Composing safely: a type system for aspects
Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Sudhof, Henry
(2008)
Composing safely: a type system for aspects.
Lecture Notes in Computer Science, 4954
.
pp. 231-247.
ISSN 0302-9743
[Article]
(doi:10.1007/978-3-540-78789-1_18)
|
PDF
- Final accepted version (with author's formatting)
Download (245kB) | Preview |
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.
Item Type: | Article |
---|---|
Additional Information: | Conference details: Software Composition, 7th International Symposium, SC 2008. Held at Budapest, Hungary, March 29-30, 2008. |
Research Areas: | A. > School of Science and Technology > Computer Science > Artificial Intelligence group A. > School of Science and Technology > Computer Science > Foundations of Computing group |
Item ID: | 6858 |
Notes on copyright: | 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 |
Useful Links: | |
Depositing User: | Dr Florian Kammueller |
Date Deposited: | 18 Jan 2011 15:06 |
Last Modified: | 30 Nov 2022 01:51 |
URI: | https://eprints.mdx.ac.uk/id/eprint/6858 |
Actions (login required)
![]() |
View Item |
Statistics
Additional statistics are available via IRStats2.