16 search results - page 1 / 4 » Automated Reasoning with a Constraint-Based Metainterpreter |
190
Voted
JLP
1998
15 years 7 months ago
1998
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
169
Voted
GIS
1998
ACM
15 years 7 months ago
1998
ACM
240
click to vote
LOPSTR
1997
Springer
16 years 8 days ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...