1411 search results - page 63 / 283 » A Value Analysis for C Programs |
142
click to vote
ML
2006
ACM
15 years 10 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
123
click to vote
SCAM
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is form...
127
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re�...
124
click to vote
AI
2000
Springer
15 years 3 months ago
2000
Springer
Markov decisionprocesses(MDPs) haveproven to be popular models for decision-theoretic planning, but standard dynamic programming algorithms for solving MDPs rely on explicit, stat...
152
click to vote
IEAAIE
2011
Springer
14 years 7 months ago
2011
Springer
In this paper an agent-based analysis is made of patterns in crowd behaviour, in particular to simulate a real-life incident that took place on May 4, 2010 in Amsterdam. As a basis...