Title: A semantic basis for a programming language with declarable mode relationships
Subjects: Programming languages (Electronic computers), Semantics