2236 search results - page 305 / 448 » Language Independence and Language Tolerance in Logic Progra... |
148
click to vote
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We investigate streaming evaluation of filters on XML documents, evaluated both at the root node and at an arbitrary node. Motivated by applications in protocol processin...
163
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
136
click to vote
BCS
2008
15 years 5 months ago
2008
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we hav...
126
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
124
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalism for specifying the quantitative properties to analyze have remained quite primitive. In th...