12272 search results - page 455 / 2455 » Experimental program analysis |
190
click to vote
SAS
1997
Springer
15 years 11 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...
199
click to vote
JUCS
2007
15 years 6 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
176
click to vote
SETP
2007
15 years 8 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...
177
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Parameter setting is an important issue in the design of evolutionary algorithms. Recently, experimental work has pointed out that it is often not useful to work with a fixed ...
162
click to vote
ISESE
2006
IEEE
16 years 27 days ago
2006
IEEE
The replication of experiments is a key undertaking in SE. Successful replications enable a discipline’s body of knowledge to grow, as the results are added to those of earlier ...