PADL
15 years 2 months ago
2005 Springer 
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...
PADL
15 years 2 months ago
2005 Springer  PADL
15 years 2 months ago
2005 Springer
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,...
PADL
15 years 2 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
15 years 2 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...
|
Programming Languages