| Aspects and Data Refinement ⋆ (2008) | |||||||||||||||
Abstract | |||||||||||||||
| Abstract. We give an introduction to aspect-oriented programming from the viewpoint of data refinement. Some data refinements are conveniently expressed via aspects. Unlike traditional programming language features for data refinement, aspects conceptually transform run-time events, not compile-time programs. 1 | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||