Sciweavers

3736 search results - page 141 / 748
» Hand-Writing Program Generator Generators
Sort
View
CP
2006
Springer
15 years 8 months ago
Generating Propagators for Finite Set Constraints
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...
Guido Tack, Christian Schulte, Gert Smolka
136
Voted
PTS
1993
91views Hardware» more  PTS 1993»
15 years 6 months ago
Generating Tests for Control Portion of SDL Specifications
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-spec...
Gang Luo, Anindya Das, Gregor von Bochmann
134
Voted
VLDB
2001
ACM
83views Database» more  VLDB 2001»
15 years 9 months ago
Visual Web Information Extraction with Lixto
We present new techniques for supervised wrapper generation and automated web information extraction, and a system called Lixto implementing these techniques. Our system can gener...
Robert Baumgartner, Sergio Flesca, Georg Gottlob
146
Voted
JFP
2002
100views more  JFP 2002»
15 years 4 months ago
A typed representation for HTML and XML documents in Haskell
We define a family of embedded domain specific languages for generating HTML and XML documents. Each language is implemented as a combinator library in Haskell. The generated HTML...
Peter Thiemann
PPDP
2009
Springer
15 years 11 months ago
Scrap your boilerplate: prologically!
“Scrap Your Boilerplate” (SYB) is an established style of generic functional programming. The present paper reconstructs SYB within the Prolog language with the help of the un...
Ralf Lämmel