Title: Specification and verification of context conditions for programming languages
Subjects: Programming languages (Electronic computers), Semantics