Construcción y optimización de programas en Fork Álgebras
La creciente importancia de los factores críticos en el software hace que la utilización de métodos formales de desarrollo sea cada vez más frecuente. En este contexto, la construcción rigurosa de programas, concebida como un “álgebra de la programación” [BdM97] o bien como un “cálculo de programas”...
Guardado en:
Autores principales: | Baum, Gabriel Alfredo, Frias, Marcelo F., Aguirre, Nazareno Matías, Medel, Ricardo |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Español |
Publicado: |
1998
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24898 |
Aporte de: |
Ejemplares similares
-
How to say greedy in fork algebras
por: Baum, Gabriel Alfredo, et al.
Publicado: (2001) -
Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal
por: Medel, Ricardo, et al.
Publicado: (2001) -
Translating fork specification into logic programs
por: Baum, Gabriel Alfredo, et al.
Publicado: (2001) -
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)