A formally verified interpreter for a shell-like programming language (Q1630019)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A formally verified interpreter for a shell-like programming language
scientific article

    Statements

    A formally verified interpreter for a shell-like programming language (English)
    0 references
    0 references
    0 references
    0 references
    7 December 2018
    0 references
    POSIX shell
    0 references
    programming language
    0 references
    deductive program verification
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers