|
|
Interests: object oriented refinement,
programming theories,
formal language design,
formal semantics.
PHD Thesis:
[
2001
--
Current
]
N/A
MSC Thesis:
[
2000
--
2001
]
Theory theory (and an attempt to orient
objections to object orientation)
2004:
- Ioannis T. Kassios.
``Object Orientation in Predicative Programming, Unification and Decoupling in Object Orientation'', CSRG Technical Report, Computer Systems Research Group, University of Toronto, October, 2004
PS
PDF
Abstract
- Nikolaos S. Papaspyrou and Ioannis T. Kassios.
``GLU(nat) Embedded in C++: a Marriage between Multidimensional and Object Oriented Programming'', Software: Practice and Experience, vol. 34, pp. 609-630, July, 2004
PS
PDF
Abstract
- Ioannis T. Kassios.
``Objects as Predicates'', CSRG Technical Report, Computer Systems Research Group, University of Toronto, February, 2004
PS
PDF
Abstract
2002:
- E.C.R.Hehner and I.T.Kassios.
`` Theories, Implementations, and Transformations'', in ZB2002 second annual Z and B conference, Grenoble, France, January, 2002
PS
PDF
Abstract
- Ioannis T. Kassios.
``Unifying Formal Theories with Object Orientation'', CSRG Technical Report, Computer Systems Research Group, University of Toronto, October, 2002
PS
PDF
Abstract
- Ioannis T. Kassios, M. C. Schraefel.
``Noema, a Metalanguage for Scripting Versionable Hypertexts'', in Proceedings of DCW2002 4th International Conference on Distributed Communities on the Web, Sydney Australia, April, 2002
PS
PDF
Abstract
2001:
- Ioannis T. Kassios.
``Theory Theory (and an Attempt to Orient Objections to Object Orientation)''
, Master Thesis,
Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, 2001
PS
PDF
Abstract
previous:
- Ioannis T. Kassios and Marianna Katsoyannou and Grigoris Steinhauer.
``An Integrated Environment for the Support of the Creation of General Language Dictionaries'', in ``4th International Conference of Greek Linguistics, Nicosia, Cyprus'', 1999
PS
PDF
Abstract
|
