Beyond AOP: Toward naturalistic programming

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2003, Pages 198-207

  Lopes, Cristina Videira ^a   Dourish, Paul ^a   Lorenz, David H ^b   Lieberherr, Karl ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b Northeastern University   (United States)

Author keywords

Aspect Oriented Programming; Cognitive Foundations of Programming; Language design; Natural Language

Indexed keywords

ASPECT-ORIENTED; ASPECT-ORIENTED PROGRAMMING LANGUAGES; COGNITIVE FOUNDATIONS OF PROGRAMMING; COMPLEX SYSTEMS; IDEALIZED MODELS; KEY FACTORS; LANGUAGE DESIGN; MATHEMATICAL FUNCTIONS; NATURAL LANGUAGES; OBJECT-ORIENTED LANGUAGES; PROGRAMMING LANGUAGE; PROGRAMMING PARADIGMS; SOFTWARE UNDERSTANDING; STANDING PROBLEMS;

ASPECT ORIENTED PROGRAMMING; COMPUTER SOFTWARE MAINTENANCE; COMPUTER SYSTEMS PROGRAMMING; FUNCTIONS; MATHEMATICAL PROGRAMMING; PROBLEM ORIENTED LANGUAGES;

OBJECT ORIENTED PROGRAMMING;

EID: 70450234646     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/949344.949400     Document Type: Conference Paper

References (60)

1. AspectJ Web site. http://aspectj.org
2. Ballard, B. and Biemann, A. 1979. Programming in Natural Language: NLC as a Prototype. Proc. ACM/CSC-ER Annual Conference, 228-237. (Pubitemid 11477647)
3. Bergantz, D., and Hassell, J. 1991. Information relationships in PROLOG programs: how do programmers comprehend functionality? Intl. Jnl. Man-Machine Studies, 35 (3), 313-328.
4. Branco, A. 2001 Without an Index: A Lexicalist Account of Binding Theory. Proc. 8th Intl. HPSG Conference (Norway).
5. Brna, P., Pain, H., and du Boulay, B. 1991. Teaching and Learning Prolog: Supporting the Programmer. Instructional Science, 20(2-3), 81-87.
6. Brna, P., du Boulay, B. and Pain, H. 1999. Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study. Cognitive Science & Technology. Ablex.
7. Chierchia, G. 1988. Aspects of a categorial theory of binding. In Oehrle, R., Bach, E. and Wheeler, D. (Eds), Categorial Grammars and Natural Language Structures, D. Reidel, Dordrecht. 125-151.
8. Chomsky, N. 1973. Conditions on Transformations. In Anderson, S. and Kiparsky, P. (Eds), A Festschrift for Morriss Halle, 232-286. New York: Holt, Reinhart and Winston.
9. Cypher, A. (ed.) 1993. Watch What I Do: Programming by Demonstration. Cambridge, MA: MIT Press.
10. Cypher, A. and Smith, D. 1995. KidSim: End User programming of Simulations. Proc. ACM Conf. Human Factors in Computing Systems CHI'95 (Denver, CO). New York: ACM.
11. Duncan, D., Brna, P. and Morss, L. 1994. A Bayesian Approach to Diagnosing Problems with Prolog Control Flow. In Proceedings of the 4th International Conference on User Modeling, (Cape Cod, MA).
12. Emerson E. A., and Clark E. M. 1982. Using branching time temporal logic to synthesize synchronization skeletons. Sci. Comput. Prog. 2.
13. Ernst, E. and Lorenz, D.H. Aspects and Polymorphism in AspectJ. In Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, pages 150-157, Boston, Massachusetts, March 17-21, 2003. AOSD 2003, ACM.
14. Georgeff, M. 1983. Communication and interaction in multiagent planning. In Proceedings of the American Association for Artificial Intelligence. AAAI, Menlo Park, Calif.
15. Greene, T. 1989. Cognitive Dimensions of Notations. In People and Computers V: Proceedings of HCI'89 (ed. Sutcliffe and Macaulay), 443-460. Cambridge: Cambridge University Press.
16. Greene, T. 1990. The Cognitive Dimension of Viscosity: A Sticky Problem for HCI. Proc. IFIP Conf. On Computer-Human Interaction Interact'90.
17. Greene, T. and Petre, M. 1996. Usability analysis of visual programming environments: a 'cognitive dimensions' framework. J. Visual Languages and Computing, 7, 131-174. (Pubitemid 126167522)
18. Halpern, B., and Owicki, S. 1983. Modular verification of computer communication protocols. IEEE Trans. Communications COM-31.
19. Kiczales, G., des Rivères J., Bobrow D. 1991. The Art of the Metaobject Protocol. MIT Press.
20. Kiczales, G., Lamping, J., Mendhekar, M., Maeda, C., Lopes, C., Loingtier, J-M and Irwin, J. Aspect-Oriented Programming. In proc. European Conference on Object-Oriented Programming (ECOOP'97). Springer-Verlag LNCS n.1241. 1997.
21. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J. and Griswold, W. 2001. An overview of AspectJ. In proc. European Conference on Object-Oriented Programming (ECOOP'01). Springer-Verlag LNCS n.2072.
22. Kojarski, S., Lieberherr, K., Lorenz, D.H., and Hirschfeld, R. Aspectual Reflection. In Proceedings of the AOSD 2003 Workshop on Software-engineering Properties of Languages for Aspect Technologies, Boston, Massachusetts, AOSD 2003, March 17-21, 2003.
23. Kojarski, S. and Lorenz, D.H. Unplugging Components using Aspects. In Proceedings of the ECOOP 2003 Eighth International Workshop on Component-Oriented Programming. Darmstadt, Germany, July 21, 2003.
24. Lakoff, G. 1987. Women, Fire, and Dangerous Things: What Categories Reveal about the Mind. Chicago. University of Chicago Press.
25. Lakoff, G. 1993. The Contemporary Theory of Metaphor. In Ortony, A. (ed), Metaphor and Thought (2nd ed). New York: Cambridge University Press.
26. Lakoff, G. and Johnson, M. 1980. Metaphors We Live By. Chicago: University of Chicago Press.
27. Lakoff, G., and Johnson, M. 1999. Philosophy in the Flesh: The Embodied Mind and Its Challenge to Western Thought. New York: Basic Books.
28. Lakoff, G. and Nunez, R. 2000. Where Mathematics Comes From: How the Embodied Mind Brings Mathematics Into Being. New York: Basic Books.
29. Lamport L. 1983. Specifying concurrent program modules. ACM Trans. Programming Languages and Systems 5, 2.
30. Lave, J. 1988. Cognition in Practice. Cambridge: Cambridge University Press.
31. Lieberherr, K., Lorenz, D.H., and Ovlinger, J. Aspectual Collaborations: Combining Modules and Aspects. The Computer Journal 46(5):542-565, September 2003.
32. Lieberherr, K., Silva-Lepe, I., Xiao, C. Adaptive Object-Oriented Programming Using Graph-Based Customization. Communications of the ACM 37(5): 94-101. 1994.
33. Lieberman, H. (ed.) 2001. Your Wish is My Command: Programming by Example. San Francisco, CA: Morgan Kaufmann.
34. Lopes, C. and Lieberherr, K. 1994. Abstracting Function-to- Process Relations in Concurrent Object-Oriented Applications. In proc. European Conference on Object-Oriented Programming (ECOOP'94). Springer-Verlag LNCS 821.
35. Lopes, C., 1996. Adaptive Parameter Passing. In Proc. International Symposium on Object Technologies for Advanced Software (ISOTAS'96). Springer-Verlag LNCS n.1049. Japan, 1996.
36. Lopes, C. 1998. D: A Language Framework for Distributed Programming. Ph.D. Thesis, College of Computer Science, Northeastern University.
37. Lopes, C. and Kiczales, G. 1998. Recent Developments in AspectJ. In proc. of Aspect-Oriented Programming workshop at ECOOP'98. Springer-Verlag LNCS n. 1543.
38. Lopes, C. and Aguiar, P. 2003. Acoustic Modems for Ubiquitous Computing. In IEEE Pervasive Computing, Mobile and Ubiquitous Systems. Volume 2, Number 3, July-September.
39. Lorenz, D.H. and Vlissides, J. Pluggable Reflection: Decoupling Meta-Interface and Implementation. In Proceedings of the 25th International Conference on Software Engineering, pages 3--13, Portland, Oregon May 3-10, 2003. ICSE 2003, IEEE Computer Society.
40. Manna Z., and Wolper P. 1984. Synthesis of communicating processes from temporal logic specifications. ACM Trans. Programming Languages and Systems 6, 1.
41. Manna Z., and Pnueli A. 1984. Adequate proof principles for invariance and liveness properties of concurrent programs. Sci. Comput. Prog. 4, 3.
42. Miller, L.A. 1981. Natural Language Programming: Styles, Strategies, and Contrasts. IBM Systems Journal, 20(2), 184-215.
43. Nardi, B. 1993. A Small Matter of Programming: Perspectives on End User Computing. Cambridge, MA: MIT Press.
44. Nardi, B. and Miller, J. 1991. Twinkling Lights and Nested Loops: Distributed Problem Solving and Spreadsheet Development. Intl. Jnl. Man-Machine Studies, 34, 161-184.
45. Orgun, M. A. and Ma, W. 1994 An overview of temporal and modal logic programming. In Temporal Logic. First International Conference (ICTL'94), Lecture Notes in Computer Science No 827, (GABBAY D M and OHLBACH H J, Eds.), pp.445479, Springer Verlag, Bohn.
46. Owicki, S. and Lamport L. 1982. Proving liveness properties of concurrent programs. ACM Trans. Programming Languages and Systems 4, 3.
47. Pane, J., Ratanamahatana, C., and Myers, B. 2001. Studying the Language and Structure in Non-Programmers' Solutions to Programming Problems. Intl. Jnl. Human-Computer Systems, 54, 237-264.
48. Pane, J., Myers, B., and Miller, B. 2002. Using HCI Techniques to Design a More Usable Programming System. Proc. IEEE Symp. Human-Centered Computing Languages and Environments (Washington, D.C.), 198-206. Los Alamitos, CA: IEEE Computer Society.
49. Petre, M. and Blackwell, A. 1999. Mental Imagery in Program Design and Visual Programming. Intl. Jnl. Human-Computer Studies, 51(1), 7-30.
50. Pnueli, A. 1981. The temporal semantics of concurrent programs. Theoretical. Computer. Science 13.
51. Pollard, C. and Sag, I. 1992. Anaphors in English and the Scope of the Binding Theory. Linguistic Inquiry, 23, 261-305.
52. Pollard, C. and Sag, I. 1994. Head-Driven Phase Structure Grammar. Chicago: University of Chicago Press.
53. Price, D., Riloff E., Zachary J. and Harvey B. 2000. NaturalJava: A Natural Language Interface for Programming in Java. Proc. ACM Intelligent User Interfaces Conference.
54. Repenning, A. and Sumner, T. 1995. AgentSheets: A Medium for Creating Domain-Oriented Visual Languages. IEEE Computer, 28(3), 17-25.
55. Sammet, J. 1966. The Use of English as a Programming Language. Comm. ACM, 9(3), 228-230.
56. Shonle, M., Lieberherr, K. and Shah, A. 2003. XAspects: An Extensible System for Domain Specific Aspect Languages. In Proc. Object-Oriented Programming Systems, Languages and Applications (OOPSLA'03) Domain-Driven Development track.
57. Smith, B. 1982. Reflection and Semantics in a Procedural Language. LCS Technical Report. MIT.
58. Soloway, E., Bonar, J., and Ehrlich, K. 1989. Cognitive Strategies and Looping Constructs: An Empirical Study. In Soloway and Iyengar (eds), Empirical Studies of Programmers, 23-251. Washington, DC: Ablex.
59. Weidenbeck, S. 1985. Novice/Expert Differences in Programming Skills. Intl. Jnl. Man-Machine Studies, 23(4), 383-390.
60. Winkler, D., Kamins S. and DeVoto, J. 1994. Hypertalk 2.2: The Book. Random House.