Author:
Biernacki Dariusz,Lenglet Sergueï,Polesiuk Piotr
Publisher
Springer International Publishing
Reference19 articles.
1. Ahmed, A., Dreyer, D., Rossberg, A.: State-dependent representation independence. In: Pierce, B.C. (ed.) Proceedings of the Thirty-Fifth Annual ACM Symposium on Principles of Programming Languages, pp. 340–353. ACM Press, January 2009
2. Aristizábal, A., Biernacki, D., Lenglet, S., Polesiuk, P.: Environmental bisimulations for delimited-control operators with dynamic prompt generation. Logical Methods Comput. Sci. 13(3) 2017
3. Biernacki, D., Lenglet, S., Polesiuk, P.: Proving soundness of extensional normal-form bisimilarities. In: Silva, A. (ed.) Proceedings of the 33rd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXXIII), Ljubljana, Slovenia. Electronic Notes in Theoretical Computer Science, vol. 336, pp. 41–56, June 2017
4. Biernacki, D., Lenglet, S., Polesiuk, P.: A complete normal-form bisimilarity for state. Research report RR-9251, Inria, Nancy, France, January 2019
5. Dreyer, D., Neis, G., Birkedal, L.: The impact of higher-order state and control effects on local relational reasoning. J. Funct. Program. 22(4–5), 477–528 (2012)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. The Logical Essence of Well-Bracketed Control Flow;Proceedings of the ACM on Programming Languages;2024-01-05
3. Operational Algorithmic Game Semantics;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
4. Fully Abstract Normal Form Bisimulation for Call-by-Value PCF;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
5. From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques;Tools and Algorithms for the Construction and Analysis of Systems;2022