1749 search results - page 158 / 350 » Logic, Optimization, and Constraint Programming |
132
Voted
PEPM
1993
ACM
15 years 7 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
193
click to vote
SOFSEM
2009
Springer
16 years 3 days ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
125
click to vote
CGO
2008
IEEE
15 years 9 months ago
2008
IEEE
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
147
click to vote
POPL
2011
ACM
14 years 6 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
147
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...