Search alternatives:
compilers » compiled

1
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... Operations and Monadic Second-Order Logic: A Survey -- Efficient First Order Functional Program Interpreter...