1776 search results - page 50 / 356 » Using a Logic Programming Language with Persistence and Cont... |
122
click to vote
EACL
1993
ACL Anthology
15 years 4 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...
108
Voted
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In spite of the significant evolution of spelling and grammar checkers for word-processing software, the problem of judging the appropriateness of language usage in diff...
121
Voted
TACAS
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
128
Voted
FLOPS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
117
Voted
DAC
2009
ACM
16 years 3 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...