1835 search results - page 129 / 367 » Functional Programming of Behavior-Based Systems |
158
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Using a directed acyclic graph (dag) model of algorithms, we solve a problem related to precedenceconstrained multiprocessor schedules for array computations: Given a sequence of ...
134
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...
146
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
145
click to vote
QSIC
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...
143
click to vote
TLDI
2009
ACM
16 years 1 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...