by Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers
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.
Reference:
Institutions for navigational logics for graphical structures (Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers), In Theoretical computer science, volume 741, 2018. (An Observant Mind : Essays Dedicated to Don Sannella on the Occasion of his 60th Birthday)
Bibtex Entry:
@Article{Orejas+,
AUTHOR = {Orejas, Fernando and Pino, Elvira and Navarro, Marisa and Lambers, Leen},
TITLE = {{Institutions for navigational logics for graphical structures}},
YEAR = {2018},
JOURNAL = {Theoretical computer science },
VOLUME = {741},
PAGES = {19 - 24},
URL = {http://doi.org/10.1016/j.tcs.2018.02.031},
PDF = {uploads/pdf/Orejas+_1-s2.0-S0304397518301282-main.pdf},
OPTacc_pdf = {},
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. },
NOTE = {An Observant Mind : Essays Dedicated to Don Sannella on the Occasion of his 60th Birthday}
}