Fuzion - Safety through Simplicity-Reference-Cited by-同舟云学术

Fuzion - Safety through Simplicity

Published:2022-10-28 Issue:1 Volume:41 Page:83-86
ISSN:1094-3641
Container-title:ACM SIGAda Ada Letters
language:en
Short-container-title:Ada Lett.

Author:

Siebert Dr. Fridtjof¹

Affiliation:

1. Tokiwa Software GmbH, Karlsruhe, Germany

Abstract

Fuzion is a modern, general purpose programming language that unifies concepts found in structured, functional and object-oriented programming languages into the concept of a Fuzion feature. It combines a powerful syntax and safety features based on the design-by-contract principle with a simple intermediate representation that enables powerful optimizing compilers and static analysis tools to verify correctness aspects. Fuzion maps different concepts into the concept of a Fuzion feature and uses a simple intermediate language that is friendly for static analysis tools as well as for optimizing compilers. Fuzion was influenced by many other languages including Java, Python, Eiffel, Rust, Ada, Go, Lua, Kotlin, C#, F#, Nim, Julia, Clojure, C/C++, Scala, and many more. The goal of Fuzion is to define a language that has the expressive power present in these languages and allow high-performance implementation and powerful analysis tools. Furthermore, Fuzion addresses requirements for safety-critical applications by adding support for contracts that enable formal specification and detailed control over runtime checks.

Publisher

Association for Computing Machinery (ACM)

Subject

General Medicine

Link

https://dl.acm.org/doi/pdf/10.1145/3570315.3570323

Reference10 articles.

1. Applying 'design by contract'

2. Proper tail recursion and space efficiency

3. F. Siebert , "Concurrent, parallel, real-time garbagecollection," in Proceedings of the 2010 International Symposium on Memory Management, ISMM '10 , ( New York, NY, USA) , p. 11 -- 20 , Association for Computing Machinery, 2010. F. Siebert, "Concurrent, parallel, real-time garbagecollection," in Proceedings of the 2010 International Symposium on Memory Management, ISMM '10, (New York, NY, USA), p. 11--20, Association for Computing Machinery, 2010.

4. "Use of uninitialized final field - with/without 'this.' qualifier." https://stackoverflow.com/ questions/13864464/ 2012. "Use of uninitialized final field - with/without 'this.' qualifier." https://stackoverflow.com/ questions/13864464/ 2012.

5. S. Klabnik and C. Nichols , The Rust Programming Language: Ch. 16 Fearless Concurrenty . USA : No Starch Press, 2018 . S. Klabnik and C. Nichols, The Rust Programming Language: Ch. 16 Fearless Concurrenty. USA: No Starch Press, 2018.