4719 search results - page 273 / 944 » Newtonian program analysis |
147
click to vote
SETP
2007
15 years 7 months ago
2007
Scientific equations embedded in computer programs must obey the rules for dimensional consistency. Many efforts have been made to enforce these rules within computer programs. So...
141
click to vote
ACSC
2009
IEEE
16 years 22 days ago
2009
IEEE
The Python programming language is typical among dynamic languages in that programs written in it are not susceptible to static analysis. This makes efficient static program compi...
149
click to vote
PPDP
2009
Springer
16 years 13 days ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
163
click to vote
SCAM
2003
IEEE
15 years 11 months ago
2003
IEEE
Program slice is a set of statements that affect the value of variable v in a statement s. In order to calculate a program slice, we must know the dependence relations between sta...
172
click to vote
TPHOL
2008
IEEE
16 years 8 days ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...