16844 search results - page 58 / 3369 » How to Design Programs |
126
click to vote
AIIA
1997
Springer
15 years 6 months ago
1997
Springer
We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn an abductive logic program starting f...
111
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Most approaches to programming language extensibility have worked by pairing syntactic extension with semantic extension. We present an approach that works through a combination o...
111
Voted
FORTE
2008
15 years 4 months ago
2008
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...
119
Voted
FLAIRS
2004
15 years 3 months ago
2004
We present a preventive model of tutoring for novice programming derived from a human corpus and describe our intelligent tutoring system PROPL embodying that model. The system co...
104
click to vote
JAPLL
2007
15 years 2 months ago
2007
We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purp...