525 search results - page 105 / 105 » Composing Programs in a Rewriting Logic for Declarative Prog... |
140
click to vote
DOCENG
2006
ACM
15 years 9 months ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
134
click to vote
WWW
2002
ACM
16 years 3 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
125
click to vote
WWW
2002
ACM
16 years 3 months ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
132
click to vote
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
131
click to vote
FCCM
2004
IEEE
15 years 6 months ago
2004
IEEE
Reconfigurable System-on-Chip (SoC) platforms that incorporate hard-core processors surrounded by large amounts of FPGA are today commodities: the reconfigurable logic is often us...