5415 search results - page 375 / 1083 » The Implementation of Functional Programming Languages |
190
click to vote
IASSE
2003
15 years 8 months ago
2003
This paper describes the functionality required for a development environment that supports stratified programming (SP), a novel software development method that we have proposed ...
175
click to vote
CIE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
203
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In the paper, an evolutionary approach to test generation for functional BIST is considered. The aim of the proposed scheme is to minimize the test data volume by allowing the dev...
169
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Techniques to update executing programs are needed to maintain software for which downtime is not an option. Without guidelines, dynamic update may provoke unreliable and unpredic...
160
click to vote
CC
2007
Springer
16 years 29 days ago
2007
Springer
To achieve high resource utilization for multi-issue Digital Signal Processors (DSPs), production compilers commonly include variants of the iterative modulo scheduling algorithm. ...