2 search results - page 1 / 1 » Derivation of Deterministic Inverse Programs Based on LR Par... |
FLOPS
2004
Springer
13 years 10 months ago
2004
Springer
We present a method for automatic program inversion of functional programs based on methods of LR parsing. We formalize the transformation and illustrate it with the inversion of a...
PLDI
1997
ACM
13 years 9 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...