MRI: Modular reasoning about interference in incremental programming

Journal of Functional Programming

Volumn 22, Issue 6, 2012, Pages 797-852

  Oliveira, B C D S ^a   Schrijvers, T ^b   Cook, W R ^c  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b GHENT UNIVERSITY   (Belgium)

^c University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPOSITION OF COMPONENTS; EQUATIONAL REASONING; FEATURE-ORIENTED PROGRAMMING; INDIVIDUAL COMPONENTS; MODULAR REASONING; PROGRAMMING STYLES; PURELY FUNCTIONAL; REASONING TECHNIQUES;

OBJECT ORIENTED PROGRAMMING;

DATA TRANSFER;

EID: 84867536767     PISSN: 09567968     EISSN: 14697653     Source Type: Journal    
DOI: 10.1017/S0956796812000354     Document Type: Article

References (55)

1. Aldrich, J. (2005) Open modules: Modular reasoning about advice. In Proceedings of the 19th European Conference on Object-Oriented Programming (ECOOP'05), Berlin, Heidelberg: Springer-Verlag, pp. 144-168. (Pubitemid 41435980)
2. Bagherzadeh, M., Rajan, H., Leavens, G. T. & Mooney, S. (2011) Translucid contracts: Expressive specification and modular verification for aspect-oriented interfaces. In Proceedings of the 10th International Conference on Aspect-Oriented Software Development (AOSD'11), New York, NY, USA: ACM, pp. 141-152.
3. Bird, R. S. & De Moor, O. (1997) Algebra of Programming. International Series in Computing Science, vol. 100. Upper Saddle River, NJ: Prentice Hall.
4. Bracha, G. & Cook, W. (1990) Mixin-based inheritance. In Proceedings of the European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA/ECOOP '90). New York, NY: ACM, pp. 303-311.
5. Chen, K., Weng, S.-C., Lin, J.-Y., Wang, M. & Khoo, S.-C. (2011) Side-effect localization for lazy, purely functional languages via aspects. Higher-Order Symb. Comput. 24(1-2), 1-39.
6. Chen, K., Weng, S., Wang, M., Khoo, S. & Chen, C. (2007) A compilation model for aspect-oriented polymorphically typed functional languages. In Proceedings of the 14th International Symposium on Static Analysis (SAS'07), Berlin, Heidelberg: Springer-Verlag, pp. 34-51.
7. Clifton, C. & Leavens, G. T. (2002) Observers and assistants: A proposal for modular aspectoriented reasoning. In Proceedings of the 1st Workshop on Foundations of Aspect-Oriented Languages (FOAL'02), pp. 33-44.
8. Clifton, C., Leavens, G. T. & Noble, J. (2007) MAO: Ownership and effects for more effective reasoning about aspects. In Proceedings of the 21st European Conference on Object-Oriented Programming (ECOOP'07), Berlin: Springer-Verlag, pp. 451-475.
9. Cook, W. R. (1989) A Denotational Semantics of Inheritance. PhD thesis, Brown University, Providence, RI.
10. Cook, W. & Palsberg, J. (1989) A denotational semantics of inheritance and its correctness. In Conference Proceedings on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '89), New York, NY, USA: ACM, pp. 433-443.
11. Dahl, O.-J. & Nygaard, K. (1966) Simula: An ALGOL-based simulation language. Commun. ACM 9(9), 671-678.
12. Dantas, D. S. & Walker, D. (2006) Harmless advice. In Proceedings of the 33rd Symposium on Principles of Programming Languages (POPL'06), New York, NY, USA: ACM, pp. 383-396.
13. Dantas, D. S., Walker, D., Washburn, G. & Weirich, S. (2008) AspectML: A polymorphic aspect-oriented functional programming language. ACM Trans. Program. Lang. Syst. 30(3), 1-60.
14. De Fraine, B. & Braem, M. (2007) Requirements for reusable aspect deployment. In Software Composition, Lumpe, M. & Vanderperren, W. (eds), Lecture Notes in Computer Science, vol. 4829. Berlin, Germany: Springer, pp. 176-183. (Pubitemid 351152965)
15. Douence, R., Fradet, P. & S̈udholt, M. (2004) Composition, reuse and interaction analysis of stateful aspects. In Proceedings of the 3rd International Conference on Aspect-Oriented Software Development (AOSD'04), New York, NY, USA: ACM, pp. 141-150. (Pubitemid 40682130)
16. Dutchyn, C., Tucker, D. B. & Krishnamurthi, S. (2006) Semantics and scoping of aspects in higher-order languages. Sci. Comput. Program. 63(3), 207-239. (Pubitemid 44574515)
17. Flatt, M., Krishnamurthi, S. & Felleisen, M. (1998) Classes and mixins. In Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Popl '98), San Diego, CA. New York, NY: ACM, pp. 171-183.
18. Gibbons, J. & Hinze, R. (2011) Just do it: Simple monadic equational reasoning. In Proceedings of the 16th International Conference on Functional Programming (ICFP'11), New York, NY, USA: ACM, pp. 2-14.
19. Hughes, J. (1998) Generalising monads to arrows. Sci. Comput. Program. 37, 67-111.
20. Hutton, G. & Fulger, D. (2008) Reasoning about effects: Seeing the wood through the trees. Proceedings of the Symposium on Trends in Functional Programming, Nijmegen, The Netherlands, May 26-28.
21. Jaskelioff, M. (2008) Monatron: An extensible monad transformer library. Proceedings of the 20th International Conference on Implementation and Application of Functional Languages (IFL'08), pp. 233-248.
22. Jones, Mark P. (2000) Type classes with functional dependencies. In Proceedings of the 2000 European Symposium on Programming (ESOP'00), Lecture Notes in Computer Science, vol. 1782, London, UK: Springer-Verlag, pp. 230-244.
23. Katz, S. (1993) A superimposition control construct for distributed systems. ACM Trans. Program. Lang. Syst. 15(2), 337-356. (Pubitemid 23640112)
24. Katz, S. (2006) Aspect categories and classes of temporal properties. Trans. Aspect-Oriented Softw. Dev. 3880, 106-134. (Pubitemid 350259072)
25. Kiczales, G. & Lamping, J. (1992) Issues in the design and specification of class libraries. In Proceedings of the 7th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'92), New York, NY, USA: ACM, pp. 435-451. (Pubitemid 23612528)
26. Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J., & Irwin, J. (1997) Aspect-oriented programming. In Proceedings of the 17th European Conference on Object-Oriented Programming (ECOOP'97), Berlin, Heidelberg: Springer-Verlag, pp. 220-242. (Pubitemid 127083932)
27. Kiczales, G. & Mezini, M. (2005) Aspect-oriented programming and modular reasoning. Proceedings of the 27th International Conference on Software Engineering (ICSE'05), New York, NY, USA: ACM, St. Louis, MO, May 15-21, pp. 49-58.
28. Lamping, J. (1993) Typing the specialization interface. In Proceedings of the 8th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'93), New York, NY, USA: ACM, pp. 201-214.
29. Leino, K. & Rustan M. (1998) Data groups: Specifying the modification of extended state. In Proceedings of the 13th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'98), New York, NY, USA: ACM, pp. 144-153. (Pubitemid 128454821)
30. Lewis, J. R., Launchbury, J., Meijer, E. & Shields, M. B. (2000) Implicit parameters: Dynamic scoping with static types. In Proceedings of the 27th Symposium on Principles of Programming Languages (POPL'00), New York, NY, USA: ACM, pp. 108-118.
31. Liang, S. & Hudak, P. (1996) Modular denotational semantics for compiler construction. In Proceedings of the European Symposium on Programming (ESOP'96). Berlin, Germany: Springer-Verlag, pp. 219-234. (Pubitemid 126064380)
32. Liang, S., Hudak, P. & Jones, M. (1995) Monad transformers and modular interpreters. In Proceedings of the 22nd Symposium on Principles of Programming Languages (POPL'95), New York, NY, USA: ACM, pp. 333-343.
33. Ligatti, J., Walker, D. & Zdancewic, S. (2006) A type-theoretic interpretation of pointcuts and advice. Sci. Comput. Program. 63(3), 240-266. (Pubitemid 44572514)
34. Lopez-Herrejon, R., Batory, D. & Lengauer, C. (2006) A disciplined approach to aspect composition. In Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'06), New York, NY, USA: ACM, pp. 68-77. (Pubitemid 46946398)
35. Masuhara, H., Tatsuzawa, H. & Yonezawa, A. (2005) Aspectual Caml: An aspect-oriented functional language. In Proceedings of the 10th International Conference on Functional Programming (ICFP'05), New York, NY, USA: ACM, pp. 320-330. (Pubitemid 43907055)
36. McBride, C. & Paterson, R. (2008) Applicative programming with effects. J. Funct. Program. 18(1), 1-13.
37. M̈uller, P., Poetzsch-Heffter, A. & Leavens, G. T. (2003) Modular specification of frame properties in JML. Concurrency Comput. Pract. Exp. 15(2), 117-154.
38. Oliveira, Bruno C. d. S., Schrijvers, T. & Cook, W. R. (2010) EffectiveAdvice: Disciplined advice with explicit effects. In Proceedings of the 9th International Conference on Aspect-Oriented Software Development (AOSD'10). New York, NY: ACM, pp. 109-120.
39. Peyton Jones, S., Vytiniotis, D., Weirich, S. & Shields, M. (2007) Practical type inference for arbitrary-rank types. J. Funct. Program. 17(01), 1-82.
40. Prehofer, C. (1997) Feature-oriented programming: A fresh look at objects. In Proceedings of the 11th European Conference on Object-Oriented Programming (ECOOP'97), Berlin, Heidelberg: Springer-Verlag, pp. 419-443. (Pubitemid 127083940)
41. Prehofer, C. (1999) Flexible Construction of Software Components: A Feature Oriented Approach. Habilitation Thesis, Fakulẗat f̈ur Informatik der Technischen Universiẗat M̈unchen.
42. Prehofer, C. (2006) Semantic reasoning about feature composition via multiple aspectweavings. In Proceedings of the 5th International Conference on Generative Programming and Component Engineering (GPCE'06), New York, NY, USA: ACM, pp. 237-242. (Pubitemid 47168642)
43. Reynolds, J. C. (1974) Towards a theory of type structure. Proceedings of Programming Symposium, Lecture Notes in Computer Science, vol. 19. New York: Springer-Verlag, pp. 408-423.
44. Reynolds, John C. (1983) Types, abstraction and parametric polymorphism. In Proceedings of the IFIP Congress, pp. 513-523.
45. Rinard, M., Salcianu, A. & Bugrara, S. (2004) A classification system and analysis for aspect-oriented programs. ACM SIGSOFT Softw. Eng. Notes 29(6), 147-158. (Pubitemid 40787577)
46. Ruby, C. & Leavens, G. T. (2000) Safely creating correct subclasses without seeing superclass code. In Proceedings of the 15th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'00), New York, NY, USA: ACM, pp. 208-228. (Pubitemid 32396362)
47. Salcianu, A. & Rinard, M. C. (2005) Purity and side effect analysis for JAVA programs. In Proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'05), Berlin, Heidelberg: Springer-Verlag, Lecture Notes in Computer Science, vol. 3385, pp. 199-215. (Pubitemid 41231362)
48. Schrijvers, T. & Oliveira, Bruno C. d. S. (2011) Monads, zippers and views: Virtualizing the monad stack. In Proceedings of the 16th International Conference on Functional Programming (ICFP'11), New York, NY, USA: ACM, pp. 32-44.
49. Stata, R. & Guttag, J. V. (1995) Modular reasoning in the presence of subclassing. In Proceedings of the 10th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'95), New York, NY, USA: ACM, pp. 200-214.
50. Tanter, É . (2008) Expressive scoping of dynamically deployed aspects. In Proceedings of the 7th International Conference on Aspect-Oriented Software Development (AOSD'08), New York, NY, USA: ACM, pp. 168-179.
51. Voigtl̈ander, J. (2009) Free theorems involving type constructor classes. In Proceedings of the 14th International Conference on Functional Programming (ICFP'09), New York, NY, USA: ACM, pp. 173-184.
52. Wadler, P. (1989) Theorems for free! In Proceedings of the 4th International Conference on Functional Programming and Computer Architecture (FPLCA'89), New York, NY, USA: ACM, pp. 347-359.
53. Wadler, P. (1992a) The essence of functional programming. In Proceedings of the 19th Symposium on Principles of Programming Languages (POPL'92), New York, NY, USA: ACM, pp. 1-14.
54. Wadler, P. (1992b) Monads for functional programming. Proceedings of the Marktoberdorf Summer Schoolon Program Design Calculi, NATO ASI Series F: Computer and Systems Sciences, vol. 118. New York: Springer-Verlag
55. Wang, M. & Oliveira, Bruno C. d. S. (2009) What does aspect-oriented programming mean for functional programmers? In Proceedings of the 8th Workshop on Generic Programming (WGP'09), New York, NY, USA: ACM, pp. 37-48.