Complete calculi for structured specifications in fork algebra
"In previous articles we presented Argentum, a tool for reasoning across heterogeneous specifications based on the language of fork algebras. Argentum’s foundations were formalized in the framework of institutions. The formalization made simple to describe a methodology capable of producing a c...
Guardado en:
| Autores principales: | López Pombo, Carlos Gustavo, Frías, Marcelo |
|---|---|
| Formato: | Ponencias en Congresos acceptedVersion |
| Lenguaje: | Inglés |
| Publicado: |
2022
|
| Acceso en línea: | http://ri.itba.edu.ar/handle/123456789/3901 |
| Aporte de: |
Ejemplares similares
-
Complete calculi for structured specifications in fork algebra
por: López Pombo, Carlos Gustavo, et al.
Publicado: (2010) -
Complete calculi for structured specifications in fork algebra
por: Lopez Pombo, C.G., et al. -
Complete calculi for structured specifications in fork algebra
por: Lopez Pombo, C.G
Publicado: (2010) -
Fork algebras as a sufficiently rich universal institution
por: López Pombo, Carlos Gustavo, et al.
Publicado: (2006) -
Fork relational specifications of abstract data types
por: Frías, Marcelo Fabián
Publicado: (1994)