A higher-order abstract syntax approach to verified transformations on functional programs (Q2802499)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 6573791
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A higher-order abstract syntax approach to verified transformations on functional programs |
scientific article; zbMATH DE number 6573791 |
Statements
A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs (English)
0 references
26 April 2016
0 references
0 references
0 references
0.8261558413505554
0 references
0.7808553576469421
0 references
0.7727696299552917
0 references
0.7486476302146912
0 references
0.746202826499939
0 references
