Author:
Yoshida Nobuko,Honda Kohei,Berger Martin
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. A full version of this paper:
http://www.doc.ic.ac.uk/~yoshida/local
2. Berger, M., Honda, K., Yoshida, N.: A logical analysis of aliasing for higher-order imperative functions. In: ICFP’05, pp. 280–293 (2005)
3. Lecture Notes in Computer Science;B. Biering,2005
4. Birkedal, L., Torp-Smith, N., Yang, H.: Semantics of separation-logic typing and higher-order frame rules. In: LICS’05, pp. 260–269 (2005)
5. Bornat, R., Calcagno, C., O’Hearn, P.: Local reasoning, separation and aliasing. In: Workshop SPACE (2004)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Specification and Verification for Unrestricted Algebraic Effects and Handling;Proceedings of the ACM on Programming Languages;2024-08-15
2. Modular specification and verification of closures in Rust;Proceedings of the ACM on Programming Languages;2021-10-20
3. Transfinite Iris: resolving an existential dilemma of step-indexed separation logic;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
4. Nested Hoare Triples and Frame Rules for Higher-order Store;Logical Methods in Computer Science;2011-09-28
5. Weak Updates and Separation Logic;New Generation Computing;2011-01