Typing context-dependent behavioural variations

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 109, Issue , 2013, Pages 28-33

  Degano, Pierpaolo ^b   Ferrari, Gian Luigi ^b   Galletta, Letterio ^b   Mezzetti, Gianluca ^a  

^a UNIVERSITY OF PISA   (Italy)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL RESEARCH; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONAL PROGRAMMING; SEMANTICS;

ANALYSIS TECHNIQUES; CONTEXT ORIENTED PROGRAMMING; CONTEXT-DEPENDENT BEHAVIOURAL VARIATIONS; DYNAMIC SEMANTIC; FUNCTIONAL LANGUAGES; PROGRAM FRAGMENTS; RUNTIMES; TYPE SYSTEMS;

STATIC ANALYSIS;

EID: 84943597222     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.109.5     Document Type: Conference Paper

References (10)

1. M. Appeltauer, R. Hirschfeld, M. Haupt & H. Masuhara (2011): ContextJ: Context-oriented Programming with Java. Computer Software 28(1).
2. Massimo Bartoletti, Pierpaolo Degano & Gian-Luigi Ferrari (2009): Planning and verifying service composition. Journal of Computer Security 17(5), pp. 799–837, doi:10.3233/JCS-2009-0357.
3. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari & Roberto Zunino (2009): Local policies for resource usage analysis. ACM Trans. Program. Lang. Syst. 31(6), doi:10.1145/1552309.1552313.
4. Dave Clarke & Ilya Sergey (2009): A semantics for context-oriented programming with layers. In: International Workshop on Context-Oriented Programming, COP’09, ACM, New York, NY, USA, pp. 10:1–10:6, doi:10.1145/1562112.1562122.
5. Pascal Costanza (2005): Language constructs for context-oriented programming. In: In Proceedings of the Dynamic Languages Symposium, ACM Press, pp. 1–10, doi:10.1145/1146841.1146842.
6. Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta & Gianluca Mezzetti (2012): Typing for coordinating Secure Behavioural Variations. In: Coordination Models and Languages, Lecture Notes in Computer Science 7274, Springer, pp. 261 – 276, doi:10.1007/978-3-642-30829-1_18.
7. R. Hirschfeld, A. Igarashi & H. Masuhara (2011): ContextFJ: a minimal core calculus for context-oriented programming. In: Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, ACM, pp. 19–23, doi:10.1145/1960510.1960515.
8. Robert Hirschfeld, Pascal Costanza & Oscar Nierstrasz (2008): Context-Oriented Programming. Journal of Object Technology, March-April 2008, ETH Zurich 7(3), pp. 125–151, doi:10.5381/jot.2008.7.3.a4.
9. Kohei Honda, Vasco Thudichum Vasconcelos & Makoto Kubo (1998): Language Primitives and Type Discipline for Structured Communication-Based Programming. In: Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems, Springer-Verlag, London, UK, pp. 122–138, doi:10.1007/BFb0053567.
10. Atsushi Igarashi, Benjamin C. Pierce & Philip Wadler (2001): Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23, pp. 396–450, doi:10.1145/503502.503505.