158 search results - page 19 / 32 » A transformational approach to multi-device interfaces |
PODS
2007
ACM
15 years 9 months ago
2007
ACM
XML and semi-structured data are now de-facto standards for data exchange, and it is often the case that published or exchanged XML documents have specic restrictions on how they ...
RTA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
73
Voted
PADL
2007
Springer
15 years 3 months ago
2007
Springer
Abstract The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict a...
LOPSTR
2004
Springer
15 years 3 months ago
2004
Springer
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...
DBKDA
2009
IEEE
15 years 1 months ago
2009
IEEE
Most database applications are designed according the ANSI/SPARC architecture. When it is used, a large amount of semantics of data may be lost during the transformation from the ...