%0 Conference Paper %1 conf/icfp/ReynoldsHCA20 %A Reynolds, Thomas N. %A Harrison, William L. %A Chadha, Rohit %A Allwein, Gerard %B TyDe@ICFP %D 2020 %E McKinna, James %E Omar, Cyrus %I ACM %K dblp %P 1-10 %T Strongly bounded termination with applications to security and hardware synthesis. %U http://dblp.uni-trier.de/db/conf/icfp/tyde2020.html#ReynoldsHCA20 %@ 978-1-4503-8051-5

@inproceedings{conf/icfp/ReynoldsHCA20, added-at = {2020-08-03T00:00:00.000+0200}, author = {Reynolds, Thomas N. and Harrison, William L. and Chadha, Rohit and Allwein, Gerard}, biburl = {https://www.bibsonomy.org/bibtex/2b0139d3a4d64e0f14e8b08711aa99328/dblp}, booktitle = {TyDe@ICFP}, crossref = {conf/icfp/2020tyde}, editor = {McKinna, James and Omar, Cyrus}, ee = {https://doi.org/10.1145/3406089.3409029}, interhash = {99941a80594da4029927b78aa8eb82e3}, intrahash = {b0139d3a4d64e0f14e8b08711aa99328}, isbn = {978-1-4503-8051-5}, keywords = {dblp}, pages = {1-10}, publisher = {ACM}, timestamp = {2020-08-04T11:41:44.000+0200}, title = {Strongly bounded termination with applications to security and hardware synthesis.}, url = {http://dblp.uni-trier.de/db/conf/icfp/tyde2020.html#ReynoldsHCA20}, year = 2020 }