𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal compiler construction in a logical framework

✍ Scribed by Jason Hickey; Aleksey Nogin


Publisher
Springer
Year
2006
Tongue
English
Weight
829 KB
Volume
19
Category
Article
ISSN
1388-3690

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A new practicum in compiler construction
✍ Pinaki Chakraborty; P. C. Saxena; C. P. Katti; Gauri Pahwa; Shweta Taneja πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 466 KB
A C++ framework for developing medical l
✍ Ronald A. Kuhn; Roger S. Reider πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 707 KB

When developing a clinical decision support system that uses knowledge expressed in Arden Syntax, the availability of a robust means of translating Arden Syntax into an executable module becomes critical. This paper describes an approach where Arden Syntax is translated into an intermediate pseudo-A