10435 search results - page 252 / 2087 » Computational Biology and Language |
156
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present the basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming langua...
153
click to vote
PLDI
2006
ACM
16 years 18 days ago
2006
ACM
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining the...
179
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Signal finding (pattern discovery) in biological sequences is a fundamental problem in both computer science and molecular biology. Many approaches have been proposed for extract...
166
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
174
click to vote
TLCA
2005
Springer
16 years 3 days ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...