5415 search results - page 307 / 1083 » The Implementation of Functional Programming Languages |
109
click to vote
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
125
click to vote
APBC
2003
15 years 2 months ago
2003
The development of high-throughput genome sequencing and protein structure determination techniques have provided researchers with a wealth of biological data. Integrated analysis...
112
click to vote
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
—In spite of the modularization benefits supported by the Aspect-Oriented programming paradigm, different usability issues have hindered its adoption. The decoupling between asp...
189
click to vote
IFM
2010
Springer
14 years 11 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
110
click to vote
SSR
2001
15 years 2 months ago
2001
A quantitative study has shown that frame technology [1] supported by Fusion toolset can lead to reduction in time-tomarket (70%) and project costs (84%). Frame technology has bee...