formal-systems

B. Sc. Thesis: Refactoring Theory Graphs
📁 Offering my B. Sc. thesis for download.
Last updated on Nov 21, 2020 3 min read
B.Sc. defense: Refactoring of Theory Graphs in Knowledge Representation Systems
Based on the foundation-independent module system MMT, I propose a general definition of behavior-preserving refactorings, and as the primary example give a method to generalize inversely along MMT morphisms (refinements).
Last updated on Nov 21, 2020
Slides 📙 Full Thesis