Obliviousness, Modular Reasoning, and the Behavioral Subtyping Analogy
暂无分享,去创建一个
[1] D. L. Parnas,et al. On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.
[2] 簡聰富,et al. 物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .
[3] Gary T. Leavens,et al. Reasoning about object-oriented programs that use subtypes , 1990, OOPSLA/ECOOP '90.
[4] Bertrand Meyer,et al. Eiffel: The Language , 1991 .
[5] Gary T. Leavens. Modular specification and verification of object-oriented programs , 1991, IEEE Software.
[6] Jeannette M. Wing,et al. A behavioral notion of subtyping , 1994, TOPL.
[7] Ralph Johnson,et al. design patterns elements of reusable object oriented software , 2019 .
[8] Gary T. Leavens,et al. Weak behavioral subtyping for types with mutable objects , 1995, MFPS.
[9] Gary T. Leavens,et al. Forcing behavioral subtyping through specification inheritance , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.
[10] Michel Bidoit,et al. TAPSOFT '97: Theory and Practice of Software Development , 1997, Lecture Notes in Computer Science.
[11] Martín Abadi,et al. A Logic of Object-Oriented Programs , 1997, Verification: Theory and Practice.
[12] Jan Vitek,et al. Flexible Alias Protection , 1998, ECOOP.
[13] Stanley M. Sutton,et al. Multi-Dimensional Separation of Concerns , 1999 .
[14] Daniel P. Friedman,et al. Aspect-Oriented Programming is Quantification and Obliviousness , 2000 .
[15] Guy L. Steele,et al. Java Language Specification, Second Edition: The Java Series , 2000 .
[16] Gary T. Leavens,et al. MultiJava: modular open classes and symmetric multiple dispatch for Java , 2000, OOPSLA '00.
[17] Curtis Charles Clifton,et al. MultiJava: Design, implementation, and evaluation of a Java-compatible language supporting modular open classes and symmetric multiple dispatch , 2001 .
[18] William G. Griswold,et al. An Overview of AspectJ , 2001, ECOOP.
[19] William G. Griswold,et al. Getting started with ASPECTJ , 2001, CACM.
[20] Joshua J. Bloch. Effective Java : programming language guide , 2001 .
[21] Lodewijk Bergmans,et al. Composing crosscutting concerns using composition filters , 2001, CACM.
[22] Gregor Kiczales,et al. Using aspectC to improve the modularity of path-specific customization in operating system code , 2001, ESEC/FSE-9.
[23] Harold Ossher,et al. Using multidimensional separation of concerns to (re)shape evolving software , 2001, CACM.
[24] Robert E. Filman,et al. What Is Aspect-Oriented Programming , 2001 .
[25] Tzilla Elrad,et al. Aspect-oriented programming: Introduction , 2001, CACM.
[26] Craig Chambers,et al. Alias annotations for program understanding , 2002, OOPSLA '02.
[27] Peter Müller,et al. Modular Specification and Verification of Object-Oriented Programs , 2002, Lecture Notes in Computer Science.
[28] Gary T. Leavens,et al. Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning , 2002 .
[29] Ivan Kiselev,et al. Aspect-Oriented Programming with AspectJ , 2002 .
[30] Gary T. Leavens,et al. Modular specification of frame properties in JML , 2003, Concurr. Comput. Pract. Exp..
[31] Ruzanna Chitchyan,et al. Persistence as an aspect , 2003, AOSD '03.
[32] Gary T. Leavens,et al. Parameterized Aspect Calculus: A Core Calculus for the Direct Study of Aspect-Oriented Languages , 2003 .