Rewriting of imperative programs into logical equations (Q2486260)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2192952
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Rewriting of imperative programs into logical equations |
scientific article; zbMATH DE number 2192952 |
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
0.90912414
0 references
0 references
0.9008726
0 references
0 references
0 references
0.89287806
0 references
0.8893895
0 references
