430 search results - page 22 / 86 » Extracting Computer Algebra Programs from Statements |
106
Voted
ICPP
1996
IEEE
15 years 6 months ago
1996
IEEE
The ability to automatically parallelize standard programming languages results in program portability across a wide range of machine architectures. It is the goal of the Polaris ...
116
click to vote
COMPSAC
2000
IEEE
15 years 6 months ago
2000
IEEE
Genetic programming tackles the issue of how to automatically create a working computer program for a given problem from some initial problem statement. The goal is accomplished i...
112
Voted
CMMR
2003
Springer
15 years 7 months ago
2003
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the fi...
117
click to vote
KBSE
1997
IEEE
15 years 6 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
139
click to vote
TYPES
2004
Springer
15 years 7 months ago
2004
Springer
We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracte...