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
|