Publisher
Springer International Publishing
Reference12 articles.
1. S. Alagić, Type checking OQL queries in the ODMG type systems. ACM Trans. Database Syst. 24(3), 319–360 (1999)
2. S. Alagić, A. Fazeli, Verifiable object-oriented transactions, in Proceedings of COB 2012 (Concurrent Objects and Beyond), ed. by G. Agha, A. Igarashi, N. Kobayashi, H. Masuhara, S. Matsuoka, E. Shibayama, K. Taura. Lecture Notes in Computer Science, vol. 8665 (Springer, Berlin, 2014), pp. 251–275
3. S. Alagić, M. Royer, Genericity in Java: persistent and database systems implications. VLDB J. 17(4), 847–878 (2007)
4. S. Alagić, P. Bernstein, R. Jairath, Object-oriented constraints for XML schema, in Proceedings of International Conference on Objects and Databases (ICOODB 2010), ed. by A. Dearle, R.V. Zicari. Lecture Notes in Computer Science, vol. 6348 (Springer, Berlin, 2010), pp. 101–118
5. I.G. Baltopoulos, J. Borgstrom, A.G. Gordon, Maintaining database integrity with refinement types, in Proceedings of Object-Oriented Programming (ECOOP) 2011, ed. by M. Mezini. Lecture Notes in Computer Science, vol. 6813 (Springer, Berlin, 2011), pp. 484–509