An application of a theorem prover
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
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
1997
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24122 |
| Aporte de: |
| Sumario: | 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 |
|---|