( en | de | ru )

 

Disambiguation of "Kassios, Ioannis T."

Author of the publication

copydeleteadd this publication to your clipboard
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions.

, , , and . ECOOP, volume 7920 of Lecture Notes in Computer Science, page 451-476. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

T Peters

T Frieberg

T Neumann

T Groth

T Dresbach

 

Other publications of authors with the same name

The dynamic frames theory.. Formal Aspects Comput., 23 (3): 267-288 (2011)A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness., and . ESOP, volume 7792 of Lecture Notes in Computer Science, page 149-168. Springer, (2013)Comparing Verification Condition Generation with Symbolic Execution: An Experience Report., , and . VSTTE, volume 7152 of Lecture Notes in Computer Science, page 196-208. Springer, (2012)GLU embedded in C++: a marriage between multidimensional and object-oriented programming., and . Softw. Pract. Exp., 34 (7): 609-630 (2004)Noema: A Metalanguage for Scripting Versionable Hypertexts., and . DCW, volume 2468 of Lecture Notes in Computer Science, page 228-239. Springer, (2002)Theories, Implementations, and Transformations., and . ZB, volume 2272 of Lecture Notes in Computer Science, page 1-21. Springer, (2002)Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions., , , and . ECOOP, volume 7920 of Lecture Notes in Computer Science, page 451-476. Springer, (2013)Decoupling in Object Orientation.. FM, volume 3582 of Lecture Notes in Computer Science, page 43-58. Springer, (2005)Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions.. FM, volume 4085 of Lecture Notes in Computer Science, page 268-283. Springer, (2006)