|
|
This is a page on interesting points that have been encountered during the development of this tool. |
|
|
\ No newline at end of file |
|
|
This page describes some interesting points that have been encountered during the development of this tool.
|
|
|
|
|
|
## Concepts of behavior preservation
|
|
|
|
|
|
Compilation steps can forget some behaviors or refine undefined behaviors. When refactoring, is possible, we want to preserve exactly the set of possible behaviors and not to refine undefined behaviors.
|
|
|
|
|
|
(To be continued)
|
|
|
|
|
|
## Mutual induction
|
|
|
|
|
|
## Patched semantics |
|
|
\ No newline at end of file |