Rewriting of imperative programs into logical equations (Q2486260)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rewriting of imperative programs into logical equations |
scientific article |
Statements
Rewriting of imperative programs into logical equations (English)
0 references
5 August 2005
0 references
Imperative program transformation
0 references
Operational semantics
0 references
Equational semantics
0 references
Compiling
0 references
Rewriting
0 references
Rewrite system
0 references
Program verification
0 references
