2343 search results - page 9 / 469 » Structure and Interpretation of Computer Programs |
106
click to vote
JAIR
2007
14 years 11 months ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...
APAL
2010
14 years 11 months ago
2010
Computability theory concerns information with a causal
194
click to vote
POPL
2004
ACM
15 years 12 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...
188
click to vote
POPL
2007
ACM
15 years 12 months ago
2007
ACM
A method is presented for computing all higher-order partial derivatives of a multivariate function Rn R. This method works by evaluating the function under a nonstandard interpre...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Abstract – This study presents Albert Burroni’s polygraphs as an algebraic and graphical description of first-order functional programs, where functions can have many outputs....