Language, Objects, and Intentionality
No abstract available.
DOI 10.1007/3-540-45337-7_1
Related papers
- FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps PLDI 2014
- Lessons Learned from Implementing the CORBA Persistent Object Service OOPSLA 1996
- Notation and representation in collaborative object-oriented design: an observational study OOPSLA 2007
- Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems OOPSLA 2021
- Messages as Active Agents POPL 1982
- Type Abstraction for Relaxed Noninterference ECOOP 2017
- Harmonizing classes, functions, tuples, and type parameters in virgil iii PLDI 2013
- Micro patterns in Java code OOPSLA 2005