Combinatory Logic Synthesizer

(CL)S ist ein typbasiertes Synthesizer-Framework für Komponenten-Repositories/Bibliotheken. Das Framework basiert auf Microsoft™ F#/C# und bietet einen Cloud-Service für die Synthese von Komponenten mit Feature-Vektoren.

• Um den typbasierten Ansatz zur Softwaresynthese aus einem Repository von Komponenten praktikabel und für Experimente zugänglich zu machen, haben wir das Synthesewerkzeug (CL)S implementiert. Der Kern des Synthese-Algorithmus basiert auf einem Bewohnungs-Verfahren, das in Microsoft™ F# und C# unter Verwendung des Microsoft™ .NET-Frameworks implementiert ist. (CL)S bereichert das algorithmische Framework auf verschiedene Weise, um die Benutzerfreundlichkeit und die Leistung der Komponentensynthese zu erhöhen. (CL)S wird als (Web-)Service mit exponierten Endpunkten bereitgestellt, die SOAP- und REST-Zugriff bieten. Darüber hinaus ist die Implementierung parallelisiert. Dies ermöglicht eine Nutzung in unserer Cluster-Computing-Umgebung mit mehreren gleichzeitigen Benutzern. Es gibt verschiedene Editor-Erweiterungen, die z.B. Syntax-Highlighting und Autovervollständigung bieten. Schließlich bietet (CL)S grafische Darstellungen von synthetisierten Termen und von Ausführungsgraphen sowie verschiedene Protokollierungsfunktionen, die für die Fehlersuche und die Analyse von Experimenten von entscheidender Bedeutung sind.