Scalability and Precision by Combining Expressive Type Systems and Deductive Verification

@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}
}