3323 search results - page 74 / 665 » Computational Semantics with Functional Programming |
126
click to vote
PLILP
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scienti c int...
141
click to vote
JAIR
2007
15 years 2 months ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
139
click to vote
FSTTCS
2009
Springer
15 years 9 months ago
2009
Springer
We study the branching program complexity of the tree evaluation problem, introduced in [BCM+09a] as a candidate for separating NL from LogCFL. The input to the problem is a roote...
114
click to vote
CLIMA
2007
15 years 4 months ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
155
click to vote
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
Today's system programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers find errors in Linux and other systems, ...