The document describes an incremental approach to name and type analysis for programming languages. It involves the following key tasks: 1. Caching previous analysis results to reuse when possible. 2. Detecting changes to the program to determine what needs reanalysis. 3. Invalidating and propagating effects of changes to determine dependent calculations that need re-evaluation. 4. Tracking dependencies between calculations to determine propagation of changes. 5. Scheduling re-evaluation of invalidated calculations in an efficient order based on dependencies. This approach aims to perform analysis incrementally on changes rather than reanalyzing the entire program from scratch, improving efficiency.

1. A Language Independent Task
Engine for Incremental Name
and Type Analysis
Guido H. Wachsmuth
Gabriel D. P. Konat
Vlad A.Vergu
Danny M. Groenewegen
Eelco Visser

2. Spoofax Language Workbench

3. Spoofax Language Workbench

4. Name and Type Analysis

5. class A {
class C : A {
class B {
B b;
int m;
}
}
float f;
float m() {
return 1 + b.f;
}
int n() {
return m();
}
int i;
int m() {
return 0;
}
}

6. Name Analysis
class A {
class C : A {
class B {
B b;
int m;
}
}
float f;
float m() {
return 1 + b.f;
}
int n() {
return m();
}
int i;
int m() {
return 0;
}
}
Assign to each reference its corresponding definition

7. Name Analysis
class A {
class C : A {
class B {
B b;
int m;
}
}
float f;
float m() {
return 1 + b.f;
}
int n() {
return m();
}
int i;
int m() {
return 0;
}
}
Assign to each reference its corresponding definition

8. Name Analysis
class A {
class C : A {
class B {
B b;
int m;
}
}
float f;
float m() {
return 1 + b.f;
}
int n() {
return m();
}
int i;
int m() {
return 0;
}
}
Assign to each reference its corresponding definition

9. Name Analysis
class A {
class C : A {
class B {
B b;
int m;
}
}
float f;
float m() {
return 1 + b.f;
}
int n() {
return m();
}
int i;
int m() {
return 0;
}
}
Assign to each reference its corresponding definition

10. Name Analysis
class A {
class C : A {
class B {
B b;
int m;
}
}
float f;
float m() {
return 1 + b.f;
}
int n() {
return m();
}
int i;
int m() {
return 0;
}
}
Assign to each reference its corresponding definition

11. Name Analysis
class A {
class C : A {
class B {
B b;
int m;
}
}
float f;
float m() {
return 1 + b.f;
}
int n() {
return m();
}
int i;
int m() {
return 0;
}
}
Assign to each reference its corresponding definition

12. Type Analysis
class A {
class C : A {
class B {
B b;
int m;
}
}
float f;
float m() {
return 1 + b.f;
}
int n() {
return m();
}
int i;
int m() {
return 0;
}
}
Assign a type to each expression

13. Type Analysis
class A {
class C : A {
B b;
}
float f;
float m() {
return 1 + b.f;
}
}
int i;
int m;
int n() {
return m();
}
float
class B {
int m() {
return 0;
}
}
Assign a type to each expression

14. Type Analysis
class A {
class C : A {
B b;
}
float f;
float m() {
return 1 + b.f;
}
}
int i;
int m;
int n() {
return m();
}
float
class B {
int m() {
return 0;
}
}
Assign a type to each expression

15. Type Analysis
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
float m() {
return 1 + b.f;
}
}
float
class B {
}
int m() {
return 0;
}
}
Assign a type to each expression

16. Type Analysis
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
float m() {
return 1 + b.f;
}
}
float
class B {
}
int m() {
return 0;
}
}
float
Assign a type to each expression

17. Type Analysis
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
float m() {
return 1 + b.f;
}
}
float
class B {
}
int m() {
return 0;
}
}
float
float
Assign a type to each expression

18. Type Analysis
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
float m() {
return 1 + b.f;
}
}
float
class B {
}
int m() {
return 0;
}
}
float
float
float
Assign a type to each expression

19. Type Analysis
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
float m() {
return 1 + b.f;
}
}
float
class B {
}
int m() {
return 0;
}
}
float
float
float
Assign a type to each expression
int

20. class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
float m() {
return 1 + b.f;
}
}
float
class B {
}
int m() {
return 0;
}
}
float
float
float
int

21. class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
float m() {
return 1 + b.f;
}
}
float
class B {
}
int m() {
return 0;
}
}
float
float
float
int

22. class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
return 1 + b.f;
}
}
float
class B {
}
int m() {
return 0;
}
}
float
float
float
int

23. class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
float
int

24. class A {
class C : A {
B b;
int n() {
return m();
m()
}
int m;
int i;
B
float f;
int m() {
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
float
int

25. class A {
class C : A {
B b;
int n() {
return m();
m()
}
int m;
int i;
B
float f;
int m() {
return 1 + b.f;
return 1 + b.f
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
float
int

26. Incremental
Name and Type Analysis

27. class A {
class C : A {
B b;
int n() {
return m();
m()
}
int m;
int i;
B
float f;
int m() {
b.f
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
float
int

28. 1. Caching
class A {
class C : A {
B b;
int n() {
return m();
m()
}
int m;
int i;
B
float f;
int m() {
b.f
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
float
Reuse analysis results from previous analysis
int

29. 2. Change detection
class A {
class C : A {
B b;
int n() {
return m();
m()
}
int m;
int i;
B
float f;
int
int m() {
b.f
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
float
Which part of the program has changed?
int

30. 3. Invalidation & propagation
class A {
class C : A {
B b;
int n() {
return m();
m()
}
int m;
int i;
B
float f;
int m() {
b.f
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
float
Which calculations are affected by a change?
int

31. 4. Dependency tracking
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
int
float
What are the dependencies between calculations?

32. 4. Dependency tracking
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
int
float
What are the dependencies between calculations?

33. 4. Dependency tracking
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
int
float
What are the dependencies between calculations?

34. 4. Dependency tracking
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
int
float
What are the dependencies between calculations?

35. 4. Dependency tracking
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
int
float
What are the dependencies between calculations?

36. 4. Dependency tracking
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
int
float
What are the dependencies between calculations?

37. 5. Scheduling
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
int
float
How to (re-)schedule invalidated calculations?

38. Caching
Change detection
Invalidation & propagation
Dependency tracking
Scheduling

39. class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
float
int

40. class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
f
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
float
int

41. class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
i
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
float
int

42. Caching
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
i
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
float
int

43. Change Detection
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
i
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
float
int

44. Invalidation
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
i
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
float
int

45. Propagation
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
i
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
float
int

46. Propagation
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
i
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
float
int

47. Propagation
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
i
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
float
int

48. Scheduling
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
i
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
float
int

49. Scheduling
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
i
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
float
int

50. Scheduling
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
i
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
float
float
float
int

51. Scheduling
class A {
class C : A {
B b;
int n() {
return m();
}
int m;
int i;
B
float f;
int m() {
i
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
int
float
float
int

52. Scheduling
class A {
class C : A {
B b;
int n() {
return m();
}
int i;
B
int m;
float f;
int m() {
i
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
int
float
int
int

53. Scheduling
class A {
class C : A {
B b;
int n() {
return m();
}
int i;
B
int m;
float f;
int m() {
i
return 1 + b.f;
}
}
int
class B {
}
int m() {
return 0;
}
}
int
int
int
int

54. Scheduling
class A {
class C : A {
B b;
int n() {
return m();
}
int i;
B
int m;
float f;
int m() {
return 1 + b.i;
}
}
int
class B {
}
int m() {
return 0;
}
}
int
int
int
int

55. class A {
class C : A {
B b;
int n() {
return m();
}
int i;
B
int m;
float f;
int m() {
return 1 + b.i;
}
}
int
class B {
}
int m() {
return 0;
}
}
int
int
int
int

56. Tasks

57. class A {
class C : A {
B b;
int n() {
return m();
}
int i;
B
int m;
float f;
int m() {
return 1 + b.i;
}
}
int
class B {
}
int m() {
return 0;
}
}
int
int
int
int

58. Units of computation ...
class A {
class C : A {
B b;
int n() {
return m();
}
int i;
B
int m;
float f;
int m() {
return 1 + b.i;
}
}
int
class B {
}
int m() {
return 0;
}
}
int
int
int
int

59. ... with cacheable results ...
class A {
class C : A {
B b;
int n() {
return m();
}
int i;
B
int m;
float f;
int m() {
return 1 + b.i;
}
}
int
class B {
}
int m() {
return 0;
}
}
int
int
int
int

60. ... and dependencies on each other
class A {
class C : A {
B b;
int n() {
return m();
}
int i;
B
int m;
float f;
int m() {
return 1 + b.i;
}
}
int
class B {
}
int m() {
return 0;
}
}
int
int
int
int

61. resolve class A
resolve class B
resolve method m
resolve field b
resolve field i
class A {
class C : A {
B b;
int n() {
return m();
}
int i;
B
int m;
float f;
int m() {
return 1 + b.i;
}
}
int
class B {
}
int m() {
return 0;
}
}
int
int
int
int

62. resolve class A
resolve class B
resolve method m
resolve field b
resolve field i
class A {
class C : A {
B b;
float f;
int m() {
return 1 + b.i;
}
}
int i;
int m;
int n() {
return m();
}
int m() {
return 0;
}
}
calc type of m()
class B {
}
calc type of b
calc type of i
calc type of b.i
calc type of 1 + b.i
calc type of 0

63. Name and Type Analysis

64. Name and Type Analysis
with Tasks

65. class B {
int i;
float f;
}
class A {
B b;
float m() { return 1 + b.i; }
}

66. class B {
int i;
float f;
}
class A {
B b;
float m() { return 1 + b.i; }
}

67. class A {
B b;
float m() { return 1 + b.i; }
}
class B {
int i;
float f;
}
define class B
define field i
type of i is int
define field f
type of f is float
Facts

68. class A {
B b;
float m() { return 1 + b.i; }
}
class B {
int i;
float f;
}
define class B
define field i
type of i is int
define field f
type of f is float
Facts
Tasks

69. class A {
B b;
float m() { return 1 + b.i; }
}
class B {
int i;
float f;
}
define class B
define field i
type of i is int
define field f
type of f is float
Facts
Tasks

70. class A {
B b;
float m() { return 1 + b.i; }
}
class B {
int i;
float f;
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
define field f
type of f is float
Facts
Tasks

71. class A {
B b;
float m() { return 1 + b.i; }
}
class B {
int i;
float f;
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
define field f
resolve field i
calc type of b
calc type of i
calc type of 1
calc type of b.i
calc type of 1 + b.i
type of f is float
Facts
Tasks

72. class A {
B b;
float m() { return 1 + b.i; }
}
class B {
int i;
float f;
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
resolve class B
resolve field b
resolve field i
calc type of b
calc type of i
calc type of 1
calc type of b.i
calc type of 1 + b.i
1
type of i is int
define field f
type of f is float
Facts
Tasks

73. class A {
B b;
float m() { return 1 + b.i; }
}
class B {
int i;
float f;
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
1
type of i is int
define field f
type of f is float
resolve class B
2
resolve field b
resolve field i
Facts
Tasks
calc type of b
calc type of i
calc type of 1
calc type of b.i
calc type of 1 + b.i

74. class A {
B b;
float m() { return 1 + b.i; }
}
class B {
int i;
float f;
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
1
type of i is int
define field f
type of f is float
resolve class B
2
resolve field i
Facts
Tasks
calc type of i
calc type of b.i
resolve field b
calc type of b
3
calc type of 1
calc type of 1 + b.i

75. class A {
B b;
float m() { return 1 + b.i; }
}
class B {
int i;
float f;
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
1
define field f
type of f is float
Facts
Tasks
resolve class B
2
resolve field b
resolve field i
type of i is int
4
calc type of b
calc type of i
3
calc type of 1
calc type of b.i
calc type of 1 + b.i

76. class A {
B b;
float m() { return 1 + b.i; }
}
class B {
int i;
float f;
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
1
resolve class B
2
resolve field b
define field f
5
resolve field i
4
calc type of b
calc type of i
3
calc type of 1
type of f is float
Facts
Tasks
calc type of b.i
calc type of 1 + b.i

77. class A {
B b;
float m() { return 1 + b.i; }
}
class B {
int i;
float f;
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
1
resolve class B
2
resolve field b
define field f
5
resolve field i
4
calc type of b
6
calc type of i
3
calc type of 1
type of f is float
Facts
Tasks
calc type of b.i
calc type of 1 + b.i

78. class A {
B b;
float m() { return 1 + b.i; }
}
class B {
int i;
float f;
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
1
resolve class B
2
resolve field b
define field f
5
resolve field i
4
calc type of b
Facts
6
calc type of i
3
calc type of 1
Tasks
7
calc type of b.i
type of f is float
calc type of 1 + b.i

79. class A {
B b;
float m() { return 1 + b.i; }
}
class B {
int i;
float f;
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
1
resolve class B
2
resolve field b
define field f
5
resolve field i
4
calc type of b
Facts
6
calc type of i
3
calc type of 1
Tasks
7
calc type of b.i
type of f is float
calc
8
type of 1 + b.i

80. class A {
B b;
float m() { return 1 + b.i; }
}
class B {
int i;
float f;
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
1
resolve class B
2
resolve field b
define field f
5
resolve field i
4
calc type of b
Facts
6
calc type of i
3
calc type of 1
Tasks
7
calc type of b.i
type of f is float
calc
8
type of 1 + b.i

81. Incremental
Name and Type Analysis
with Tasks

82. class B {
int i;
float f;
}
class A {
B b;
float m() { return 1 + b.i; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
define field f
resolve field i
calc type of b
type of f is float
calc type of i
calc type of 1
calc type of b.i
calc type of 1 + b.i

83. class B {
int i;
float f;
}
class A {
B b;
i
float m() { return 1 + b.i; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
define field f
resolve field i
calc type of b
type of f is float
calc type of i
calc type of 1
calc type of b.i
calc type of 1 + b.i

84. class B {
int i;
float f;
}
class A {
B b;
f
float m() { return 1 + b.i; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
define field f
resolve field i
calc type of b
type of f is float
calc type of i
calc type of 1
calc type of b.i
calc type of 1 + b.i

85. class B {
int i;
float f;
}
class A {
B b;
f
float m() { return 1 + b.i; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
define field f
resolve field i
calc type of b
type of f is float
calc type of i
calc type of 1
calc type of b.i
calc type of 1 + b.i

86. class B {
int i;
float f;
}
class A {
B b;
f
float m() { return 1 + b.i; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
define field f
resolve field i
calc type of b
type of f is float
calc type of i
calc type of 1
calc type of b.i
calc type of 1 + b.i

87. class B {
int i;
float f;
}
class A {
B b;
f
float m() { return 1 + b.i; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
define field f
resolve field i
calc type of b
type of f is float
calc type of i
calc type of 1
calc type of b.i
calc type of 1 + b.i

88. class B {
int i;
float f;
}
class A {
B b;
f
float m() { return 1 + b.i; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
define field f
calc type of b
type of f is float
calc type of 1

89. class B {
int i;
float f;
}
class A {
B b;
f
float m() { return 1 + b.i; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
define field f
resolve field f
calc type of b
type of f is float
calc type of f
calc type of 1
calc type of b.f
calc type of 1 + b.f

90. class B {
int i;
float f;
}
class A {
B b;
f
float m() { return 1 + b.i; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
resolve field f
calc type of b
calc type of f
calc type of 1
calc type of b.f
calc type of 1 + b.f
define field f
type of f is float
1

91. class B {
int i;
float f;
}
class A {
B b;
f
float m() { return 1 + b.i; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
define field f
1
resolve field f
calc type of b
type of f is float
2
calc type of f
calc type of 1
calc type of b.f
calc type of 1 + b.f

92. class B {
int i;
float f;
}
class A {
B b;
f
float m() { return 1 + b.i; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
define field f
1
resolve field f
calc type of b
type of f is float
2
calc type of f
calc type of 1
3
calc type of b.f
calc type of 1 + b.f

93. class B {
int i;
float f;
}
class A {
B b;
f
float m() { return 1 + b.i; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
define field f
1
resolve field f
calc type of b
type of f is float
2
calc type of f
calc type of 1
3
calc type of b.f
calc
4
type of 1 + b.f

94. class B {
int i;
float f;
}
class A {
B b;
f
float m() { return 1 + b.i; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
define field f
1
resolve field f
calc type of b
type of f is float
2
calc type of f
calc type of 1
3
calc type of b.f
calc
4
type of 1 + b.f

95. class B {
int i;
float f;
}
class A {
B b;
float m() { return 1 + b.f; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
define field f
resolve field f
calc type of b
type of f is float
calc type of f
calc type of 1
calc type of b.f
calc type of 1 + b.f

96. class B {
int i;
float f;
}
class A {
B b;
float m() { return 1 + b.f; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
define field f
resolve field f
calc type of b
type of f is float
calc type of f
calc type of 1
calc type of b.f
calc type of 1 + b.f

97. class B {
int i;
float f;
}
class A {
B b;
float m() { return 1 + b.f; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
define field f
resolve field f
calc type of b
type of f is float
calc type of f
calc type of 1
calc type of b.f
calc type of 1 + b.f

98. class B {
int i;
float f;
}
class A {
B b;
float m() { return 1 + b.f; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
define field f
resolve field f
calc type of b
type of f is float
calc type of f
calc type of 1
calc type of b.f
calc type of 1 + b.f

99. class B {
int i;
float f;
}
class A {
B b;
float m() { return 1 + b.f; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
define field f
resolve field f
calc type of b
type of f is float
calc type of f
calc type of 1
calc type of b.f
calc type of 1 + b.f

100. class B {
int i;
float f;
}
class A {
B b;
float m() { return 1 + b.f; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
resolve field f
calc type of b
calc type of f
calc type of 1
calc type of b.f
calc type of 1 + b.f

101. class B {
int i;
float f;
}
class A {
B b;
float m() { return 1 + b.f; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
resolve field f
calc type of b
calc type of f
calc type of 1
calc type of b.f
calc type of 1 + b.f

102. class B {
int i;
float f;
}
class A {
B b;
float m() { return 1 + b.f; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
resolve field f
calc type of b
calc type of f
calc type of 1
calc type of b.f
calc type of 1 + b.f

103. class B {
int i;
float f;
}
class A {
B b;
float m() { return 1 + b.f; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
resolve field f
calc type of b
calc type of f
calc type of 1
calc type of b.f
calc type of 1 + b.f
1

104. class B {
int i;
float f;
}
class A {
B b;
float m() { return 1 + b.f; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
1
resolve field f
calc type of b
2
calc type of f
calc type of 1
calc type of b.f
calc type of 1 + b.f

105. class B {
int i;
float f;
}
class A {
B b;
float m() { return 1 + b.f; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
1
resolve field f
calc type of b
2
calc type of f
calc type of 1
3
calc type of b.f
calc type of 1 + b.f

106. class B {
int i;
float f;
}
class A {
B b;
float m() { return 1 + b.f; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
1
resolve field f
calc type of b
2
calc type of f
calc type of 1
3
calc type of b.f
calc
4
type of 1 + b.f

107. class B {
int i;
float f;
}
class A {
B b;
float m() { return 1 + b.f; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
resolve field f
calc type of b
calc type of f
calc type of 1
calc type of b.f
calc type of 1 + b.f

108. class B {
int i;
float f;
}
class A {
B b;
float m() { return 1 + b.f; }
}
define class A
define class B
define method m
type of m is float
define field i
define field b
type of b is B
type of i is int
resolve class B
resolve field b
resolve field f
calc type of b
calc type of f
calc type of 1
calc type of b.f
calc type of 1 + b.f

109. Language Independence

110. Traditional typing rule in Spoofax
type-of :
FieldRef(e, f) -> t
where t := <type-of> f

111. Task creation rule
create-type-task(|ctx) :
FieldRef(e, f) -> task
where
task := <type-lookup(|ctx)> f

112. Declarative typing rule
type rules
FieldRef(e, f) : t
where definition of f : t

113. Declarative name binding rule
binding rules
FieldRef(e, f) :
refers to Field f in Class c
where e has type ClassType(c)

114. Evaluation

115. Subject language

116. Subject application

117. Feb 2010 - 4 files - 3139 lines of code

118. 3 years later - 55 files - 8991 lines of code

119. full, non-incremental analysis
15
Parse
Time (s)
12
Collect
Evaluate
9
6
3
0
0
20
40
60
80
100
120
140
160
180
200
220
240
260
280
300
320
340
200
220
240
260
280
300
320
340
Revision
5
Parse
Time (s)
4
Collect
Evaluate
3
2
1
0
0
20
40
60
80
100
120
140
160
180
Revision

120. full, non-incremental analysis
15
Parse
Time (s) Time (s)
15
9
12
6
Collect
Evaluate
9
3
6
0
0
3
20
40
60
80
100
120
140
160
180
200
220
240
260
280
300
320
340
200
220
240
260
280
300
320
340
Revision
0
0
20
40
60
80
100
120
140
160
180
Revision
5
incremental analysis
Parse
5
3
4
2
Collect
Evaluate
Parse
4
Time (s) Time (s)
Evaluate
Parse
12
Collect
Collect
Evaluate
3
1
2
0
1
0
0
20
40
60
80
100
120
140
160
180
200
220
240
260
280
300
320
340
200
220
240
260
280
300
320
340
Revision
0
20
40
60
80
100
120
140
160
180
Revision

121. 5
Parse
Collect
Evaluate
Time (s)
4
3
2
1
0
0
2
5
10
14
23
33
∆LOC
46
67 103 189

122. single-file changes
1.5
Parse
Time (s)
1.2
Collect
Evaluate
0.9
0.6
0.3
0
0
20
40
60
80
Revision
100
120

123. single-file changes
1.5
Parse
Time (s)
1.2
Collect
Evaluate
0.9
0.6
0.3
0
0
20
40
60
80
100
Revision
responsive enough for use in IDE
120

124. Future Work

125. Technical
optimization of
fact & task
collection
Evaluation
Research

126. Technical
optimization of
fact & task
collection
parallelization
Evaluation
Research

127. Technical
Evaluation
optimization of
fact & task
collection
more languages
parallelization
Research

128. Technical
Evaluation
optimization of
fact & task
collection
more languages
parallelization
other analyses &
transformations
Research

129. Technical
Evaluation
Research
optimization of
fact & task
collection
more languages
granularity
parallelization
other analyses &
transformations

130. Technical
Evaluation
Research
optimization of
fact & task
collection
more languages
granularity
parallelization
other analyses &
transformations
caching