The logical structure of modular semantic theories of software systems.
This 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 mod...
| Publicado en: | Metaphilosophy Vol. 55; no. 3; pp. 440 - 457 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Wiley-Blackwell
Jul2024
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |