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:Article no: 143
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        = {Article no: 143},
    journal      = {Proceedings of the ACM on programming languages},
    doi          = {10.1145/3485520},
    publisher    = {Association for Computing Machinery ({ACM})},
    issn         = {2475-1421},
    keywords     = {Pluggable type systems, Deductive verification, Refinement types}
}