Methodology to formalize and theoretically validate compiler behavior

drym-org / qi

An embeddable flow-oriented language.

59 stars 12 forks source link

Methodology to formalize and theoretically validate compiler behavior #161

Open countvajhula opened 10 months ago

countvajhula commented 10 months ago

E.g. wrt. termination of passes. Define a reference compiler and optimizing compiler. Elaborate the sequence of compilation for an input expression in the reference compiler vs the optimizing compiler.