6 search results - page 1 / 2 » Equality-based flow analysis versus recursive types |
TOPLAS
1998
13 years 5 months ago
1998
POPL
1995
ACM
13 years 8 months ago
1995
ACM
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accep...
SAS
1997
Springer
13 years 9 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...
ITIIS
2010
13 years 3 months ago
2010
Traffic matrix-based anomaly detection and DDoS attacks detection in networks are research focus in the network security and traffic measurement community. In this paper, firstly,...
DMIN
2008
13 years 6 months ago
2008
Abstract-- In this paper, we propose an adaptive linear approach for time series modeling and steam line leakage detection. Weighted recursive least squares (WRLS) method is used f...