3568 search results - page 40 / 714 » Type Analysis for JavaScript |
EUSFLAT
2009
13 years 5 months ago
2009
Abstract-- This paper examines type-2 fuzzy arithmetic using interval analysis. It relies heavily on alpha-cuts and alpha-planes. Furthermore, we discuss the use of quasi type-2 fu...
ENTCS
2010
13 years 2 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...
ACMSE
2006
ACM
14 years 1 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
We explored whether Fisher and Durrance’s [11] framework of information communities applies to online technical newsgroups and the impact of particular social types on informati...
POPL
1998
ACM
14 years 1 days ago
1998
ACM
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...