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...

Descripción completa

Detalles Bibliográficos

Publicado en:	Metaphilosophy Vol. 55; no. 3; pp. 440 - 457
Autores principales:	Angius, Nicola, Stefaneas, Petros
Formato:	Artículo
Publicado:	Wiley-Blackwell Jul2024
Materias:	Modular construction Computer science Representation theory Systems software Structural analysis (Engineering)
Acceso en línea:	Ver este registro en EBSCOhost