Translating Scala Programs to Isabelle/HOL (System Description)

paper ps   

Citation

Lars Hupel and Viktor Kuncak. Translating scala programs to isabelle/hol (system description). In International Joint Conference on Automated Reasoning (IJCAR), 2016.

BibTex Entry

@inproceedings{HupelKuncak16TranslatingScalaProgramsIsabelleHOLSystemDescription,
  author = {Lars Hupel and Viktor Kuncak},
  title = {Translating Scala Programs to Isabelle/HOL (System Description)},
  booktitle = {International Joint Conference on Automated Reasoning (IJCAR)},
  year = 2016
}