Nested Hoare Triples and Frame Rules for Higher-Order Store-Reference-Cited by-同舟云学术

Nested Hoare Triples and Frame Rules for Higher-Order Store

Published:2009 Issue: Volume: Page:440-454
ISSN:0302-9743
Container-title:Computer Science Logic
language:
Short-container-title:

Author:

Schwinghammer Jan,Birkedal Lars,Reus Bernhard,Yang Hongseok

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04027-6_32

Reference15 articles.

1. America, P., Rutten, J.J.M.M.: Solving reflexive domain equations in a category of complete metric spaces. J. Comput. Syst. Sci. 39(3), 343–375 (1989)

2. Lecture Notes in Computer Science;L. Birkedal,2008

3. Lecture Notes in Computer Science;L. Birkedal,2009

4. Birkedal, L., Torp-Smith, N., Yang, H.: Semantics of separation-logic typing and higher-order frame rules for Algol-like languages. Log. Methods Comput. Sci. 2(5:1) (2006)

5. Honda, K., Yoshida, N., Berger, M.: An observationally complete program logic for imperative higher-order functions. In: LICS, pp. 270–279. IEEE Computer Society Press, Los Alamitos (2005)

Cited by 26 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Separation logic for sequential programs (functional pearl);Proceedings of the ACM on Programming Languages;2020-08-02

2. A review of generalized planning;The Knowledge Engineering Review;2019

3. The Design and Formalization of Mezzo, a Permission-Based Programming Language;ACM Transactions on Programming Languages and Systems;2016-10-13

4. Symbolic Execution Proofs for Higher Order Store Programs;Journal of Automated Reasoning;2014-12-24

5. Specification patterns for reasoning about recursion through the store;Information and Computation;2013-10