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)
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)