Travelled to:1 × Canada
1 × France
1 × Italy
1 × United Kingdom
Collaborated with:∅ E.Kritikos S.Heule P.Müller A.J.Summers
Talks about:abstract (2) verif (2) frame (2) disciplin (1) backpoint (1) restrict (1) function (1) disjoint (1) without (1) support (1)
Person: Ioannis T. Kassios
DBLP: Kassios:Ioannis_T=
Contributed to:
2013
2013
20062005Wrote 4 papers:
- ECOOP-2013-HeuleKMS #abstraction #generative #logic #verification
- Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions (SH, ITK, PM, AJS), pp. 451–476.
- ESOP-2013-KassiosK #verification
- A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness (ITK, EK), pp. 149–168.
- FM-2006-Kassios #dependence #strict
- Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions (ITK), pp. 268–283.
- FM-2005-Kassios #object-oriented
- Decoupling in Object Orientation (ITK), pp. 43–58.