1131 search results - page 152 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
104
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
88
Voted
DLT
2006
15 years 1 months ago
2006
This paper addresses the longstanding problem of the recognition limitations of classical LALR(1) parser generators by proposing the usage of noncanonical parsers. To this end, we...
200
Voted
POPL
2004
ACM
16 years 26 days 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...
117
Voted
HASKELL
2006
ACM
15 years 6 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
102
Voted
LOPSTR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Deforestation is a well-known program transformation technique which eliminates intermediate data structures that are passed between functions. One of its weaknesses is t...