Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

An application of a theorem prover

Authors: Campos, M. | Lins, R.
1997
 
Document type: Objeto de conferencia

Abstract

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

Notes

Eje: Conferencia latinoamericana de programación funcional

General information

Exposure date: 1997
Issue date: 1997
Document language: English
Event: III Congreso Argentino de Ciencias de la Computación
Origin: Red de Universidades con Carreras en Informática (RedUNCI)
xmlui.dri2xhtml.METS-1.0.item-dc-subject: Applications ; Application ; Theorem Prover
Subjects: Ciencias Informáticas

Download Files

Thumbnail
Documento completo
Download file (148.9Kb) - PDF
 
Created: 14 de noviembre de 2012
Available since: 14 de noviembre de 2012
Please, use one of this identificators(URI) for cite o linking this item:
  • http://sedici.unlp.edu.ar/handle/10915/24122

    • This item appears in the following Collection(s)

    Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)