Sciweavers

8 search results - page 1 / 2
» padl 2005
Sort
View
PADL
2005
Springer
14 years 28 days ago
Code Compression
Saumya K. Debray
PADL
2005
Springer
14 years 28 days ago
Type Class Directives
Bastiaan Heeren, Jurriaan Hage
PADL
2005
Springer
14 years 28 days ago
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics
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...
Qian Wang, Gopal Gupta, Michael Leuschel
PADL
2005
Springer
14 years 28 days ago
A Full Pattern-Based Paradigm for XML Query Processing
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...
Véronique Benzaken, Giuseppe Castagna, C&ea...
PADL
2005
Springer
14 years 28 days ago
Safe Programming with Pointers Through Stateful Views
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...
Dengping Zhu, Hongwei Xi