16 search results - page 1 / 4 » Automated Reasoning with a Constraint-Based Metainterpreter |
JLP
1998
13 years 8 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...
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
ICLP
2001
Springer
14 years 1 months ago
2001
Springer
GIS
1998
ACM
13 years 8 months ago
1998
ACM
LOPSTR
1997
Springer
14 years 21 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...