Searching for "First Order Programming Logic." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
On Axiomatizations for Propositional Logics of Programs
- … or first order, giving rise to propositional and first order program logics, respectively. In this paper…
- Cited by 1 (1 self) – Add To MetaCart
-
Specification Predicates with Explicit Dependency Information
- … such as reachability. Especially in first-order program logics there is no other alternative to specify properties…
- Add To MetaCart
-
ProgrmaYerification in a l~gical Theory of Constructions
- … and McCarthy's (1979) first-order programming logic. Also Scott's, and Milner, Morris and Newey's (1975…
- Add To MetaCart
-
On Models for Propositional Dynamic Logic
- … may be propositional or first order, giving rise to propositional and first order program logics…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 4.
