list | abstracts | bib ]

SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants

paper pdf   

Citation

Ivan Kuraj and Viktor Kuncak. Scife: Scala framework for efficient enumeration of data structures with invariants. In Scala Workshop, 2014.

BibTex Entry

@INPROCEEDINGS{KurajKuncak14SciFe,
  author = {Ivan Kuraj and Viktor Kuncak},
  title = {SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants},
  booktitle = {Scala Workshop},
  year = 2014,
  localurl = {http://lara.epfl.ch/~kuncak/papers/KurajKuncak14SciFe.pdf}
}

list | abstracts | bib ]