CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishThis paper studies the structure of semantic theories over modular computational systems and applies the algebraic Theory of Institutions to provide a logical representation of such theories. A modular semantic theory is here defined by a cluster of semantic theories, each for a single program’s module, and by a set of relations connecting models of different semantic theories. A semantic theory of a single module is provided in terms of the set of Σ-models mapped from the category Th of Σ-theories and generating a hierarchy of structures from an abstract model to a concrete model of data. The collection of abstract models representing different modules of a program is formalised as the category of institutions INS, where theory morphisms express refinements, integrations, and compositions between couples of modules. Finally, it is required that a morphism in INS at any level occurs iff the same morphism occurs at the lower level alongside the Th hierarchy.
The Logical Structure of Modular Semantic Theories of Software Systems / Angius, Nicola; Stefaneas, Petros. - In: JOURNAL OF LOGIC AND COMPUTATION. - ISSN 0955-792X. - (In corso di stampa).
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
| Titolo: | The Logical Structure of Modular Semantic Theories of Software Systems | |
| Autori: | ||
| Data di pubblicazione: | Being printed | |
| Rivista: | ||
| Citazione: | The Logical Structure of Modular Semantic Theories of Software Systems / Angius, Nicola; Stefaneas, Petros. - In: JOURNAL OF LOGIC AND COMPUTATION. - ISSN 0955-792X. - (In corso di stampa). | |
| Handle: | http://hdl.handle.net/11388/170365 | |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
Copyright © 2022