Trusted source translation of a total function language

TACAS, pp. 471-485, 2008.

Cited by: 8|Bibtex|Views1|Links
EI
Keywords:
total function languagesimple intermediate codehol theorem provertrusted source translationspecification languageMore(13+)

Abstract:

We present a trusted source translator that transforms total functions defined in the specification language of the HOL theorem prover to simple intermediate code. This translator eliminates polymorphism by code specification, removes higher-order functions through closure conversion, interprets pattern matching as conditional expressions...More

Code:

Data:

Your rating :
0

 

Tags
Comments