Theory of Refinements in PVS
Revisión del 11:39 2 jun 2010 de Mjoseh (discusión | contribuciones) (New page: {| border="1" | '''Title:''' | Theory of refinements in PVS. |- | '''Authors:''' | {{jalonso}} and {{mjoseh}}. |- | '''Date:''' | 2002. |- | '''Description:''' | Based on the notion of...)
| Title: | Theory of refinements in PVS. |
| Authors: | José A. Alonso and María J. Hidalgo. |
| Date: | 2002. |
| Description: | Based on the notion of refinement used for Dold and Jones we have built a PVS theory establishing the general notions of refinements and its main properties. As a case study, we have established a refinement of the theory of finite sets by the theory of lists. |
| Code: | You can find the PVS theories in ... |
| Documentation: | Teoría computacional (en PVS) de la programación lógica y del análisis formal de conceptos (Tesis, Universidad de Sevilla, 2004). |
