Compiler Construction in Higher Order Logic Programming (2002)
by
Chuck C. Liang
| Venue: | In Practical Aspects of Declarative Languages |
| Citations: | 11 - 2 self |
BibTeX
@INPROCEEDINGS{Liang02compilerconstruction,
author = {Chuck C. Liang},
title = {Compiler Construction in Higher Order Logic Programming},
booktitle = {In Practical Aspects of Declarative Languages},
year = {2002},
pages = {47--63},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper describes a general method of compiler implementation using higher order abstract syntax and logic programming. A working compiler written in Prolog is used to demonstrate this method.
