Institutions for navigational logics for graphical structures (Trabajo ya publicado)

Resumen:

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. Article in press in Theoretical Computer Science (2018) https://doi.org/10.1016/j.tcs.2018.02.031

Palabras Clave:

Graph logics - Institutions - Navigational logics

Autor(es):

• Fernando Orejas {orejas@cs.upc.edu}
  Universitat Politècnica de Catalunya - Spain
  
• Elvira Pino {pino@cs.upc.edu}
  Universitat Politècnica de Catalunya - Spain
  
• Marisa Navarro {marisa.navarro@ehu.es}
  University of the Basque Country (UPV/EHU) - Spain
  
• Leen Lambers {Leen.Lambers@hpi.de}
  Hasso Plattner Institut, University of Potsdam - Germany
  

Handle:

Descargas:

Este artículo tiene una licencia de uso CreativeCommons - Reconocimiento (by)

Descarga el artículo haciendo click aquí.

Ver la referencia en formato Bibtex