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

1
Published 2021
Springer International Publishing
Table of Contents: “... Editors for Well-Typed Expressions -- Modelling, translating, proving functional programs -- High-Level...”
Cover Image
Read Now

2
Published 2019
Springer International Publishing
Table of Contents: “... Compiler -- Types and Verication Proving Type Class Laws for Haskell -- Dynamic Flow Analysis...”
Cover Image
Read Now

3
Published 1990
Springer London
Table of Contents: “...A New Method for Strictness Analysis on Non-Flat Domains -- Backwards Strictness Analysis: Proved...”