15754 search results - page 691 / 3151 » Programs are Knowledge Bases |
195
click to vote
PADL
2005
Springer
16 years 29 days ago
2005
Springer
In this article we investigate a novel execution paradigm—ML-like pattern-matching— for XML query processing. We show that such a paradigm is well adapted for a common and freq...
194
click to vote
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a method for verifying measurement-based quantum computations, by producing a quantum circuit equivalent to a given deterministic measurement pattern. We defin...
200
click to vote
AOSD
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we present a collection of well-known high-level concurrency patterns and mechanisms, coded in AspectJ. We discuss benefits of these implementations relative to pla...
216
click to vote
TACS
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
236
click to vote
UC
2009
Springer
16 years 2 months ago
2009
Springer
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...