Sciweavers

3056 search results - page 239 / 612
» Compiling Embedded Languages
Sort
View
JAIR
2007
75views more  JAIR 2007»
14 years 11 months ago
The Language of Search
This paper is concerned with a class of algorithms that perform exhaustive search on propositional knowledge bases. We show that each of these algorithms defines and generates a ...
Jinbo Huang, Adnan Darwiche
ACMSE
2005
ACM
15 years 4 months ago
Reducing application code complexity with vocabulary-specific XML language bindings
The eXtensible Markup Language (XML) has become a ubiquitous data exchange and storage format. A variety of tools are available for incorporating XML-based data into applications....
Jules White, Boris Kolpackov, Balachandran Nataraj...
AOSD
2007
ACM
15 years 3 months ago
A static aspect language for checking design rules
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
Clint Morgan, Kris De Volder, Eric Wohlstadter
KI
2006
Springer
14 years 11 months ago
GeTS - A Specification Language for Geo-Temporal Notions
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
Hans Jürgen Ohlbach
TVCG
2010
194views more  TVCG 2010»
14 years 9 months ago
Declarative Language Design for Interactive Visualization
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarativ...
Jeffrey Heer, Michael Bostock