An ongoing project to use higher order abstract syntax and higher order logic programming for compiler implementation by
ChuckLiang
http://cs.hofstra.edu/~cscccl/hocompiler/
Compiler Construction in Higher Order Logic Programming
CategorySystem
| --
EelcoVisser
- 21 Dec 2001
Revision: r1.1 - 21 Dec 2001 - 17:13 -
EelcoVisser
Transform
>
TransformationPeople
>
ChuckLiang
>
HigherOrderCompilationProject
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback