3568 search results - page 93 / 714 » Type Analysis for JavaScript |
ICTAC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
COLING
1996
13 years 9 months ago
1996
This paper focusses on mental state adjectives and offers a unified analysis in the theory of Generative Lexicon (Pustejovsky, 1991, 1995). We show that, instead of enumerating th...
ICPR
2000
IEEE
14 years 9 months ago
2000
IEEE
This paper describes an efficient method to obtain 3D information from omni images using EPI analysis. Two types of omni cameras are employed to make a spatio-temporal volume, whi...
ICDM
2006
IEEE
14 years 2 months ago
2006
IEEE
Data stream values are often associated with multiple aspects. For example, each value from environmental sensors may have an associated type (e.g., temperature, humidity, etc) as...
IJNSEC
2007
13 years 7 months ago
2007
Java programs can be transmitted and executed on another host in bytecode format, thus the sensitive information of the host may be leaked via these assembly-like programs. Inform...