𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Specification transformers: a predicate transformer approach to composition

✍ Scribed by Michel Charpentier; K.Mani Chandy

Publisher
Springer-Verlag
Year
2004
Tongue
English
Weight
250 KB
Volume
40
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

GRACE as a unifying approach to graph-tr
GRACE as a unifying approach to graph-transformation-based specification
✍ Hans-JΓΆrg Kreowski; Giorgio Busatto; Sabine Kuske πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 203 KB

In this paper, we sketch some basic ideas and features of the graph-transformationbased specification language GRACE. The aim of GRACE is to support the modeling of a wide spectrum of graph and graphical processes in a structured and uniform way including visualization and verification. β€’ approach

A canonical approach to duality transfor
A canonical approach to duality transformations
✍ Enrique Álvarez; Luis Álvarez-GaumΓ©; Yolanda Lozano πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 586 KB
Towards a transformational approach to p
Towards a transformational approach to program verification
✍ Myla Archer; Amy Lo; Ronald A. Olsson πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 182 KB πŸ‘ 1 views

Although most typically used in other contexts, program transformations can simplify program verification by transforming a program containing complex language features into a semantically equivalent program containing only simpler language features. The proof of the transformed program can then be