430 search results - page 62 / 86 » Extracting Computer Algebra Programs from Statements |
104
Voted
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
127
click to vote
CHI
1996
ACM
15 years 6 months ago
1996
ACM
The NewsComm system delivers personalized news and other program material as audio to mobile users through a hand-held playback device. This paper focuses on the iterative design ...
116
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
Software-based self-test (SBST) is an emerging approach to address the challenges of high-quality, at-speed test for complex programmable processors and systems-on chips (SoCs) th...
136
Voted
DAGSTUHL
1996
15 years 3 months ago
1996
A partial evaluator, given a program and a known "static" part of its input data, outputs a specialised or residual program in which computations depending only on the st...
113
Voted
ICTAC
2004
Springer
15 years 7 months ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...