Control-Flow Refinement via Partial Evaluation

Title:Control-Flow Refinement via Partial Evaluation

Authors:Jesús J. Doménech, Samir Genaim and John P. Gallagher

Conference:WST 2018

Tags:control flow, control flow refinement, Control-Flow Refinment, cost analysis, flow refinement, integer transition system, Koat, linear ranking function, Partial Evaluation, RankFinder and termination analysis

Abstract:

In this extended abstract we explored the use of partial evaluation as a control-flow refinement technique in the context for termination and cost analysis. Our preliminary experiments show that partial evaluation can improve both analyses.

Control-Flow Refinement via Partial Evaluation

1

3

5

7

9

11

13

15

17

19

21

23

25

27

29

31

33

35

37

39

41

43

45

47

49

51

53

55

57

59

61

62

1of62

1

2

3

4