2000 search results - page 305 / 400 » Program Transformation and Proof Transformation |
129
Voted
LCPC
1999
Springer
15 years 7 months ago
1999
Springer
One of the challenges present to a Java compiler is Java’s frequent use of runtime exceptions. These exceptions affect performance directly by requiring explicit checks, as wel...
110
Voted
LOPSTR
1998
Springer
15 years 7 months ago
1998
Springer
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure online termination of program analysis, specialisation and transformation t...
133
Voted
LICS
1997
IEEE
15 years 7 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
119
click to vote
CHI
1992
ACM
15 years 7 months ago
1992
ACM
We describe enhancements to graphical search and replace that allow users to extend the capabilities of a graphical editor. Interactive constraint-based search and replace can sea...
134
Voted
ICS
1992
Tsinghua U.
15 years 7 months ago
1992
Tsinghua U.
Previous research has used program transformation to introduce parallelism and to exploit data locality. Unfortunately,these twoobjectives have usuallybeen considered independentl...