program-transformation

Ich lese funktionale Sprachen implementieren: ein Tutorial , und stieß auf ein Problem, wenn Floating-Pass von vollständig faulem Lambda-Hub implementiert wurde. Ich möchte beschreiben, wie das Floating funktioniert, um diese Frage klar zu m...

Wer weiß schon, wie man das Refactoring formeller definieren kann? AKTUALISIEREN.    Ein Refactoring ist ein Paar R = (pre; T) wobei pre die Voraussetzung dafür ist   das Programm muss genügen, und T ist die Programmumwandlung.