Title: Applied semantics
Subjects: Semantics, Programming languages (Electronic computers)