Scalability and Precision by Combining Expressive Type Systems and Deductive Verification

Zeitschriftenartikel

Autor(en):Florian Lanzinger, Alexander Weigl, Mattias Ulbrich und Werner Dietl
Zeitschrift:Proceedings of the ACM on programming languages
Verleger:Association for Computing Machinery (ACM)
Nummer:OOPSLA
Band:5
Jahr:2021
Seiten:1-29
PDF:
DOI:10.1145/3485520
Stichworte: Pluggable type systems Deductive verification Refinement types

BibTeX

@article{LanzingerWeiglUlbrich2021_1000139256,
    author       = {Florian Lanzinger and Alexander Weigl and Mattias Ulbrich and Werner Dietl},
    year         = {2021},
    month        = oct,
    title        = {Scalability and Precision by Combining Expressive Type Systems and Deductive Verification},
    volume       = {5},
    number       = {{OOPSLA}},
    pages        = {1--29},
    journal      = {Proceedings of the ACM on programming languages},
    articleno    = {143},
    doi          = {10.1145/3485520},
    publisher    = {Association for Computing Machinery ({ACM})},
    issn         = {2475-1421},
    keywords     = {Pluggable type systems, Deductive verification, Refinement types},
    pdf          = {PDF:/lanzinger/pdf/oopsla2021.pdf}
}