Sciweavers

PADL
2000
Springer
14 years 3 months ago
First Class Patterns
Mark Tullsen
PADL
2000
Springer
14 years 3 months ago
Programming Deep Concurrent Constraint Combinators
Constraint combination methods are essential for a flexible constraint programming system. This paper presents deep concurrent constraint combinators based on computation spaces as...
Christian Schulte
PADL
2000
Springer
14 years 3 months ago
A Functional Logic Programming Approach to Graphical User Interfaces
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative styl...
Michael Hanus
PADL
2000
Springer
14 years 3 months ago
Parallel Functional Reactive Programming
In this paper, we demonstrate how Functional Reactive Programming (FRP), a framework for the description of interactive systems, can be extended to encompass parallel systems. FRP ...
John Peterson, Valery Trifonov, Andrei Serjantov
PADL
2000
Springer
14 years 3 months ago
GNU Prolog: Beyond Compiling Prolog to C
Daniel Diaz, Philippe Codognet
PADL
2000
Springer
14 years 3 months ago
Transformation-by-Example for XML
Abstract. xml is a language for describing markup languages for structured data. A growing number of applications that process xml documents are transformers, i.e., programs that c...
Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Gr...
PADL
2000
Springer
14 years 3 months ago
Calculating a New Data Mining Algorithm for Market Basket Analysis
The general goal of data mining is to extract interesting correlated information from large collection of data. A key computationally-intensive subproblem of data mining involves ...
Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
PADL
2000
Springer
14 years 3 months ago
A Logic-Based Information System
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
Salvador Abreu