1151 search results - page 23 / 231 » Collaborative Programming: Applications of Logic and Automat... |
86
Voted
ICLP
2007
Springer
15 years 4 months ago
2007
Springer
ICLP
2007
Springer
15 years 4 months ago
2007
Springer
KR
2004
Springer
15 years 3 months ago
2004
Springer
CADE
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
74
Voted
JLP
1998
14 years 9 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...