Program transformation using temporal logic specifications
Main Author: | Lacey, D. J. |
---|---|
Published: |
University of Oxford
2003
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.289278 |
Similar Items
-
Programming in temporal logic
by: Hale, Roger William Stephen
Published: (1988) -
An extended interval temporal logic and a framing technique for temporal logic programming
by: Duan, Zhenhua
Published: (1996) -
A temporal logic for the specification and verification of real-time systems
by: Naik, Yogesh
Published: (1993) -
The formal description of programming languages using predicate logic
by: Moss, C. D. S.
Published: (1981) -
Agents in logic programming
by: Quintero, Jacinto Alfonso Davila
Published: (1997)