marco/cccs-website
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix talk description fpr 2019/4.

Browse source 
- Fix typos.
- Change last paragraph from first person
  perspective.

Signed-off-by: Thomas Hochstein <thh@inter.net>
This commit is contained in:
Thomas Hochstein 2019-01-07 00:40:07 +01:00 • committed by Stefan Schlott
parent 3e9eadfcbc
commit 2d1a72d337
1 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

12
content/events/201904-sprachbau/index.md
View file

@ -22,7 +22,7 @@ vereinfachend kann man sagen: je breiter das Anwendungsspektrum einer
Sprache, desto schlechter erfüllt sie viele dieser Kriterien.
Ein vielversprechender Ansatz besteht daher darin, eine Sprache für
einen ganz konkreten Einsatzzweck zu bauen, sogenannten
einen ganz konkreten Einsatzzweck zu bauen, sogenannte
domänenspezifische Sprachen: für Steuergesetze, für medizinische
Algorithmen, für die Konfiguration komplexer technischer Geräte oder die
Performanceanalyse von eingebetteten Systemen.
@ -31,15 +31,15 @@ Der Haken dabei? Man muss eine neue Sprache bauen. Die Lösung?
Domänenspezifische Sprachen zur Sprachdefinition. Über die letzten Jahre
haben sich die dafür notwendigen Werkzeuge so weiterentwickelt, dass der
Aufwand zum Bau einer Sprache problemlos im Rahmen eines normalen
Softwareenticklungsprojektes unterzubringen ist. Diese Werkzeuge,
Softwareentwicklungsprojektes unterzubringen ist. Diese Werkzeuge,
Language Workbenches, unterstützen die Definition aller relevanten
Sprachaspekte, von Struktur über Typsystem bis zu Interpretern,
Compilern und komfortablen IDEs. Sie erlauben modulare Spracherweiterung
und -komposition sowie die Mischung von Syntaxformen wie Text, Tabellen,
und Diagrammen.
In diesem Vortrag zeige den Sprachbau mit einer solchen Language
Dieser Vortrag zeigt den Sprachbau mit einer solchen Language
Workbench, dem Open-Source Werkzeug MPS von Jetbrains. Neben der
Live-Demo einer Spracherweiterung zeige ich ein paar Beispiele für DSLs
aus dem industriellen Umfeld. Ich gehe dabei auch auf die Integration
mit Verifikationwerkzeugen wie SMT Solvern und Model Checkern ein.
Live-Demo einer Spracherweiterung werden ein paar Beispiele für DSLs
aus dem industriellen Umfeld demonstriert. Ich gehe dabei auch auf die Integration
mit Verifikationswerkzeugen wie SMT Solvern und Model Checkern ein.