Programming Language Features for Refinement
Algorithmic and data refinement are well studied topics that provide a mathematically rigorous approach to gradually introducing details in the implementation of software. Program refinements are performed in the context of some programming language, but mainstream languages lack features for recor...
| Principais autores: | , |
|---|---|
| Formato: | Artigo |
| Idioma: | English |
| Publicado em: |
Open Publishing Association
2016-06-01
|
| coleção: | Electronic Proceedings in Theoretical Computer Science |
| Acesso em linha: | http://arxiv.org/pdf/1606.02022v1 |