KAIST-Professor Ryu Seok-young entwickelt gemeinsam mit der Korea University erfolgreich eine Technologie, die die Stabilität des JavaScript-Ökosystems gewährleisten kann

 (aitimes.kr)
15 Punkte von tsboard 2024-05-09 | 4 Kommentare | Auf WhatsApp teilen

  • JavaScript ist die am aktivsten genutzte Programmiersprache und verfügt über die als ecma 262 bekannte, von tc39 gepflegte Sprachspezifikation sowie über vielfältige Implementierungen.

  • Insbesondere bei den jährlichen Releases von E 262 traten Probleme auf, da es an einem automatisierten Mechanismus zur Prüfung der Korrektheit und Konformität der Spezifikation mangelte.

  • Es wurde ein neuer Ansatz vorgeschlagen, bei dem aus einer Pro-Spezifikation automatisch eine mechanisierte Spezifikation extrahiert wird, die vielfältige Anwendungen wie die Synthese von Konformitätstestprogrammen und die Durchführung von Typanalysen ermöglicht.

  • Auf Basis der extrahierten mechanisierten Spezifikation können Implementierungen von Special-Purpose-Sprachen automatisch erzeugt werden; der Ansatz wurde als Open Source veröffentlicht, damit er in der JavaScript-Sprachentwicklung tatsächlich eingesetzt werden kann.

  • Ein vielversprechender Ansatz für die Entwicklung von Programmiersprachen besteht darin, eine Sprache zunächst mit einer mechanisierten Spezifikation zu entwerfen und daraus anschließend sowohl die Pro-Spezifikation als auch die Sprachimplementierung zu generieren; für JavaScript wurde gezeigt, dass dies machbar und praxistauglich ist.

  • Weitere Details zu dieser Arbeit finden sich in der April-Ausgabe 2024 von ACM Communications; dort wird eine Methode vorgestellt, die sowohl auf bestehende als auch auf neue Programmiersprachen angewendet werden kann.

Verwandte Beiträge

4 Kommentare

 
kunggom 2024-05-09

Schade, dass Artikel, die so etwas vorstellen, nur selten einen Link zum Original der Arbeit oder Ähnliches bereitstellen.
In Wissenschaftsartikeln mancher Medien wird ganz unten die DOI angegeben, damit man die in dem Artikel vorgestellte Arbeit finden kann; ich wünschte, diese Praxis würde sich etwas weiter verbreiten.
Wie auch immer, deshalb habe ich die in dem obigen Artikel erwähnte Arbeit sowie den GitHub-Link selbst herausgesucht und mitgebracht.
 
tsboard 2024-05-09

Ah, ich hatte auch nur die Nachricht mitgebracht, danke, dass du die Inhalte zur Arbeit ergänzt hast!
 
honglu 2024-05-09

euma scheint ein Tippfehler zu sein!
 
tsboard 2024-05-09

Unten finden Sie das zugehörige YouTube-Video.
https://www.youtube.com/watch?v=JGxc-KIUnQY

Der obige Inhalt wurde mithilfe von Corely zusammengefasst.
https://corely.ai/content/…