672 search results - page 42 / 135 » On the Expressive Power of the Loop Language |
147
click to vote
LOGCOM
2007
15 years 4 months ago
2007
Structural causal models offer a popular framework for exploring causal concepts. However, due to their limited expressiveness, structural models have difficulties coping with su...
137
click to vote
PODS
2004
ACM
16 years 4 months ago
2004
ACM
XPath is the W3C?standard node addressing language for XML documents. XPath is still under development and its technical aspects are intensively studied. What is missing at presen...
143
click to vote
ICALP
2009
Springer
15 years 9 months ago
2009
Springer
We consider an extension of the guarded fragment in which one can guard quanti ers using the transitive closure of some binary relations. The obtained logic captures the guarded fr...
138
click to vote
POPL
1994
ACM
15 years 8 months ago
1994
ACM
This paper presents a variant of the SML module system roduces a strict distinction between abstract types and manifest types (types whose definitions are part of the module speci...
150
click to vote
FLOPS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...