BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kassios:Ioannis_T=

Contributed to:

ECOOP 20132013
ESOP 20132013
FM 20062006
FM 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.