Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Static Type Checking for Database Access Code

Miscellaneous
Author(s):Thomas James Kirz, Werner Dietl, Mattias Ulbrich, and Stefanie Scherzinger
Year:2026
URL:https://arxiv.org/abs/2605.02569

BibTeX

@misc{kirz2026statictypecheckingdatabase,
      title={Static Type Checking for Database Access Code}, 
      author={Thomas James Kirz and Werner Dietl and Mattias Ulbrich and Stefanie Scherzinger},
      year={2026},
      eprint={2605.02569},
      archivePrefix={arXiv},
      primaryClass={cs.DB},
      url={https://arxiv.org/abs/2605.02569}
}