2 search results - page 1 / 1 » Derivation of Deterministic Inverse Programs Based on LR Par... |
77
Voted
FLOPS
2004
Springer
15 years 2 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...
92
Voted
PLDI
1997
ACM
15 years 1 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...