Complete calculi for structured specifications in fork algebra

Mostrar todas las versiones(2)

In previous articles we presented Arg entum, a tool for reasoning across heterogeneous specifications based on the language of fork algebras. Arg entum's foundations were formalized in the framework of institutions. The formalization made simple to describe a methodology capable of producing a...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: López Pombo, Carlos Gustavo, Frias, Marcelo
Publicado: 2010
Materias:
Complete system
Logical language
Partial views
Structured specification
Transitive closure
Biomineralization
Calculations
Specifications
Algebra
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v6255LNCS_n_p290_LopezPombo
http://hdl.handle.net/20.500.12110/paper_03029743_v6255LNCS_n_p290_LopezPombo
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares