Programmiersprachen und Tools Lab

Relational Programming: miniKanren

miniKanren ist eine Familie von kleinen eingebetteten Sprachen, die die Leistungsfähigkeit der relationalen (reinen Logik-) Programmierung in die allgemeine Programmierung einbringen.

miniKanren ist eine Familie von kleinen eingebetteten Sprachen, die die Leistungsfähigkeit der relationalen (reinen Logik-) Programmierung in die allgemeine Programmierung einbringen. Zu den aktuellen Forschungsrichtungen des Projekts gehören mehrere Techniken zur Verbesserung der Leistung, darunter die partielle Bewertung und die funktionale Umwandlung. Die Teilauswertung ermöglicht es, einige Schwachstellen relationaler Programme durch statische Inspektion und Transformation des Quellcodes zu beseitigen. Wir arbeiten auch daran, miniKanren in eine funktionale Programmiersprache umzuwandeln, um seine Leistung zu verbessern.

Teilnehmende

Ekaterina Verbitskaia
Daniil Berezun