3568 search results - page 43 / 714 » Type Analysis for JavaScript |
ICDAR
2009
IEEE
13 years 5 months ago
2009
IEEE
Functional image classification is the assignment of different image types to separate classes to optimize their rendering for reading or other specific end task, and is an import...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
DAGSTUHL
2008
13 years 9 months ago
2008
From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in ...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
NOLISP
2005
Springer
14 years 1 months ago
2005
Springer
Most research on F0 has attempted to model the behaviour of an entire linguistic community (e.g of speakers of US or UK English, French, Japanese etc). In this research, we attempt...