1855 search results - page 63 / 371 » Composing model programs for analysis |
121
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circular a...
100
Voted
STTT
2002
15 years 2 months ago
2002
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
120
Voted
SPIN
2010
Springer
15 years 29 days ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
125
Voted
IJISTA
2007
15 years 2 months ago
2007
: Genetic Programming (GP), a heuristic optimisation technique based on the theory of Genetic Algorithms (GAs), is a method successfully used to identify non-linear model structure...
128
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...