2203 search results - page 172 / 441 » Temporal Abstract Interpretation |
141
click to vote
CLEF
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
126
click to vote
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
131
click to vote
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Much data is published on the Web in XML format satisfying schemas, and to make the Semantic Web a reality, such data needs to be interpreted with respect to ontologies. ...
102
click to vote
CD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper reports on the experiences we gained while trying to build an interpreter for a new programming language aimed at developing strong mobile software. The interp...
100
click to vote
ERSHOV
2003
Springer
15 years 9 months ago
2003
Springer
Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as ...