988 search results - page 81 / 198 » The Frontiers of Data Programmability |
103
Voted
APLAS
2010
ACM
15 years 26 days ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
112
Voted
ADAEUROPE
2000
Springer
15 years 5 months ago
2000
Springer
Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/ restoring is a very active res...
108
click to vote
GECCO
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents an extension to genetic programming to allow the evolution of programs containing local variables with static scope which obey the invariant that all variables...
104
Voted
CSREAESA
2006
15 years 2 months ago
2006
SoPC (System on a Programmable Chip) is one important kind of SoC solution based on PLD (Programmable Logic Device). At the same time, PBD (Platform-based Design) has become popul...
97
Voted
CORR
2010
Springer
15 years 6 days ago
2010
Springer
The persistent programming systems of the 1980s offered a programming model that integrated computation and long-term storage. In these systems, reliable applications could be eng...