Sciweavers

29 search results - page 2 / 6
» Declarative Representation of Revision Strategies
Sort
View
ICDE
2008
IEEE
167views Database» more  ICDE 2008»
14 years 6 months ago
Towards Declarative Queries on Adaptive Data Structures
In this work we look at combining emerging technologies in programming languages with traditional query processing techniques to provide support for efficient execution of declarat...
Nicolas Bruno, Pablo Castro
SCAM
2002
IEEE
13 years 9 months ago
Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
Peter Bunus, Peter Fritzson
DEBU
2008
136views more  DEBU 2008»
13 years 4 months ago
Towards a Unified Declarative and Imperative XQuery Processor
Since the birth of XML, the processing of XML query languages like XQuery/XQueryP has been widely researched in the academic and industrial communities. Most of the approaches con...
Zhen Hua Liu, Anguel Novoselsky, Vikas Arora
LOPSTR
2005
Springer
13 years 10 months ago
Declarative Programming with Function Patterns
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
Sergio Antoy, Michael Hanus
CHI
1999
ACM
13 years 9 months ago
Bridging Strategies for VR-Based Learning
A distributed immersive virtual environment was deployed as a component of a pedagogical strategy for teaching third grade children that the Earth is round. The displacement strat...
Thomas G. Moher, Andrew E. Johnson, Stellan Ohlsso...