Kalas: a verified, end-to-end compiler for a choreographic language (Q6572567)

From MaRDI portal





scientific article; zbMATH DE number 7881140
Language Label Description Also known as
English
Kalas: a verified, end-to-end compiler for a choreographic language
scientific article; zbMATH DE number 7881140

    Statements

    Kalas: a verified, end-to-end compiler for a choreographic language (English)
    0 references
    0 references
    0 references
    0 references
    15 July 2024
    0 references
    choreographies
    0 references
    interactive theorem proving
    0 references
    compiler verification
    0 references

    Identifiers