1805 search results - page 222 / 361 » Functional programming with structured graphs |
130
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: The general problem of RNA secondary structure prediction under the widely used thermodynamic model is known to be NP-complete when the structures considered include a...
120
click to vote
SWAT
2004
Springer
15 years 6 months ago
2004
Springer
We show that any priority queue data structure that supports insert, delete, and find-min operations in pq(n) time, when n is an upper bound on the number of elements in the prio...
115
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
114
click to vote
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calcul...
150
click to vote
AMAST
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...