1911 search results - page 300 / 383 » Program analysis for code duplication in logic programs |
142
Voted
MICAI
2005
Springer
15 years 8 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
199
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of types in typical scripting languages means that programmers must (re)disc...
117
Voted
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
4 Automatic differentiation is the primary means of obtaining analytic5 derivatives from a numerical model given as a computer program. There-6 fore, it is an essential productivi...
103
click to vote
IEEEARES
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...
145
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...