Diferencia entre revisiones de «Refinements»

De WikiGLC
Saltar a: navegación, buscar
 
Línea 16: Línea 16:
 
|-
 
|-
 
| '''Documentation:'''
 
| '''Documentation:'''
| [http://www.cs.us.es/~mjoseh/pub/Proving_termination_with_multiset_orderings_in_PVS.pdf Proving termination with multiset orderings in PVS: theory, methodology and applications]
+
| [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).