eldorado.tu-dortmund.de/signposting/describedby/7491d73b-5f77-4ac9-86eb-e47292b264ac
A type-theoretic framework for software component synthesis
net/2003/38387 10.17877/DE290R-20320 A language-agnostic approach for type-based component-oriented software synthesis is developed from the fundamental principles of abstract algebra and Combinatory Logic [...] discussed. They include, but are not limited to, vast improvements in the context of synthesis of software product line members. An interactive theorem prover, Coq, is used to formalize and check all the [...] Es wird ein sprachunabhängiger Ansatz für die typbasierte und komponentenorientierte Synthese von Software entwickelt. Hierzu werden grundlegende Erkenntnisse über abstrakte Algebra und kombinatorische Logik …