%0 Journal Article %1 journals/pacmpl/GladshteinZAAS24 %A Gladshtein, Vladimir %A Zhao, Qiyuan %A Ahrens, Willow %A Amarasinghe, Saman P. %A Sergey, Ilya %D 2024 %J Proc. ACM Program. Lang. %K dblp %N PLDI %P 647-670 %T Mechanised Hypersafety Proofs about Structured Data. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#GladshteinZAAS24 %V 8

@article{journals/pacmpl/GladshteinZAAS24, added-at = {2024-08-02T00:00:00.000+0200}, author = {Gladshtein, Vladimir and Zhao, Qiyuan and Ahrens, Willow and Amarasinghe, Saman P. and Sergey, Ilya}, biburl = {https://www.bibsonomy.org/bibtex/2da2ee112680c209a995c23c63d26c19d/dblp}, ee = {https://doi.org/10.1145/3656403}, interhash = {8760ba3dfa49d3504db7e83fdfb17d3e}, intrahash = {da2ee112680c209a995c23c63d26c19d}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {PLDI}, pages = {647-670}, timestamp = {2024-08-05T07:06:41.000+0200}, title = {Mechanised Hypersafety Proofs about Structured Data.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#GladshteinZAAS24}, volume = 8, year = 2024 }