Title: The semantic analysis of modular programs
Subjects: Computer software, Modular programming, Programming languages (Electronic computers), Reliability, Semantics