@inproceedings{f291f95679a046ec955d2ffd56fb3f4f,
title = "Safe and sound program analysis with Flix",
keywords = "Lattices, Monotonicity, Safety, Soundness, Static analysis",
author = "Magnus Madsen and Ond{\v r}ej Lhot{\'a}k",
year = "2018",
month = jul,
day = "12",
doi = "10.1145/3213846.3213847",
language = "English",
pages = "38--48",
editor = "Eric Bodden and Frank Tip",
booktitle = "ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis",
publisher = "Association for Computing Machinery",
address = "United States",
note = "27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018 ; Conference date: 16-07-2018 Through 21-07-2018",
}