Operational semantics of Framed Tempura

Journal of Logic and Algebraic Programming

Volumn 78, Issue 1, 2008, Pages 22-51

  Yang, Xiaoxiao ^a   Duan, Zhenhua ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

Consistency; Minimal model; Non monotonicity; Operational semantics; Temporal logic programming

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; INFORMATION THEORY; LOGIC PROGRAMMING; SEMANTICS;

CONSISTENCY; MINIMAL MODEL; NON-MONOTONICITY; OPERATIONAL SEMANTICS; TEMPORAL LOGIC PROGRAMMING;

TEMPORAL LOGIC;

EID: 56049086376     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2008.08.001     Document Type: Article

References (37)

1. Pnueli A. The temporal logic of programs. FOCS (1977) 46-57
2. Manna Z., and Pnueli A. Temporal Logic of Reactive and Concurrent Systems (1992), Springer-Verlag
3. Abadi M., and Manna Z. Temporal logic programming. J. Symb. Comput. 8 (1989) 277-295
4. Plotkin G.D. A Structural Approach to Operational Semantics. DAIMI FN-19 (1981), Computer Science Dept., Aarhus Univ., Denmark
5. Tarski A. A lattice theoretical fixpoint theroem and its application. Pacific J. Math. 5 2 (1955) 285-309
6. Hoare C.A.R. Communicating sequential processes. Commun. ACM 21 (1978) 666-677
7. Hoare C.A.R. Communicating Sequential Processes (1985), Prentice Hall International, London
8. R. Milner, A calculus of communicate systems, in: LNCS. Springer-Verlag, 1980.
9. Milner R. Communication and Concurrency (1989), Prentice Hall International, London
10. R.W.S. Hale, Programming in temporal logic. Ph.D. thesis, Trinity College Computer Laboratory, Cambridge University, Cambridge, England, TR No. 173, 1989.
11. Eric C.R. Hehner, A practical theory of programming, in: Science of Computer Programming. North-Holland, 1990, pp. 133-158.
12. Barringer H., Fisher M., et al. METATEM: an introduction. Formal Aspect Comput. 7 5 (1995) 533-549
13. Brzoska C. Programming in metric temporal logic. Theor. Comput. Sci. 202 1-2 (1998) 55-125
14. Fisher M. Temporal semantics for concurrent metatem. J. Symb. Comput. 22 (1996) 627-648
15. Rondogiannis P., et al. Branching-time logic programming: the language cactus and its applications. Comput. Lang. 24 (1998) 155-178
16. Z. Duan, An extended interval temporal logic and a framing technique for temporal logic programming, Ph.D. thesis (Technical Report No. 556), University of Newcastle upon Tyne, 1996.
17. Z. Duan, Temporal logic and temporal logic programming, Science Press, Beijing, ISBN:7-03-016651-5/TP.3158, 2006.
18. Z. Duan, X. Yang, M. Koutny, Framed temporal logic programming, Science of Computer Programming, vol. 70 (1), Elsevier North-Holland, 2008, pp. 31-61.
19. Duan Z., and Koutny M. A framed temporal logic programming language. J. Comput. Sci. Technol. 19 (2004) 341-351
20. Duan Z., Yang X., and Koutny M. Semantics of framed temporal logic programs. Proceedings of ICLP 2005, Spain. LNCS vol. 3668 (2005), Springer-Verlag 356-370
21. Duan Z., Koutny M., and Holt C. Projection in temporal logic programming. Proceeding of Logic Programming and Automatic Reasoning. Lecture Notes in Artificial Intelligence vol. 822 (1994), Springer-Verlag 333-344
22. Yang X., and Duan Z. Operational Semantics of Framed Temporal Logic Programs. Proceedings of SOFSEM07, Czech Republic. LNCS vol. 4362 (2007), Springer-Verlag 566-578
23. Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang, An interpreter for framed tempura and its application, in: First IEEE and IFIP International Symposium on Theoretical Aspects of Software Engineering, 2007.
24. Zhenhua Duan, Cong Tian, Li Zhang, A decision procedure for propositional projection temporal logic with infinite models, in: Acta Informatic. Springer-Verlag, 2008, pp. 43-78.
25. Tian C., and Duan Z. Model checking propositional projection temporal logic based on SPIN. ICFEM07 (2007) 246-265
26. Moszkowski B. Executing Temporal Logic Programs (1986), Cambridge University Press, Cambridge
27. Emerson E.A., and Clarke E.M. Using branching temporal logic to synthesize synchronization skeletons. Sci. Comput. Program. 2 (1982) 241-266
28. Winskel G. The Formal Semanitcs of Programming Languages: An Introduction (1993), MIT Press
29. Gabbay D.M. Modal and temporal logic programming. Temporal Logic and Their Applications (1987), Academic Press, London pp. 197-237
30. Kröger F. Temporal Logic of Programs (1987), Springer-Verlag
31. Tang C.S. Toward a unified logic basis for programming languages. Proceedings of IFIP Congress 83 (1983), North-Holland, Elsevier Science Publishers B.V., Amsterdam 425-429
32. Tang C.S. A temporal logic language oriented toward software engineering - introduction to XYZ system (I). Chin. J. Adv. Softw. Res. 1 (1994) 1-27
33. Fujita M., Kono S., Tanaka H., and Moto-oka T. Tokio: Logic programming language based on temporal logic and its compilation to PROLOG. Third International Conference on Logic Programming. Lecture Notes in Computer Science vol. 225 (1986), Springer-Verlag 695-709
34. Lamport L. The temporal logic of actions. ACM Trans. Program. Lang. Syst. 16 3 (1994) 872-923
35. L. Ness, A parallel executable temporal logic language, in: Proceedings of the ACM SIGSOFT, International Workshop on Formal Methods in Software Development. Napa, California, 1990.
36. Dijkstra E.W. Guarded commands, nondeterminiacy, and formal derivation of programs. Commun. ACM 18 8 (1975) 453-457
37. N. Bidoit, Negation in rule-based data base languages: a survey, Theor. Comput. Sci. 78 (1981) (3-83).