MPG.eBooks - Search Results - computers and interpreters

1

Published 1994

Springer London

Subjects: “...Compilers (Computer programs)...”

2

Published 1998

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

3

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... -- Resource Usage Verification -- Automatic Construction of Hoare Proofs from Abstract Interpretation Results...”