H ? « ‹ ← → › »

Language peer sets for ITL:
United Kingdom↑
United Kingdom/1981↑
Designed 1981 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑

ITL(ID:6831/)

alternate simple view
Country: United Kingdom
Designed 1981
Published: 1983

for Iterval Temporal Logic

B. C. Moszkowski 1985
Related languages
ITL → EITL   Extension of
ITL → FTLL   Extension of
ITL → Tempura   Implementation
References:
  • Ben Moszkowski and Zohar Manna. (1983) Ben Moszkowski and Zohar Manna. Reasoning in Interval Temporal Logic. pp371?382 in Edmund Clarke and Dexter Kozen, editors, Proceedings of the Workshop on Logics of Programs, Pittsburgh, PA, June 1983 LNCS 164, Springer Verlag
  • Moszkowski, B. (1983) Moszkowski, B. "Reasoning about Digital Circuits" PhD thesis, Department of Computer Science, Stanford University, 1983.
  • Moszkowski, B. (1983) Moszkowski, B. "Reasoning about Digital Circuits" Technical report STAN?CS?83?970 Department of Computer Science, Stanford University, 1983
  • Moszkowski, B. (1983) Moszkowski, B. A temporal logic for multi-level reasoning about hardware. In Proceedings of the 6-th International Symposium on Computer Hardware Description Languages, pages 79?90, Pittsburgh, Pennsylvania, May 1983. North-Holland Pub.Co.
  • Moszkowski, B. (1984) Moszkowski, B. "Executing temporal logic programs" Technical Report 55, ComputerLaboratory, University of Cambridge, 1984.
  • Moszkowski, B.; (1985) Moszkowski, B.; "A Temporal Logic for Multilevel Reasoning about Hardware", IEEE Computer, 18, Feb. 1985, pp10-19
  • Moszkowski, Ben (1985) Moszkowski, Ben "Executing temporal logic programs" in S. D.Brookes, A. W. Roscose, and G. Winskel, editors, Seminary on Concurrency, , Berlin, 1985. LNCS 197, pages 111?130 Springer Verlag
  • B. C. Moszkowski (1986) B. C. Moszkowski "Executing Temporal Logic Programs" Cambridge University Press, 1986 Online copy
  • Hale, R. (1987) Hale, R. Temporal logic programming. In A. Galton, editor, Temporal Logics and Their Applications, pp. 91-119. Academic Press, 1987.
  • Hale, R. (1988) Hale, R. W. S. Programming in Temporal Logic. PhD thesis, Computer Laboratory,Cambridge University, Cambridge, England, October 1988. Appeared as technicalreport 173 in year 1989.
  • Cau, A.; Zedan, H.; Coleman, N. (1996) Cau, A.; Zedan, H.; Coleman, N. and B. Moszkowski. Using ITL and Tempura for Large Scale Specification and Simulation, in proc. of fourth euromicro workshop on parallel and distributed processing, IEEE, 1996, Braga, Portugal, pp493-500 Online at Citeseer Abstract
  • Duan, Z. (1996) Duan, Z. "An Extended Interval Temporal Logic and a Framing Technique for Temporal Logic Programming" PhD University of Newcastle upon Tyne. 1996 Abstract Online copy
  • Antonio Cau, Ben Moszkowski and Hussein Zedan (2002) Antonio Cau, Ben Moszkowski and Hussein Zedan "ITL Interval Temporal Logic" Software Technology Research Laboratory Abstract Online copy
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder