Searching for "On Relations Between Programs." – sorted by Relevance.
247 documents found, showing 1 through 10.
Next 10 →
-
In-place Refinement for Effect Checking
- … relations between programs and specifications. In this paper we introduce a new refinement calculus…
- Cited by 9 (3 self) – Add To MetaCart
-
Computing Interprocedurally Valid Relations in Affine Programs
- … programs which for every program point v determines the set of all affine relations between program…
- Cited by 3 (0 self) – Add To MetaCart
-
Operational Semantics of the Java Card Virtual Machine
- … a small-step relation between program con- figurations, including rules for exception handling…
- Cited by 12 (1 self) – Add To MetaCart
-
Temporal Verification of Simulation and Refinement
- … and refinement relations between programs. After introducing the notions of fair transition systems…
- Cited by 16 (8 self) – Add To MetaCart
-
Temporal Verification of Simulation and Refinement
- … and refinement relations between programs. After introducing the notions of fair transition systems…
- Add To MetaCart
-
Specification of a Program Derivation Editor
- …. A program derivation style based on (transitive) relations between programs, as found in the re…
- Cited by 3 (2 self) – Add To MetaCart
-
Abstract Data Dependencies and Program Slicing: from Syntax to Abstract Semantics
- … Mastroeni Università di Verona isabella.mastroeni@(email omitted); We discuss the relation between program slicing…
- Add To MetaCart
-
A Denotational Semantics for Prolog
- …, as a tool for defining an equivalence relation between programs (in relation to program transformations…
- Cited by 14 (6 self) – Add To MetaCart
-
Relational Views as a Model for Automatic Distributed Implementation of Multi-User Applications
- … between program data structures and views on a display. These relations are specified in RVL, a high…
- Cited by 15 (4 self) – Add To MetaCart
-
1 Departamento de Inteligencia Artificial
- … of AgentSpeak(L). The main contribution of the approach is a better understanding of the relation between…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
