1286 search results - page 169 / 258 » From System F to Typed Assembly Language |
IR
2007
13 years 9 months ago
2007
Documents formatted in eXtensible Markup Language (XML) are available in collections of various document types. In this paper, we present an approach for the summarisation of XML d...
NGC
2002
Springer
13 years 8 months ago
2002
Springer
Abstract As opportunities for international collaboration and crosscultural communication among people from heterogeneous cultures increase, the importance of electronic communicat...
VISUALIZATION
1992
IEEE
14 years 1 months ago
1992
IEEE
algorithms as networks of modules. The data flow architecture is popular because of the flexibility of mixing calculation modules with display modules, and because of its easy grap...
FCT
2005
Springer
14 years 2 months ago
2005
Springer
Leftist grammars can be characterized in terms of rules of the form a → ba and cd → d, without distinction between terminals and nonterminals. They were introduced by Motwani e...
WFLP
2000
Springer
14 years 17 days ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...