1702 search results - page 15 / 341 » Doomed program points |
233
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
103
Voted
IWINAC
2007
Springer
15 years 8 months ago
2007
Springer
We consider a notion of morphism of neural networks and develop its properties. We show how, given any definite logic program P, the least fixed point of the immediate consequenc...
161
click to vote
SAS
1994
Springer
15 years 6 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
121
Voted
ESOP
1994
Springer
15 years 6 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
132
click to vote
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Within aspect-oriented programming, the quality of aspect code depends on the readability and expressiveness of pointcut languages. Readability is increased by using specialized, ...