Scalability and Precision by Combining Expressive Type Systems and Deductive Verification

Journal Article

Author(s):Florian Lanzinger, Alexander Weigl, Mattias Ulbrich, and Werner Dietl
Journal:Proceedings of the ACM on programming languages
Publisher:Association for Computing Machinery (ACM)
Number:OOPSLA
Volume:5
Year:2021
Pages:1-29
PDF:
DOI:10.1145/3485520
Keywords: 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}
}