Reference:
Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers, "Institutions for navigational logics for graphical structures", Theoretical computer science, vol. 741, pp. 19 - 24, 2018, An Observant Mind : Essays Dedicated to Don Sannella on the Occasion of his 60th Birthday.
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.
Links:
@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}
}Copyright notice: This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this information are
expected to adhere to the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted without the explicit permission of
the copyright holder.
Powered by
bibtexbrowser