Diferencia entre revisiones de «Refinements»
Línea 16: | Línea 16: | ||
|- | |- | ||
| '''Documentation:''' | | '''Documentation:''' | ||
− | | [http://www.cs.us.es/~ | + | | [http://www.cs.us.es/~jalonso/trabajos_dirigidos/2004-tesis-MJHD.pdf Teoría computacional (en PVS) de la programación lógica y del análisis formal de conceptos (Tesis, Universidad de Sevilla, 2004)]. |
|} | |} |
Revisión actual del 10:34 2 jun 2010
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). |