4880 search results - page 111 / 976 » Manuals as Structured Programs |
150
Voted
BMCBI
2011
14 years 10 months ago
2011
Background: With continuing identification of novel structured noncoding RNAs, there is an increasing need to create schematic diagrams showing the consensus features of these mol...
92
Voted
CTCS
1989
Springer
15 years 7 months ago
1989
Springer
We combine the principles of the Floyd-Warshall-Kleene algorithm, enriched categories, and Birkhoff arithmetic, to yield a useful class of algebras of transitive vertex-labeled s...
122
click to vote
ICSR
2000
Springer
15 years 7 months ago
2000
Springer
A serious problem of most transformation-based generators is that they are trying to achieve three mutually antagonistic goals simultaneously: 1) deeply factored operators and oper...
209
Voted
POPL
2011
ACM
14 years 6 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
119
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...