list | abstracts | bib ]

Sound Reasoning about Integral Data Types with a Reusable SMT Solver Interface

paper pdf   

Citation

Régis Blanc and Viktor Kuncak. Sound reasoning about integral data types with a reusable SMT solver interface. In Scala Symposium, 2015.

BibTex Entry

@INPROCEEDINGS{BlancKuncak15SoundReasoningIntegralDataTypes,
  author = {R\'egis Blanc and Viktor Kuncak},
  title = {Sound Reasoning about Integral Data Types with a Reusable {SMT} Solver Interface},
  booktitle = {Scala Symposium},
  year = 2015,
  localurl = {http://lara.epfl.ch/~kuncak/papers/BlancKuncak15SoundReasoningIntegralDataTypes.pdf}
}

list | abstracts | bib ]