4880 search results - page 269 / 976 » Manuals as Structured Programs |
249
Voted
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
135
click to vote
HOTOS
2007
IEEE
15 years 8 months ago
2007
IEEE
We propose a new concurrent programming model, Automatic Mutual Exclusion (AME). In contrast to lock-based programming, and to other programming models built over software transac...
151
click to vote
ENTCS
2007
15 years 4 months ago
2007
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
139
click to vote
JLP
2007
15 years 4 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
166
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: MicroRNAs (miRNAs) are short, non-coding RNA molecules that are directly involved in post-transcriptional regulation of gene expression. The mature miRNA sequence bind...