Temporal object-oriented programming

Computer Journal

Volumn 43, Issue 6, 2000, Pages 491-511

  Alagić, Suad ^a  

^a Wichita State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION; CONSTRAINT THEORY; DATABASE SYSTEMS; MATHEMATICAL MODELS; SOFTWARE PROTOTYPING;

CONSTRAINT LANGUAGE SYSTEMS; PROGRAMMING METHODOLOGIES;

OBJECT ORIENTED PROGRAMMING;

EID: 0034461592     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/43.6.491     Document Type: Article

References (35)

1. Meyer, B. (1988) Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs, NJ.
2. Meyer, B. (1992) Eiffel: The Language. Prentice-Hall, Englewood Cliffs, NJ.
3. Stroustrup, B. (1991) The C++ Programming Language (2nd edn). Addison-Wesley, New York.
4. Alagić, S., Solorzano, J. and Gitchell, D. (1998) Orthogonal to the Java imperative. In Jul, E. (ed.), ECOOP'98 - Object-Oriented Programming, Brussels, Belgium. Lecture Notes in Computer Science, 1445, 212-233. Springer-Verlag, Berlin.
5. Dahl, O. J. and Nygaard, K. (1966) Simula - an Algol-based simulation language. Commun. ACM, 9, 671-678.
6. Kroger, F. (1987) Temporal Logic of Programs. EATCS Monograph on Theoretical Computer Science. Springer-Verlag, Berlin.
7. Lamport, L. (1983) Specifying concurrent program modules. ACM Trans. Programming Languages and Systems, 5, 190-222.
8. Fisher, M. (1994) A survey of concurrent METATEM - the language and its applications. In Gabbay, D. M. and Ohlbach, H.-J. (eds), Proc. Int. Temporal Logic Conference, Bonn, Germany. Lecture Notes in Artificial Intelligence, 827, 480-505. Springer-Verlag, Berlin.
9. Fiadeiro, J. L. and Maibaum, T. (1994) Sometimes 'Tomorrow' is 'Sometime': Action refinement in a temporal logic of objects. In Gabbay, D. M. and Ohlbach, H.-J. (eds), Proc. Int. Temporal Logic Conference, Bonn, Germany. Lecture Notes in Artificial Intelligence, 827, 48-66. Springer-Verlag, Berlin.
10. Futatsugi, K., Goguen, J., Jouannaud, J. and Meseguer, J. (1985) Principles of OBJ2. In Reid, B. K. (ed.), Proc. 12th Symp. on Principles of Programming Languages, New Orleans, LA, pp. 52-66. ACM Press, New York.
11. Goguen, J. and Meseguer, J. (1986) EQLOG: Equality, types and generic modules for logic programming. In de Groot, D. and Lindstrom, G. (eds), Logic Programming: Functions, Relations and Equations, pp. 295-363. Prentice-Hall, Englewood Cliffs, NJ.
12. Goguen, J. and Meseguer, J. (1987) Unifying functional, object-oriented and relational programming with logical semantics. In Shriver, B. and Wegner, P. (eds), Research Directions in Object-oriented Programming, pp. 417-477. MIT Press, Cambridge, MA.
13. Alagić, S., Sunderraman, R. and Bagai, R. (1994) Declarative object-oriented programming: inheritance, subtyping and prototyping. In Tokoro, M. and Pareschi, R. (eds), ECOOP'94 - Object-Oriented Programming, Bologna, Italy. Lecture Notes in Computer Science, 821, 236-259. Springer-Verlag, Berlin.
14. Alagić, S. and Sunderraman, R. (1994) Expressibility of typed logic paradigms for object-oriented databases. In Bowers, D. (ed.), Proc. BNCOD-12, Guildford, UK. Lecture Notes in Computer Science, 826, 73-89. Springer-Verlag, Berlin.
15. Meseguer, J. (1993) Solving the inheritance anomaly in concurrent object-oriented programming. In Nierstrasz, O. (ed.), ECOOP'93 - Object-Oriented Programming, Kaiserslautern, Germany. Lecture Notes in Computer Science, 707, 220-246. Springer-Verlag, Berlin.
16. Meseguer, J. and Qian, X. (1993) A logical semantics for object-oriented databases. In Buneman, P. and Jajodia, S. (eds), Proc. ACM SIGMOD Int. Conf. on Management of Data, Washington, DC, pp. 89-98. ACM Press, New York.
17. Kifer, M., Lausen, G. and Wu, J. (1995) Logical foundation of object-oriented and frame-based languages. J. ACM, 42, 741-843.
18. Wieringa, R., de Jonge, W. and Spruit, P. (1994) Roles and dynamic subclasses: a modal logic approach. In Tokoro, M. and Pareschi, R. (eds), ECOOP'94 - Object-Oriented Programming, Bologna, Italy. Lecture Notes in Computer Science, 821, 33-59. Springer-Verlag, Berlin.
19. Alagić, S. (1998) Constraint matching is type safe. In Cluet, S. and Hull, R. (eds), Proc. 6th DBPL, Estes Park, CO. Lecture Notes in Computer Science, 1369, 78-96. Springer-Verlag, Berlin.
20. Liskov, B. and Wing, J. M. (1994) A behavioral notion of subtyping. ACM Trans. Programming Languages and Systems, 16, 1811-1841.
21. Bruce, K. and Mitchell, J. C. (1992) PER models of subtyping, recursive types and higher-order polymorphism. In Proc. Conf. on Principles of Programming Languages, pp. 316-327. ACM Press, New York.
22. Alagić, S. and Alagić, M. (1997) Order-sorted model theory for temporal executable specifications. Theoret. Comp. Sci., 179, 273-299.
23. Cardelli, L. (1988) A semantics of multiple inheritance. Inf. Comput., 76, 138-164.
24. Abadi, M. and Manna, Z. (1989) Temporal logic programming. J. Symbolic Comput., 8, 277-295.
25. Baudinet, B. (1992). A simple proof of the completeness of temporal logic programming. In Cerro, L. F. D. and Penttonen, M. (eds), Intensional Logics for Programming. Studies in Logic and Computation, 1, 51-83. Clarendon Press, Oxford.
26. Cook, W. R. (1989) A proposal for making Eiffel type safe. Comp. J., 32, 305-311.
27. Bruce, K. (1993) Safe type checking in a statically typed object-oriented programming language. In Proc. Conf. on Principles of Programming Languages, Charleston, VA, pp. 285-298. ACM Press, New York.
28. Bruce, K., Crabtree, J., Murtagh, T. P., van Gent, R., Dimock, A. and Muller, R. (1993) Safe and decidable type checking in an object-oriented language. In Paepcke, A. (ed.), Proc. OOPSLA'93, Washington, DC. ACM SIGPLAN Notices, 28, 29-46. ACM Press, New York.
29. Cook, W. R., Hill, W. L. and Canning, P. S. (1990) Inheritance is not subtyping. In Proc. Conf. on Principles of Programming Languages, San Francisco, CA, pp. 125-135. ACM Press, New York.
30. Lloyd, J. W. (1987) Foundations of Logic Programming. Springer-Verlag, Berlin.
31. Goguen, J. and Meseguer, J. (1987) Models and equality for logical programming. In Ehrig, H., Levi, G., Kowalski, R. and Montanari, U. (eds), Proc. TAPSOFT'87. Lecture Notes in Computer Science, 250, 1-22. Springer-Verlag, Berlin.
32. Alagić, S. (2000) Semantics of temporal classes. Information and Computation, 163, 60-102.
33. Alagić, S. (1997) A temporal constraint system for object-oriented databases. In Gaede, V., Brodsky, A., Gunther, O., Srivastava, D., Vianu, V. and Wallace, M. (eds), Constraint Databases and Applications, Proc. CDB'97 and CP'96, Delphi, Greece and Cambridge, MA. Lecture Notes in Computer Science, 1191, 208-218. Springer-Verlag, Berlin.
34. Alagić, S. (1995) A statically typed, temporal object-oriented database technology. IEICE Trans. Inf. Syst., 78, 1469-1476.
35. Bruce, K., Schuett, A. and van Gent, R. (1995) Poly-TOIL: A type-safe polymorphic object-oriented language. In Olthoff, W. (ed.), ECOOP'95 - Object-Oriented Programming, Aarhus, Denmark. Lecture Notes in Computer Science, 1098, 3-25. Springer-Verlag, Berlin.