29 search results - page 1 / 6 » Abstract numeration systems on bounded languages and multipl... |
CORR
2007
Springer
13 years 4 months ago
2007
Springer
ICALP
1997
Springer
13 years 9 months ago
1997
Springer
ARITH
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— This paper explores the use of the double-base number system (DBNS) for constant integer multiplication. The DBNS recoding scheme represents integers – in this case c...
INFORMATICALT
2002
13 years 4 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
POPL
2009
ACM
14 years 5 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...