861 search results - page 38 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
125
Voted
GECCO
2010
Springer
15 years 5 months ago
2010
Springer
Foreign exchange (forex) market trading using evolutionary algorithms is an active and controversial area of research. We investigate the use of a linear genetic programming (LGP)...
108
click to vote
POPL
1996
ACM
15 years 6 months ago
1996
ACM
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...
116
click to vote
SIGSOFT
2010
ACM
15 years 12 days ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
108
click to vote
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
This paper presents Lancet, a multi-platform software visualization tool that enables the inspection of programs at the binary code level. Implemented on top of the linktime rewri...
132
Voted
SIGCSE
2009
ACM
15 years 9 months ago
2009
ACM
Jeannette Wing’s call for teaching Computational Thinking (CT) as a formative skill on par with reading, writing, and arithmetic places computer science in the category of basic...