Implementing Java modeling language contracts with AspectJ
Implementing Java modeling language contracts with AspectJ is a scholarly work, published in 2008. The main subjects of the publication include aspect-oriented programming, strictfp, AspectJ, program analysis, autonomic computing, computer science, Java Modeling Language, Java concurrency, programming language, Real time Java, compiler, generics in Java, Java bytecode, formal methods, Java annotation, and Java. The paper includes a comparative study to demonstrate the quality of the final code generated by the authors' compiler.