933 search results - page 81 / 187 » Multi-paradigm Declarative Languages |
115
click to vote
EUROITV
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. ShapeShifting TV denotes an approach to interactive television programmes that can adapt during delivery to the preferences of the active viewers. ShapeShifting TV is bas...
119
click to vote
BXML
2004
15 years 5 months ago
2004
: We present a grammar-based approach to specifying k-ary queries for XML documents. k-ary queries simultaneously locate k nodes of an input tree as specified by a given relation. ...
161
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
144
Voted
JLP
2008
15 years 4 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
115
click to vote
TOSEM
2002
15 years 3 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...