Safe and sound program analysis with Flix

Magnus Madsen; Ondřej Lhoták

doi:10.1145/3213846.3213847

Safe and sound program analysis with Flix

Magnus Madsen, Ondřej Lhoták

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

3 Citationer (Scopus)

Originalsprog	Engelsk
Titel	ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis
Redaktører	Eric Bodden, Frank Tip
Antal sider	11
Forlag	Association for Computing Machinery
Publikationsdato	12 jul. 2018
Sider	38-48
ISBN (Elektronisk)	978-1-4503-5699-2
DOI	https://doi.org/10.1145/3213846.3213847
Status	Udgivet - 12 jul. 2018
Begivenhed	27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018 - Amsterdam, Holland Varighed: 16 jul. 2018 → 21 jul. 2018

Konference

Konference	27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018
Land	Holland
By	Amsterdam
Periode	16/07/2018 → 21/07/2018
Sponsor	ACM SIGSOFT, AWS, et al., Facebook, Google, vmware

Adgang til dokumentet

10.1145/3213846.3213847

http://www.scopus.com/inward/record.url?scp=85051461806&partnerID=8YFLogxK

Fingeraftryk Dyk ned i forskningsemnerne om 'Safe and sound program analysis with Flix'. Sammen danner de et unikt fingeraftryk.

Citationsformater

@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",

}

Madsen, M & Lhoták, O 2018, Safe and sound program analysis with Flix. i E Bodden & F Tip (red), ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. Association for Computing Machinery, s. 38-48, 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, Holland, 16/07/2018. https://doi.org/10.1145/3213846.3213847

Safe and sound program analysis with Flix. / Madsen, Magnus; Lhoták, Ondřej.

ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. red. / Eric Bodden; Frank Tip. Association for Computing Machinery, 2018. s. 38-48.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - Safe and sound program analysis with Flix

AU - Madsen, Magnus

AU - Lhoták, Ondřej

PY - 2018/7/12

Y1 - 2018/7/12

KW - Lattices

KW - Monotonicity

KW - Safety

KW - Soundness

KW - Static analysis

UR - http://www.scopus.com/inward/record.url?scp=85051461806&partnerID=8YFLogxK

U2 - 10.1145/3213846.3213847

DO - 10.1145/3213846.3213847

M3 - Article in proceeding

AN - SCOPUS:85051461806

SP - 38

EP - 48

BT - ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis

A2 - Bodden, Eric

A2 - Tip, Frank

PB - Association for Computing Machinery

T2 - 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018

Y2 - 16 July 2018 through 21 July 2018

ER -