Projection in temporal logic programming

  • Zhenhua Duan
  • Maciej Koutny
  • Chris Holt
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 822)


We define a projection operator in the framework of the temporal logic programming. Its syntax and semantics are presented and illustrated with examples. We also discuss the implementation details of the projection construct.


Temporal logic programming projection 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Barringer H., Kuiper R. and Pnueli A.: Now you may compose temporal logic specifications. Proceedings of 16th ACM Symposium on Theory of Computing, 51–63 (1984).Google Scholar
  2. 2.
    Duan Z., Holt C. and Moszkowski B.: An interpreter for an executable subset of extended interval temporal logic with framing and concurrent operators. BCTCS 8, Newcastle upon Tyne, March (1992).Google Scholar
  3. 3.
    Kröger F.: Temporal logic of programs. Springer-Verlag (1987).Google Scholar
  4. 4.
    Lamport L.: The temporal logic of actions. Digital, System Design Center, December (1991).Google Scholar
  5. 5.
    Manner Z. and Pnueli A.: The temporal logic of reactive and concurrent systems. Springer-Verlag (1992).Google Scholar
  6. 6.
    Moszkowski B.: Executing temporal logic programs. Cambridge University Press Cambridge (1986).Google Scholar
  7. 7.
    Ness L.: L.O: A parallel executable temporal logic language. Proceeding of the ACM SIGSOFT, International Workshop on Formal Methods in Software Development, Napa, California, May (1990).Google Scholar
  8. 8.
    Rosner R. and Pnueli A.: A choppy logic. First Annual IEEE Symposium on Logic In Computer Science, LNCS, Springer Verlag, 306–314 (1986).Google Scholar
  9. 9.
    Tang Z.: Toward a unified logic basis for programming languages. Proceedings of IFIP'83 Congress, Amsterdam, Elsevier Science Publishers B.V. (North-Holland), 425–429 (1983).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Zhenhua Duan
    • 1
  • Maciej Koutny
    • 1
  • Chris Holt
    • 1
  1. 1.Department of Computing ScienceUniversity of Newcastle upon TyneNewcastle upon TyneUK

Personalised recommendations