4716 search results - page 614 / 944 » Tangible functional programming |
BMCBI
2007
14 years 11 months ago
2007
Background: Ribozymes are small catalytic RNAs that possess the dual functions of sequencespecific RNA recognition and site-specific cleavage. Trans-cleaving ribozymes can inhibit...
SIGSOFT
2008
ACM
16 years 3 days ago
2008
ACM
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...
SIGSOFT
2007
ACM
16 years 3 days ago
2007
ACM
Use case diagrams (UCDs) are widely used to describe requirements and desired functionality of software products. However, UCDs are loosely linked to source code, and maintaining ...
189
click to vote
POPL
2008
ACM
15 years 11 months ago
2008
ACM
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
187
click to vote
POPL
2003
ACM
15 years 11 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...