Safe and sound program analysis with Flix

Magnus Madsen, Ondřej Lhoták

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citation (Scopus)
OriginalsprogEngelsk
TitelISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis
RedaktørerEric Bodden, Frank Tip
Antal sider11
ForlagAssociation for Computing Machinery
Publikationsdato12 jul. 2018
Sider38-48
ISBN (Elektronisk)978-1-4503-5699-2
DOI
StatusUdgivet - 12 jul. 2018
Begivenhed27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018 - Amsterdam, Holland
Varighed: 16 jul. 201821 jul. 2018

Konference

Konference27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018
LandHolland
ByAmsterdam
Periode16/07/201821/07/2018
SponsorACM SIGSOFT, AWS, et al., Facebook, Google, vmware

Fingerprint

Static analysis
Functional programming
Logic programming
Surface mount technology
Computer programming languages
Automation
Concretes

Citer dette

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 (s. 38-48). Association for Computing Machinery. https://doi.org/10.1145/3213846.3213847
Madsen, Magnus ; Lhoták, Ondřej. / Safe and sound program analysis with Flix. 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
@inproceedings{f291f95679a046ec955d2ffd56fb3f4f,
title = "Safe and sound program analysis with Flix",
keywords = "Lattices, Monotonicity, Safety, Soundness, Static analysis",
author = "Magnus Madsen and Ondřej Lhot{\'a}k",
year = "2018",
month = "7",
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",

}

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 proceedingKonferenceartikel i proceedingForskningpeer 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

ER -

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