797 search results - page 28 / 160 » Eliminating Proofs from Programs |
207
click to vote
CC
2011
Springer
14 years 4 months ago
2011
Springer
For decades, the design and implementation of arrays in programming languages has reflected a natural tension between productivity and performance. Recently introduced HPCS langua...
108
click to vote
ISLPED
2004
ACM
15 years 6 months ago
2004
ACM
Microprocessor designers use techniques such as clock gating to reduce power dissipation. An unfortunate side-effect of these techniques is the processor current fluctuations th...
116
Voted
CSL
2001
Springer
15 years 5 months ago
2001
Springer
We introduce the calculus of structures: it is more general than the sequent calculus and it allows for cut elimination and the subformula property. We show a simple extension of m...
115
click to vote
FOAL
2009
ACM
15 years 7 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
104
Voted
LOGCOM
2007
15 years 19 days ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...