458 search results - page 68 / 92 » A Dependently Typed Assembly Language |
DOCENG
2004
ACM
14 years 1 months ago
2004
ACM
In this paper, we discuss how to present the result of searching elements of any type from XML documents relevant to some information need (relevance-oriented search). As the resu...
SACMAT
2005
ACM
14 years 1 months ago
2005
ACM
Integration of version and access control of XML documents has the benefit of regulating access to rapidly growing archives of XML documents. Versioned XML documents provide us w...
PLDI
2000
ACM
13 years 12 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
ICLP
2004
Springer
14 years 28 days ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...