Searching for "Basic Predicate Calculus." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Compilers [ASU86, Chapter 1]:
- … [Kow79] [Set89, Chapter 8]: -- Basics of predicate calculus. -- Prolog. -- Prolog-style evaluation…
- Add To MetaCart
-
Connecting Business Objects to Relational Databases
- … predicate calculus functions to return desired values. One way to avoid the impedance mismatch between…
- Cited by 9 (1 self) – Add To MetaCart
-
A Discipline of Multiprogramming: A Programming Theory for Distributed Applications
- … here; little background beyond basic predicate calculus (which is summarized in the Appendix…
- Cited by 16 (0 self) – Add To MetaCart
-
Machine-Assisted Theorem-Proving for Software Engineering
- … how Z's syntax has been encoded in OBJ3, and Section 2.4 shows how the basic predicate calculus rules…
- Cited by 5 (1 self) – Add To MetaCart
-
The Fork Calculus Towards a Logic for Concurrent ML
- … with specification constructs, basically the predicate calculus. EML allows formal develop9 10 CHAPTER 1…
- Cited by 2 (1 self) – Add To MetaCart
-
An Introduction to ZedCharts and Its Applications
- …-order logic (the basic predicate calculus [Den86]). Z is actually composed of two languages: a mathematical…
- Add To MetaCart
-
Commitment Tracking via the Reactive Event Calculus ∗
- …. In this sense, we draw inspiration from Chittaro and Montanari’s idea of MVIs. The basic predicates…
- Add To MetaCart
Showing 1 through 7.
