2018 search results - page 18 / 404 » Code Normal Forms |
POPL
1997
ACM
14 years 1 months ago
1997
ACM
The following theorem of Huet and L
ICIP
2005
IEEE
14 years 11 months ago
2005
IEEE
Dirty paper trellis codes are a form of watermarking with side information. These codes have the advantage of being invariant to valumetric scaling of the cover Work. However, the...
PEPM
1998
ACM
14 years 2 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
ENTCS
2008
13 years 10 months ago
2008
Most well-known algorithms for equational solving are based on quantifier elimination. This technique iteratively eliminates the innermost block of existential/universal quantifie...
WCRE
2010
IEEE
13 years 8 months ago
2010
IEEE
To date, most clone detection techniques have concentrated on various forms of source code analysis, often by analyzing token streams. In this paper, we introduce a complementary ...