Title: Monadic abstract interpreters
Authors: Sergey, Ilya ×
Devriese, Dominique
Might, Matthew
Midtgaard, Jan
Darais, David
Clarke, Dave
Piessens, Frank #
Issue Date: Jun-2013
Publisher: ACM Press
Series Title: ACM SIGPLAN Notices vol:48 issue:6 pages:399-409
Conference: ACM SIGPLAN conference on Programming Language Design and Implementation. edition:34 location:Seattle, Washington, USA date:16-22 June 2013
ISBN: 978-1-4503-2014-6
ISSN: 0362-1340
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
monadic-abstract-interpreters.pdfOA article Published 528KbAdobe PDFView/Open
monalysis-pldi13.pdfOA article Published 254KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science