2000 search results - page 314 / 400 » Program Transformation and Proof Transformation |
108
Voted
SAS
2007
Springer
15 years 9 months ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
159
click to vote
DRM
2005
Springer
15 years 9 months ago
2005
Springer
A software obfuscator is a program O to transform a source program P for protection against malicious reverse engineering. O should be correct (O(P) has same functionality with P)...
100
Voted
ICDM
2003
IEEE
15 years 8 months ago
2003
IEEE
In the literature of data mining, many different algorithms for association rule mining have been proposed. However, there is relatively little study on how association rules can ...
114
Voted
SAS
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes the precise speci cation, design, analysis, implementation, and measurements of an e cient algorithm for solving regular tree grammar based constraints. The p...
130
Voted
DAC
1999
ACM
15 years 7 months ago
1999
ACM
This paper presents a new algorithm for exact estimation of the minimum memory size required by programs dealing with array computations. Memory size is an important factor a ecti...