Institutions for navigational logics for graphical structures
Visualitza/Obre
Cita com:
hdl:2117/115595
Tipus de documentArticle
Data publicació2018-03-05
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Abstract
We show that a Navigational Logic, i.e., a logic to express properties about graphs and about paths in graphs is a semi-exact institution. In this way, we can use a number of operations to structure and modularize our specifications. Moreover, using the properties of our institution, we also show how to structure single formulas, which in our formalism could be quite complex.
CitacióOrejas, F., Pino, E., Navarro, M., Lambers, L. Institutions for navigational logics for graphical structures. "Theoretical computer science", 12 Setembre 2018, vol. 741, p. 19-24.
ISSN0304-3975
Versió de l'editorhttps://www.sciencedirect.com/science/article/pii/S0304397518301282
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
paper_Sannella_els_ULTIMO.pdf | 257,2Kb | Visualitza/Obre |