1880 search results - page 8 / 376 » A Static Analysis for Beta-Binders |
65
Voted
SIGSOFT
2011
ACM
14 years 4 months ago
2011
ACM
107
Voted
COORDINATION
2011
Springer
14 years 1 months ago
2011
Springer
INFSOF
2011
14 years 1 months ago
2011
ERSHOV
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Historically, dynamic techniques are the pioneers of the area of information flow in the 70's. In their seminal work, Denning and Denning suggest a static alternativ...
112
click to vote
ISSTA
2012
ACM
13 years 2 days ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...