Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

An application of a theorem prover

Autores: Campos, M. | Lins, R.
1997
 
Tipo de documento: Objeto de conferencia

Resumen

This work uses the speci cation of the type interval in OBJ to prove some properties of the interval probability OBJ is a functional language and also includes mechanisms for theorem proving

Notas

Eje: Conferencia latinoamericana de programación funcional

Información general

Fecha de exposición: 1997
Fecha de publicación: 1997
Idioma del documento: Inglés
Evento: III Congreso Argentino de Ciencias de la Computación
Institución de origen: Red de Universidades con Carreras en Informática (RedUNCI)

Descargar archivos

Thumbnail
Documento completo
Descargar archivo (148.9Kb) - PDF
 
Creado el: 14 de noviembre de 2012
Disponible en SEDICI desde: 14 de noviembre de 2012
Por favor, utilice uno de estos identificadores(URI) para citar o enlazar este ítem:
  • http://sedici.unlp.edu.ar/handle/10915/24122

    • Este ítem aparece en la(s) siguiente(s) colección(ones)

    Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)