Cover Image
QR Code

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

Full description

Published in:Metaphilosophy Vol. 55; no. 3; pp. 440 - 457
Main Authors: Angius, Nicola, Stefaneas, Petros
Format: Article
Published: Wiley-Blackwell Jul2024
Subjects:
Modular construction
Computer science
Representation theory
Systems software
Structural analysis (Engineering)
Online Access:View this record in EBSCOhost