8 search results - page 1 / 2 » padl 2005 |
PADL
2005
Springer
13 years 9 months ago
2005
Springer
PADL
2005
Springer
13 years 9 months ago
2005
Springer
PADL
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
PADL
2005
Springer
13 years 9 months ago
2005
Springer
In this article we investigate a novel execution paradigm—ML-like pattern-matching— for XML query processing. We show that such a paradigm is well adapted for a common and freq...
PADL
2005
Springer
13 years 9 months ago
2005
Springer
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...