Using the theorem prover Isabelle-91 to verify a simple proof of compiler correctness

Author: Bolesław Ciesielski
Edition:
Publisher: College of Computer Science, Northeastern University
Binding: Unknown Binding
ISBN: B0006RBDE4
Category: Programming
List Price:
Price:
You Save: 0%

Using the theorem prover Isabelle-91 to verify a simple proof of compiler correctness (Technical report)

Programming books Using the theorem prover Isabelle-91 to verify a simple proof of compiler correctness pdf. . Download books pdf via mediafire, 4shared, rapidshare.

Download Using the theorem prover Isabelle-91 to verify a simple proof of compiler correctness

Download free Using the theorem prover Isabelle-91 to verify a simple proof of compiler correctness (Technical report) pdf