A Calculus of Untyped Aspect-Oriented Programs

This publication has 12 references indexed in Scilit:

• Process-Algebraic Foundations of Aspect-Oriented Programming
  Published by Springer Nature ,2001
• An Overview of AspectJ
  Published by Springer Nature ,2001
• PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language
  Published by Springer Nature ,2000
• On Inner Classes
  Published by Springer Nature ,2000
• A Calculus for Compiling and Linking Classes
  Published by Springer Nature ,2000
• Comparing Object Encodings
  Information and Computation, 1999
• Featherweight Java
  Published by Association for Computing Machinery (ACM) ,1999
• Is the Java type system sound?
  Theory and Practice of Object Systems, 1999
• Subtyping is not a good “match” for object-oriented languages
  Published by Springer Nature ,1997
• A Theory of Objects
  Published by Springer Nature ,1996