DocumentCode
3290523
Title
AOP Maintains an Independent Coordinate System
Author
Kutner, Joe ; Perkins, Louise ; Yenduri, Sumanth ; Zand, Farnaz ; Zhang, Joe
Author_Institution
Univ. of Southern Mississippi, Long Beach
fYear
2008
fDate
7-9 April 2008
Firstpage
1290
Lastpage
1291
Abstract
We argue in this paper that aspect-oriented-programming (AOP) maintains a programmer independent coordinate system and hence supports program correctness proofs. To show this, we revisit Dijkstra´s and Knuth´s original arguments on structured programming.
Keywords
object-oriented programming; program verification; structured programming; aspect-oriented-programming; program correctness proof; programmer independent coordinate system; structured programming; Clocks; Computer languages; Encapsulation; Information technology; Inspection; Object oriented modeling; Object oriented programming; Programming profession; Software design; Vehicles;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Technology: New Generations, 2008. ITNG 2008. Fifth International Conference on
Conference_Location
Las Vegas, NV
Print_ISBN
0-7695-3099-0
Type
conf
DOI
10.1109/ITNG.2008.13
Filename
4492696
Link To Document