Cargando…
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...
| Autores principales: | , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
Elsevier
2019
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6861556/ https://www.ncbi.nlm.nih.gov/pubmed/31763189 http://dx.doi.org/10.1016/j.mex.2019.10.035 |