2000 search results - page 252 / 400 » Program Transformation and Proof Transformation |
106
click to vote
TLCA
1999
Springer
15 years 8 months ago
1999
Springer
AnnoDomini is a commercially available source-to-source conversion tool for finding and fixing Year 2000 problems in COBOL programs. AnnoDomini uses type-based specification, an...
130
click to vote
LCTRTS
1998
Springer
15 years 8 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
124
click to vote
SIGGRAPH
1994
ACM
15 years 8 months ago
1994
ACM
A new algorithm for computing contact forces between solid objects with friction is presented. The algorithm allows a mix of contact points with static and dynamic friction. In co...
114
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
120
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Nested if-then-else statements is the most common programming schema in applications like data transformation or data analysis. In most cases, these can be replaced by hi...