123
click to vote
PEPM
1991
ACM
15 years 8 months ago
1991
ACM
This is a follow-on to my 1988PLDIpaper, “Control-Flow Analysis e”[9]. Iusethe methodofabstractsemanticinterpretations to explicate the control-flow analysis technique presen...
130
click to vote
PEPM
1991
ACM
15 years 8 months ago
1991
ACM
It is well known that the performance of a program can often be improved by means of program transformation. Several program transformation techniques, eg. partial evaluation, wor...
125
click to vote
ICRA
1994
IEEE
15 years 8 months ago
1994
IEEE
Analysis and simulations are performed for a simplified model of a commercially available variant on the skateboard, known as the Snakeboard1 . Although the model exhibits basic g...