Search alternatives:
"proving" » "providing", "improving", "province"
Cover Image
Read Now

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Relations (Declarative Pearl) -- Dependent Types -- On-Demand Refinement of Dependent Types -- Proving...”
Cover Image
Read Now

2
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Analysis -- Improving the Precision of Equality-Based Dataflow Analyses -- Guaranteed Optimization: Proving...”