1880 search results - page 344 / 376 » A Static Analysis for Beta-Binders |
161
click to vote
PLDI
2009
ACM
16 years 17 days ago
2009
ACM
Modern websites are powered by JavaScript, a flexible dynamic scripting language that executes in client browsers. A common paradigm in such websites is to include third-party Ja...
145
click to vote
VMCAI
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
244
click to vote
AINA
2008
IEEE
16 years 7 days ago
2008
IEEE
The analysis of gene expression time series obtained from microarray experiments can be effectively exploited to understand a wide range of biological phenomena from the homeostat...
171
Voted
OOPSLA
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
153
click to vote
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
— In the eyes of many species, the optical nodal points of the cornea and lens do not lie on the axes of rotation of the eye. During eye movements, this lack of alignment produce...