1686 search results - page 57 / 338 » Higher Order Deforestation |
POPL
1996
ACM
15 years 4 months ago
1996
ACM
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...
TLCA
1997
Springer
15 years 4 months ago
1997
Springer
ISCAS
1994
IEEE
15 years 4 months ago
1994
IEEE
140
click to vote
LICS
1994
IEEE
15 years 4 months ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...