Imposing assertions in Maude via program transformation
Program transformation is widely used for producing correct mutations of a given program so as to satisfy the user’s intent that can be expressed by means of some sort of specification (e.g. logical assertions, functional specifications, reference implementations, summaries, examples). This paper de...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier
2019-01-01
|
| Series: | MethodsX |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S2215016119303000 |