Order-sorted model theory for temporal executable specifications

Theoretical Computer Science

Volumn 179, Issue 1-2, 1997, Pages 273-299

  Alagić, Suad ^a   Alagić, Mara ^b  

^a Wichita State University   (United States)

^b WICHITA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL LINGUISTICS; CONSTRAINT THEORY; DATA STRUCTURES; FORMAL LOGIC; QUERY LANGUAGES; SOFTWARE PROTOTYPING;

HORN CLAUSE LOGIC; ORDER SORTED ALGEBRA; TEMPORAL PROGRAMMING PARADIGM;

OBJECT ORIENTED PROGRAMMING;

EID: 0031169953     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00134-X     Document Type: Article

References (21)

1. M. Abadi and Z. Manna, Temporal logic programming, in: Proc. Symp. on Logic Programming '87 (IEEE Computer Society Press, Silver Spring, MD, 1987) 4-16.
2. S. Alagić, R. Sunderraman and R. Bagai, Declarative object-oriented programming: inheritance, subtyping and prototyping, in: Proc. ECOOP '94, Lecture Notes in Computer Science, Vol. 821 (Springer, Berlin, 1994) 236-259.
3. S. Alagić and R. Sunderraman, Expressibility of typed logic paradigms for object-oriented databases, Proc. BNCOD-12, Lecture Notes in Computer Science, Vol. 826 (Springer, Berlin, 1994) 73-89.
4. M. Baudinet, A simple proof of the completeness of temporal logic programming, in: L.F. Del Cerro and M. Penttonen, eds., Intensional Logics for Programming, Studies in Logic and Computation, Vol. 1 (Clarendon Press, Oxford, 1992) 51-83.
5. J.L. Fiadeiro and T. Maibaum, Sometimes "tomorrow" is "sometime" action refinement in a temporal logic of objects, Proc. 2nd Internet. Temporal Logic Conference '94, Lecture Notes in AI (Springer, Berlin, 1994) 48-66.
6. M. Fisher, A survey of concurrent METATEM - the language and its applications, Proc. 2nd Internet Temporal Logic Conf., Lecture Notes in AI (Springer, Berlin, 1994) 480-505.
7. K. Futatsugi, J. Goguen, J. Jouannaud and J. Meseguer, Principles of OBJ2, in: B.K. Reid, ed., Proc. POPL '85 (ACM, New York, 1985) 52-66.
8. J. Goguen and J. Meseguer. EQLOG: Equality, types, and generic modules for logic programming, in: D. Degroot and G. Lindstrom, eds., Logic Programming: Functions, Relations and Equations (Prentice Hall, Englewood Cliffs, NJ, 1986) 295-363.
9. J. Goguen and J. Meseguer, Unifying functional, object-oriented and relational programming with logical semantics, in: B. Shriver and P. Wegner, eds., Research Directions in Object-Oriented Programming (MIT Press, Cambridge, MA, 1987) 417-477.
10. J. Goguen and J. Meseguer, Models and equality for logical programming, in: H. Ehrig, G. Levi, R. Kowalski and U. Montanari, eds., Proc. of TAPSOFT '87, Lecture Notes in Computer Science, Vol. 250 (Springer Berlin, 1987) 1-22.
11. J. Goguen and J. Meseguer, Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations, Theoret. Comput. Sci. 105 (1992) 217-273.
12. M. Kifer, G. Lausen and J. Wu, Logical foundation of object-oriented and frame-based languages. Technical Report 93/06, Department of Computer Science, SUNY at Stony Brook, 1993.
13. F. Kroger, Temporal Logic of Programs, EATCS Monograph on Theoretical Computer Science (Springer, Berlin, 1987).
14. L. Lamport, Specifying concurrent program modules, ACM Trans. Programming Languages Systems 5 (1983) 190-222.
15. J.W. Lloyd, Foundations of Logic Programming (Springer, Berlin, 1987).
16. J. Meseguer and X. Qian, A logical semantics for object-oriented databases, in: Proc. ACM-SIGMOD '93 (ACM, New York, 1993) 89-98.
17. J. Meseguer, Solving the inheritance anomaly in concurrent object-oriented programming, in: Proc. ECOOP '93, Lecture Notes in Computer Science, Vol. 707 (Springer, Berlin, 1993) 220-246.
18. M.A. Orgun and W.W. Wadge, Theory and practice of temporal logic programming, in: Intensional Logics for Programming, Studies in Logic and Computation, Vol. 1 (Clarendon Press, Oxford, 1992) 23-50.
19. A. Pnueli, The temporal logic of programs, in: IEEE Symp. on Foundations of Computer Science (IEEE, New York, 1977) 46-57.
20. P. Spruit, R. Wieringa and J.-J. Meyer, Dynamic database logic: the first-order case, in: Modeling Database Dynamics, 4th Internet. Workshop on Foundations of Models and Languages for Data and Objects, Workshops in Computing (Springer, Berlin, 1993) 103-120.
21. R. Wieringa, W. de Jonge and P. Spruit, Roles and dynamic subclasses: a modal logic approach, in: Proc. ECOOP '94, Lecture Notes in Computer Science, Vol. 821 (Springer, Berlin, 1994) 33-59.