Composing safely: a type system for aspects
- Accepted version (post-print)
Official URL: http://tinyurl.com/6cfve5d
This item is available in the Library Catalogue
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.
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 > Foundations of Computing group|
A. > School of Science and Technology > Computer Science > Artificial Intelligence group
|Notes on copyright:||Post refereed version as allowed by publisher.|
|Deposited On:||18 Jan 2011 15:06|
|Last Modified:||30 Apr 2015 17:17|
Repository staff only: item control page
Full text downloads (NB count will be zero if no full text documents are attached to the record)
Downloads per month over the past year