Translating fork specification into logic programs
In this work a compiler from fork specifications into logic programs is presented. The technique implemented by the compiler consists of transforming a set of fork equations (with some restrictions) into normal logic programs in such a way that the semantics of the fork equations is preserved. Afte...
Guardado en:
| Autores principales: | Baum, Gabriel Alfredo, Frias, Marcelo F., Aguirre, Nazareno Matías, Arroyo, Marcelo |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2001
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23540 |
| Aporte de: |
Ejemplares similares
-
Interpretability of first-order linear temporal logics in fork algebras
por: Frias, M.F., et al. -
Interpretability of first-order linear temporal logics in fork algebras
Publicado: (2006) -
Reasoning about static and dynamic properties in alloy: A purely relational approach
por: Frias, Marcelo, et al.
Publicado: (2005) -
Reasoning about static and dynamic properties in alloy: A purely relational approach
por: Frias, M.F., et al. -
Logical foundations and implementation of an extension of temporal logic
por: Cobo, María Laura, et al.
Publicado: (2000)