959 search results - page 80 / 192 » On the implementation of automatic differentiation tools |
CSMR
2002
IEEE
14 years 1 months ago
2002
IEEE
It is shown how software metrics and architectural patterns can be used for the management of software evolution. In the presented architecture-centric software evolutionmethod th...
DIMVA
2006
13 years 10 months ago
2006
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...
CADE
2010
Springer
13 years 10 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
ENTCS
2007
13 years 9 months ago
2007
bstractions for a Jazz Improvisation Assistant Robert Keller1 Martin Hunt, Stephen Jones, David Morrison, Aaron Wolin Computer Science Harvey Mudd College Claremont, California, US...
ECOOP
2009
Springer
14 years 9 months ago
2009
Springer
Refactoring tools allow the programmer to pretend they are working with a richer language where the behaviour of a program is automatically preserved during restructuring. In this ...