Author:
Alagić Suad,Solorzano Jose,Gitchell David
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Abadi, M., Cardelli, L.: On Subtyping and Matching, Proceedings of ECOOP '96, Lecture Notes in Computer Science 1098. Springer-Verlag (1996) 145–167.
2. Alagić, S.: A Temporal Constraint System for Object-Oriented Databases, Constraint Databases and Applications, Proceedings of CDB '97 and CP '96 Workshops, Lecture Notes in Computer Science 1191. Springer-Verlag (1997) 208–218.
3. Alagić, S.: The ODMG Object Model: Does it Make Sense? Proceedings of the OOPSLA '97 Conference. ACM (1997) 253–270.
4. Alagić, S.: Constrained Matching is Type Safe, Proceedings of the 6th Database Programming Language Workshop (DBPL), 1997, Lecture Notes in Computer Science. Springer-Verlag (1998) (to appear).
5. Alagić, S., Alagić, M.: Order-Sorted Model Theory for Temporal Executable Specifications, Theoretical Computer Science 179 (1997) 273–299.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献