2362 search results - page 249 / 473 » Programming in Standard ML |
197
click to vote
AOSD
2012
ACM
14 years 6 days ago
2012
ACM
Emerging languages are often source-to-source compiled to mainstream ones, which offer standardized, fine-tuned implementations of non-functional concerns (NFCs)—including pers...
140
click to vote
PADL
2012
Springer
14 years 22 hour ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
143
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: FCI is an R code for analyzing data from real-time PCR experiments. This algorithm estimates standard curve features as well as nucleic acid concentrations and confide...
116
click to vote
TGC
2007
Springer
15 years 10 months ago
2007
Springer
Secure information flow analysis aims to prevent programs from leaking their H (high) inputs to their L (low) outputs. A major challenge in this area is to relax the standard noni...
140
click to vote
IEEEPACT
2006
IEEE
15 years 10 months ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...