Searching for "Models of Program Logics" – sorted by Relevance.
25 documents found, showing 1 through 10.
Next 10 →
-
Logic, Modeling, and Programming
- …Baltzer Journals January 30, 1997 Logic, Modeling, and Programming Ken McAloon and Carol Tretkoff…
- Cited by 4 (1 self) – Add To MetaCart
-
A Comparison of Logic Programming Approaches for Representation and Solving of Constraint
- … to an equivalent logic program which then can be solved by abductive reasoning or by computing stable models…
- Cited by 7 (3 self) – Add To MetaCart
-
Asymptotic enumeration of Predicate-Junction
- … model of binary logic without the constraints of structured programming. The number of such flowgraphs…
- Cited by 1 (1 self) – Add To MetaCart
-
A games-based foundation for compositional software model checking
- …. What compositional model checking really demands is a programming logic with a formal model that can…
- Cited by 6 (4 self) – Add To MetaCart
-
The Linear Logic Semantics of Concurrent Constraint Programs Revisited
- … phase models of programs. The logical characterization of other observable properties of CC computations…
- Add To MetaCart
-
On Models for Propositional Dynamic Logic
- …, respectively. Pratt [13] recognized the possibility of modeling program logics by means of Modal Logic. His…
- Cited by 1 (0 self) – Add To MetaCart
-
Abstract Modeling Event-Based Systems in Ptolemy II EE249: Design of Embedded Systems: Models
- …CompositeActor, since the FSM domain can model program logic easily. We can model a task with an actor that depends…
- Add To MetaCart
-
Twisted Systems
- … of algorithms. Thus they provide foundations for operational semantics, models of program logics and Cousot…
- Cited by 1 (1 self) – Add To MetaCart
-
Visualisation and Software Development: Analysing . . .
- … the detailed logic of a program and techniques for modelling the changes in a system's state. We have…
- Add To MetaCart
-
Theory-oriented evaluation for the design of and research in gaming and simulation
- … to as program models, program logics, or program theories, are important tools to accomplish these goals…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
