2018 search results - page 20 / 404 » Code Normal Forms |
137
click to vote
TIT
2008
15 years 5 months ago
2008
We study the functional codes C2(X) defined on projective varieties X, in the case where X P3 is a 1-degenerate quadric or a non-degenerate quadric (hyperbolic or elliptic). We fi...
145
click to vote
JSYML
2011
15 years 27 days ago
2011
Abstract. Westudy cut-elimination in first-orderclassical logic. Weconstructa sequenceofpolynomiallength proofs having a non-elementary number of different cut-free normal forms....
155
click to vote
FASE
2009
Springer
16 years 22 days ago
2009
Springer
Reuse of existing libraries simplifies software development efforts. However, these libraries are often complex and reusing the APIs in the libraries involves a steep learning cu...
127
click to vote
IWPC
1999
IEEE
15 years 10 months ago
1999
IEEE
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...
185
Voted
ESOP
1994
Springer
15 years 10 months ago
1994
Springer
Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps c...