4722 search results - page 159 / 945 » Representation-independent program analysis |
141
click to vote
FORTE
2007
15 years 7 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
169
click to vote
ICMAS
1998
15 years 7 months ago
1998
The success of agent-oriented concepts in various application domains, in particular in manufacturing control, creates the need for an agent-oriented analysis, design, and program...
168
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristi...
135
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...
128
click to vote
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...