Publisher
Springer Nature Switzerland
Reference45 articles.
1. Arntzenius, M., Krishnaswami, N.: Seminaïve evaluation for a higher-order functional language. Proc. ACM Program. Lang. 4(POPL), 22:1–22:28 (2020). https://doi.org/10.1145/3371090
2. Azmy, N., Merz, S., Weidenbach, C.: A machine-checked correctness proof for Pastry. Sci. Comput. Program. 158, 64–80 (2018)
3. Bieniusa, A., Haas, J., Kleppmann, M., Mogk, R. (eds.): Programming Local-First Software (ECOOP Workshop). European Conference on Object-Oriented Programming (2022). https://2022.ecoop.org/home/plf-2022
4. Lecture Notes in Computer Science;K Birman,2023
5. Cao, Q., Beringer, L., Gruetter, S., Dodds, J., Appel, A.W.: VST-Floyd: a separation logic tool to verify correctness of C programs. J. Autom. Reason. 61, 367–422 (2018)