Search
Now showing items 1-1 of 1
Specification and verification of context conditions for programming languages
(1986)
Context conditions - also called static semantics - are the constraints on computer programs that cannot be reasonably expressed by a context-free grammar, but that can be statically checked without considering the execution ...