A semantics for context-oriented programming with layers

International Workshop on Context-Oriented Programming, COP '09

Volumn , Issue , 2009, Pages

  Clarke, Dave ^a   Sergey, Ilya ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ASPECT-ORIENTED PROGRAMMING; DEGREE OF FLEXIBILITY; DYNAMIC SEMANTIC; FEATHERWEIGHT JAVA; FORMAL SEMANTICS; STATIC TYPE SYSTEMS;

COMPUTER SYSTEMS PROGRAMMING; FORMAL METHODS; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; QUERY LANGUAGES; SEMANTICS;

OBJECT ORIENTED PROGRAMMING;

EID: 70350676649     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1562112.1562122     Document Type: Conference Paper

References (16)

1. Dave Clarke, Pascal Costanza, and Éric Tanter. How should context-escaping closures proceed? Submitted to COP2009, 2009.
2. Pascal Costanza and Robert Hirschfeld. Language constructs for context-oriented programming: an overview of contextl. In DLS '05: Proceedings of the 2005 symposium on Dynamic languages, pages 1-10, New York, NY, USA, 2005. ACM.
3. Mariangiola Dezani-Ciancaglini, Paola Giannini, and Oscar Nierstrasz. A Calculus of Evolving Objects. In MPOOL'08, 2008. http://www.di.unito.it/ dezani/papers/dgn.pdf.
4. Andrew Duncan. Objective- C Pocket Reference. O'Reilly & Associates, Inc., Sebastopol, CA, USA, 2002.
5. Rich Hickey. The Clojure programming language. In DLS '08: Proceedings of the 2008 symposium on Dynamic languages, pages 1-1, New York, NY, USA, 2008. ACM.
6. Robert Hirschfeld, Pascal Costanza, and Oscar Nierstrasz. Context-oriented programming. Journal of Object Technology, March-April 2008, ETH Zurich, 7(3):125-151, 2008.
7. Atsushi Igarashi, Benjamin Pierce, and Philip Wadler. Featherweight Java: A Minimal Core Calculus for Java and GJ. In ACM Transactions on Programming Languages and Systems, pages 132-146, 1999.
8. Oleg Kiselyov, Chung chieh Shan, and Amr Sabry. Delimited dynamic binding. SIGPLAN Not., 41(9):26-37, 2006.
9. Guillaume Laforge. Groovy: An agile dynamic language for the Java Platform, 2008.
10. Jeffrey R. Lewis, John Launchbury, Erik Meijer, and Mark Shields. Implicit parameters: Dynamic scoping with static types. In POPL, pages 108-118, 2000.
11. Luc Moreau. A syntactic theory of dynamic binding. Higher- Order and Symbolic Computation, 11:727-741, 1998.
12. Aleksandar Nanevski, Frank Pfenning, and Brigitte Pientka. Contextual modal type theory. ACM Trans. Comput. Logic, 9(3):1-49, 2008.
13. Martin Odersky. The Scala Language Specification. Available from http://www.scala-lang.org/, 2004.
14. Benjamin C. Pierce. Types and programming languages. MIT Press, Cambridge, MA, USA, 2002.
15. Hans Schippers, Dirk Janssens, Michael Haupt, and Robert Hirschfeld. Delegation-based semantics for modularizing crosscutting concerns. SIGPLAN Not., 43(10):525-542, 2008.
16. Eddy Truyen. Dynamic and Context-Sensitive Composition in Distributed Systems. PhD thesis, K.U.Leuven, Belgium, November 2004