article

Fuzion - Safety through Simplicity

Author:

Dr. Fridtjof SiebertAuthors Info & Claims

ACM SIGAda Ada Letters, Volume 41, Issue 1

Pages 83 - 86

https://doi.org/10.1145/3570315.3570323

Published: 31 October 2022 Publication History

Get Access

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.

References

[1]

B. Meyer, "Applying "design by contract"," Computer, vol. 25, p. 40--51, Oct. 1992.

Digital Library

Google Scholar

[2]

W. D. Clinger, "Proper tail recursion and space efficiency," SIGPLAN Not., vol. 33, p. 174--185, May 1998.

Digital Library

Google Scholar

[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.

Google Scholar

[4]

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

Google Scholar

[5]

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

Google Scholar

[6]

R. Rugina and M. C. Rinard, "Symbolic bounds analysis of pointers, array indices, and accessed memory regions," ACM Trans. Program. Lang. Syst., vol. 27, p. 185--235, Mar. 2005.

Digital Library

Google Scholar

[7]

B. Beckert, R. Hähnle, and P. H. Schmitt, Verification of Object-Oriented Software: The KeY Approach. Berlin, Heidelberg: Springer-Verlag, 2007.

Digital Library

Google Scholar

[8]

"FOSDEM." https://fosdem.org, 2021.

Google Scholar

[9]

"Fuzion Souces." https://github.com/fridis/ fuzion.

Google Scholar

[10]

"Fuzion Portal." https://flang.dev, 2021.

Google Scholar

Fuzion - Safety through Simplicity
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages

Recommendations

Definitional Interpreters for Higher-Order Programming Languages

Higher-order programming languages (i.e., languages in which procedures or labels can occur as values) are usually defined by interpreters that are themselves written in a programming language based on the lambda calculus (i.e., an applicative language ...
The compiler as a static analysis tool
SIGAda '07

This paper shows that a programming language compiler can perform many kinds of tasks that are generally viewed as the domain of separate static analysis tools and, in the other direction, identifies certain kinds of analysis that are best left to ...
Definitional interpreters for higher-order programming languages
ACM '72: Proceedings of the ACM annual conference - Volume 2

Higher-order programming languages (i.e., languages in which procedures or labels can occur as values) are usually defined by interpreters which are themselves written in a programming language based on the lambda calculus (i.e., an applicative language ...

Comments

Information & Contributors

Information

Published In

ACM SIGAda Ada Letters Volume 41, Issue 1

June 2021

48 pages

ISSN:1094-3641

DOI:10.1145/3570315

Editor:
Luis Miguel Pinho
Polytechnic Institute of Porto, Porto, Portugal

Issue’s Table of Contents

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 31 October 2022

Published in SIGADA Volume 41, Issue 1

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
14
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)1

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Recommendations

Definitional Interpreters for Higher-Order Programming Languages

The compiler as a static analysis tool

Definitional interpreters for higher-order programming languages

Comments

Published In

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Login options

Full Access

PDF

eReader

Abstract

References

Recommendations

Definitional Interpreters for Higher-Order Programming Languages

The compiler as a static analysis tool

Definitional interpreters for higher-order programming languages

Comments

Information

Published In

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations