1189 search results - page 41 / 238 » The Quotient of an Abstract Interpretation |
AUSAI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The interpretation of complex discourse, such as arguments, is a difficult task that often requires validation, i.e., a system may need to present its interpretation of ...
PRICAI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The problem of interpreting Natural Language (NL) discourse is generally of exponential complexity. However, since interactions with users must be conducted in real time,...
CC
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Inline-threaded interpretation is a recent technique that improves performance by eliminating dispatch overhead within basic blocks for interpreters written in C [11]. Th...
LPAR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Disunification is an extension of unification to first-order formulae over syntactic equality atoms. Instead of considering only syntactic equality, I extend a disunifica...
CEFP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....