8008 search results - page 578 / 1602 » Computer-Aided Language Processing |
169
click to vote
CC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
145
click to vote
IFL
2005
Springer
16 years 8 days ago
2005
Springer
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
164
click to vote
CLEF
2004
Springer
16 years 5 days ago
2004
Springer
For our fourth participation in the CLEF evaluation campaigns, our first objective was to propose an effective and general stopword list and a light stemming procedure for the Port...
187
click to vote
IJCNLP
2004
Springer
16 years 4 days ago
2004
Springer
For natural translations, a human being does not express predicates that are inferable from the context in a target language. This paper proposes a method of machine translation w...
198
click to vote
CC
2003
Springer
16 years 13 hour ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...