An axiomatic basis for bidirectional programming.
https://doi.org/10.1145/3158129
@article{DBLP:journals/pacmpl/KoH18,
author = {Hsiang{-}Shang Ko and
Zhenjiang Hu},
title = {An axiomatic basis for bidirectional programming},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {41:1--41:29},
year = {2018},
url = {https://doi.org/10.1145/3158129},
doi = {10.1145/3158129},
timestamp = {Thu, 16 Apr 2020 13:51:46 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/KoH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签