Browsing Open Access Repositories by Author "Kaplan, Simon Mark"
Now showing items 1-1 of 1
-
Specification and verification of context conditions for programming languages
Kaplan, Simon Mark (University of Cape TownFaculty of ScienceDepartment of Computer Science, 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 ...