378 search results - page 42 / 76 » From Natural Semantics to Abstract Machines |
ICCL
1992
IEEE
13 years 11 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
RTAS
2003
IEEE
14 years 27 days ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
FTDB
2008
13 years 7 months ago
2008
The automatic extraction of information from unstructured sources has opened up new avenues for querying, organizing, and analyzing data by drawing upon the clean semantics of str...
NLDB
2007
Springer
14 years 1 months ago
2007
Springer
This paper discusses the recognition of textual entailment in a text-hypothesis pair by applying a wide variety of lexical measures. We consider that the entailment phenomenon can ...
ACTA
2000
13 years 7 months ago
2000
Thesaurus is a collection of words classified according to some relatedness measures among them. In this paper, we lay the theoretical foundations of thesaurus construction through...