%0 Conference Paper %1 conf/esop/LermusiauxM24 %A Lermusiaux, Pierre %A Montagu, Benoît %B ESOP (2) %D 2024 %E Weirich, Stephanie %I Springer %K dblp %P 391-420 %T Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation. %U http://dblp.uni-trier.de/db/conf/esop/esop2024-2.html#LermusiauxM24 %V 14577 %@ 978-3-031-57267-8

@inproceedings{conf/esop/LermusiauxM24, added-at = {2024-05-04T00:00:00.000+0200}, author = {Lermusiaux, Pierre and Montagu, Benoît}, biburl = {https://www.bibsonomy.org/bibtex/2cd51983b61a4a484db1df78b53fe467e/dblp}, booktitle = {ESOP (2)}, crossref = {conf/esop/2024-2}, editor = {Weirich, Stephanie}, ee = {https://doi.org/10.1007/978-3-031-57267-8_15}, interhash = {d57b3ee161ff74c5aff06a7451668713}, intrahash = {cd51983b61a4a484db1df78b53fe467e}, isbn = {978-3-031-57267-8}, keywords = {dblp}, pages = {391-420}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-06T07:30:14.000+0200}, title = {Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2024-2.html#LermusiauxM24}, volume = 14577, year = 2024 }