171 search results - page 1 / 35 » Arithmetic Function Interpreter in C |
JOT
2008
13 years 4 months ago
2008
FUIN
2007
13 years 4 months ago
2007
Q− is a weaker variant of Robinson arithmetic Q in which addition and multiplication are partial functions, i.e. ternary relations that are graphs of possibly non-total function...
CORR
2000
Springer
13 years 4 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
DAGSTUHL
2006
13 years 6 months ago
2006
Proposed text to specify an interval class in the C++ standard library, with justification and background. Contents I Motivation and Scope 3 II Foundations 3 IIIImpact on the Stan...
POPL
2004
ACM
14 years 5 months ago
2004
ACM
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...