18 search results - page 4 / 4 » Declarative program development in Prolog with GUPU |
AGP
2010
IEEE
13 years 3 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
EACL
1993
ACL Anthology
13 years 6 months ago
1993
ACL Anthology
The strategy for natural language interpretation presented in this paper implements the dynamics of context change by translating natural language texts into a meaning representat...
PPDP
2004
Springer
13 years 10 months ago
2004
Springer
Refactoring in object-orientation has gained increased attention due to its ability to improve design quality. Refactoring using design patterns (DPs) leads to production of high ...