list | abstracts | bib ]

Translating Scala Programs to Isabelle/HOL (System Description)

paper pdf    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,
  localurl = {http://lara.epfl.ch/~kuncak/papers/HupelKuncak16TranslatingScalaProgramsIsabelleHOLSystemDescription.pdf}
}

list | abstracts | bib ]