2646 search results - page 299 / 530 » Local Type Inference |
169
click to vote
ADBIS
2007
Springer
16 years 27 days ago
2007
Springer
Although the native (tree-like) storage of XML data becomes more and more important there will be an enduring demand to manage XML data in its textual representation, for instance ...
175
click to vote
CC
2005
Springer
16 years 8 days ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
211
Voted
WMTE
2002
IEEE
15 years 11 months ago
2002
IEEE
This study tries to apply wireless technologies to build a highly interactive environment. For this purpose, this study first identifies four types of interaction between the memb...
184
click to vote
SAIG
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...
221
click to vote
ASWSD
2006
Springer
15 years 10 months ago
2006
Springer
Automotive software has become an important factor in the development of modern and innovative high-end vehicles. More and more functions can only be realized by the cooperation of...