4959 search results - page 422 / 992 » Imperative Functional Programming |
196
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Continuation Passing Style (CPS) is one of the most important issues in the field of functional programming languages, and the quest for a primitive notion of types for continuati...
237
click to vote
ECEASST
2006
15 years 7 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
222
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: MicroRNAs (miRNAs) are endogenous small RNAs that play a key role in post-transcriptional regulation of gene expression in animals and plants. The number of known miRN...
228
click to vote
IFL
2004
Springer
16 years 29 days ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
222
click to vote
IEEEINTERACT
2003
IEEE
16 years 26 days ago
2003
IEEE
For call intensive programs, function calls are major bottlenecks during program execution since they usually force register contents to be spilled into memory. Such register to m...