Sciweavers

PADL
2005
Springer
13 years 12 months 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
PADL
2005
Springer
13 years 12 months 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
13 years 12 months ago
Type Class Directives
Bastiaan Heeren, Jurriaan Hage
PADL
2005
Springer
13 years 12 months ago
An Ordered Logic Program Solver
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
PADL
2005
Springer
13 years 12 months ago
Code Compression
Saumya K. Debray
PADL
2005
Springer
13 years 12 months ago
Character-Based Cladistics and Answer Set Programming
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
Daniel R. Brooks, Esra Erdem, James W. Minett, Don...
PADL
2005
Springer
13 years 12 months 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
13 years 12 months ago
Functional Framework for Sound Synthesis
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...
Jerzy Karczmarczuk