Searching for "The Transformation Calculus." – sorted by Relevance.
78 documents found, showing 1 through 10.
Next 10 →
-
A Calculus of Transformation
- …A Calculus of Transformation B. Wolff, H. Shi , Universit��t Bremen 1 DRAFT VERSION FROM 28…
- Cited by 8 (5 self) – Add To MetaCart
-
A Calculus of Transformation (Extended Abstract)
- …A Calculus of Transformation 1 (Extended Abstract) Burkhart Wolff, Hui Shi 1. Conceptual view…
- Add To MetaCart
-
Object-oriented refinement and proof using behaviour functions
- … verifiable properties and transformations. The calculus is compositional and can be used to express…
- Cited by 1 (0 self) – Add To MetaCart
-
Expected Measure of the Union of Random Rectangles
- … TRANSFORM, CALCULUS OF FINITE DIFFERENCE AMS 1991 SUBJECT CLASSIFICATION: PRIMARY 60D05; SECONDARY 41A60 1…
- Add To MetaCart
-
The Derivation of a Hierarchy of Algorithms for Pattern Matching on Arrays
- … in the Bird-Meertens calculus for program transformation. In this calculus, both specifications and algorithms…
- Cited by 4 (1 self) – Add To MetaCart
-
TAS - A Generic Window Inference System
- … that it is completely independent of the particular window inference or transformational calculus, and can…
- Cited by 2 (2 self) – Add To MetaCart
-
Second Order Connectives and Proof Transformations in Linear Logic
- … introduced with empty environments. As CPS-transformations in -calculus leads to particular reduction…
- Cited by 1 (0 self) – Add To MetaCart
-
UML refinement and abstraction transformations
- … be justified in a suitable semantic model of UML. 1 Introduction A semantically-based transformation calculus…
- Cited by 9 (0 self) – Add To MetaCart
-
A Generalization of Dijkstra's Calculus to Typed Program Specifications
- …@(email omitted); Abstract. Dijkstra's predicate transformer calculus in its extended form gives an axiomatic semantics…
- Add To MetaCart
-
The derivation of on-line algorithms, with an application to finding palindromes
- … for program transformations. This calculus provides a concise functional notation for algorithms, and a few…
- Cited by 5 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
