Searching for "Proving correctness via free theorems the case of the destroy/build-rule." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Proving correctness via free theorems: The case of the destroy/build-rule
by Janis Voigtländer, Technische Universität Dresden — In Partial Evaluation and Program Manipulation, Proceedings
…Proving Correctness via Free Theorems The Case of the destroy/build-Rule Janis Voigtländer…
Cited by 2 (2 self) – Add To MetaCart

Problem: Expressions like sum (fromTo 1 10)
by Janis Voigtländer, Technische Universität Dresden
…Proving Correctness via Free Theorems The Case of the destroy/build-Rule Janis Voigtländer…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB