Inproceedings,
Sensitivity analysis using type-based constraints.
L. D'Antoni, M. Gaboardi, E. Arias, A. Haeberlen, and B. Pierce.FPCDSL@ICFP, page 43-50. ACM, (2013)
Meta data
- BibTeX key
- conf/icfp/DAntoniGAHP13
- entry type
- inproceedings
- booktitle
- FPCDSL@ICFP
- year
- 2013
- pages
- 43-50
- publisher
- ACM
- crossref
- conf/icfp/2013fpcdsl
- ee
- https://doi.org/10.1145/2505351.2505353
- isbn
- 978-1-4503-2380-2
- url
- http://dblp.uni-trier.de/db/conf/icfp/fpcdsl2013.html#DAntoniGAHP13
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icfp/DAntoniGAHP13
%A D'Antoni, Loris
%A Gaboardi, Marco
%A Arias, Emilio Jesús Gallego
%A Haeberlen, Andreas
%A Pierce, Benjamin C.
%B FPCDSL@ICFP
%D 2013
%E Lazarus, Richard
%E Kfoury, Assaf J.
%E Beal, Jacob
%I ACM
%K
%P 43-50
%T Sensitivity analysis using type-based constraints.
%U http://dblp.uni-trier.de/db/conf/icfp/fpcdsl2013.html#DAntoniGAHP13
%@ 978-1-4503-2380-2
@inproceedings{conf/icfp/DAntoniGAHP13,
added-at = {2023-12-12T23:58:59.000+0100},
author = {D'Antoni, Loris and Gaboardi, Marco and Arias, Emilio Jesús Gallego and Haeberlen, Andreas and Pierce, Benjamin C.},
biburl = {https://www.bibsonomy.org/bibtex/265494a6bf286d1a49bb7b3500df17a57/admin},
booktitle = {FPCDSL@ICFP},
crossref = {conf/icfp/2013fpcdsl},
editor = {Lazarus, Richard and Kfoury, Assaf J. and Beal, Jacob},
ee = {https://doi.org/10.1145/2505351.2505353},
interhash = {5d1972aa0cfb1d23c7e74b3d012f2ed4},
intrahash = {65494a6bf286d1a49bb7b3500df17a57},
isbn = {978-1-4503-2380-2},
keywords = {},
pages = {43-50},
publisher = {ACM},
timestamp = {2023-12-12T23:58:59.000+0100},
title = {Sensitivity analysis using type-based constraints.},
url = {http://dblp.uni-trier.de/db/conf/icfp/fpcdsl2013.html#DAntoniGAHP13},
year = 2013
}