Theory of compiler specification and verification.

Tue, 01 Jan 1980 00:00:00 +0100

Wolfgang Polak:
Theory of compiler specification and verification. Stanford University, USA, 1980