Algebraic Effects and Static Analysis for Safety-Critical Applications in Fuzion

This work-in-progress paper presents the introduction of algebraic effects to the Fuzion language and how algebraic effects can be used in the context of safety-critical systems. Fuzion is a modern, general purpose programming language that unifies functional and object-oriented paradigms into a pur...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	ACM SIGAda Ada Letters 2024-12, Vol.44 (1), p.73-77
Hauptverfasser:	Siebert, Fridtjof, Lill, Michael, Teufel, Max
Format:	Artikel
Sprache:	eng
Schlagworte:	Software and its engineering Software and its engineering / Software creation and management Software and its engineering / Software creation and management / Software verification and validation Software and its engineering / Software creation and management / Software verification and validation / Formal software verification Software and its engineering / Software organization and properties Software and its engineering / Software organization and properties / Software functional properties Software and its engineering / Software organization and properties / Software functional properties / Formal methods Theory of computation Theory of computation / Semantics and reasoning Theory of computation / Semantics and reasoning / Program reasoning Theory of computation / Semantics and reasoning / Program reasoning / Program verification Theory of computation / Semantics and reasoning / Program semantics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!