933 search results - page 83 / 187 » Multi-paradigm Declarative Languages |
137
Voted
GI
2004
Springer
15 years 9 months ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
152
Voted
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
127
Voted
DALT
2006
Springer
15 years 7 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
128
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...
126
Voted
BNCOD
1997
15 years 5 months ago
1997
With the substantial change of declarative query languages from plain SQL to the so-called \object SQLs", in particular OQL, there has surprisingly been not much change in the...