equal
deleted
inserted
replaced
4 Copyright 2000 TUM |
4 Copyright 2000 TUM |
5 *) |
5 *) |
6 |
6 |
7 header {* \isaheader{Typing and Dataflow Analysis Framework} *} |
7 header {* \isaheader{Typing and Dataflow Analysis Framework} *} |
8 |
8 |
9 theory Typing_Framework = Listn: |
9 theory Typing_Framework imports Listn begin |
10 |
10 |
11 text {* |
11 text {* |
12 The relationship between dataflow analysis and a welltyped-instruction predicate. |
12 The relationship between dataflow analysis and a welltyped-instruction predicate. |
13 *} |
13 *} |
14 types |
14 types |