AOP Maintains an Independent Coordinate System

Authors

Joe Kutner, University of Southern Mississippi
Louise Perkins, University of Southern MississippiFollow
Sumanth Yenduri, University of Southern MississippiFollow
Farnaz Zand, University of Southern Mississippi
Joe Zhang, University of Southern Mississippi

Document Type

Conference Proceeding

Publication Date

5-27-2008

School

Computing Sciences and Computer Engineering

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. © 2008 IEEE.

Publication Title

Proceedings - International Conference on Information Technology: New Generations, ITNG 2008

First Page

1290

Last Page

1291

Recommended Citation

Kutner, J., Perkins, L., Yenduri, S., Zand, F., Zhang, J. (2008). AOP Maintains an Independent Coordinate System. Proceedings - International Conference on Information Technology: New Generations, ITNG 2008, 1290-1291.
Available at: https://aquila.usm.edu/fac_pubs/21242