A Denotational Semantics of Solidity In Isabelle/HOL

I am glad to share a preprint of our latest work in which we present a denotational semantics of a subset of Solidity and its implementation in Isabelle/HOL. This is a collaboration with Prof. Achim Brucker and will be presented at SEFM 2021.

Check out the preprint to learn more about the details of Solidity.

Kommentar verfassen

Trage deine Daten unten ein oder klicke ein Icon um dich einzuloggen:


Du kommentierst mit Deinem WordPress.com-Konto. Abmelden /  Ändern )

Google Foto

Du kommentierst mit Deinem Google-Konto. Abmelden /  Ändern )


Du kommentierst mit Deinem Twitter-Konto. Abmelden /  Ändern )


Du kommentierst mit Deinem Facebook-Konto. Abmelden /  Ändern )

Verbinde mit %s

%d Bloggern gefällt das: