2932 search results - page 53 / 587 » Higher order mining |
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
75
Voted
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. ...
101
click to vote
COMPGEOM
1994
ACM
15 years 4 months ago
1994
ACM
We give simple randomized incremental algorithms for computing the k-level in an arrangement of n lines in the plane or in an arrangement of n planes in R3. The expected running ti...