Author:
Cohen Ernie,Alkassar Eyad,Boyarinov Vladimir,Dahlweid Markus,Degenbaev Ulan,Hillebrand Mark,Langenstein Bruno,Leinenbach Dirk,Moskal Michał,Obua Steven,Paul Wolfgang,Pentchev Hristo,Petrova Elena,Santen Thomas,Schirmer Norbert,Schmaltz Sabine,Schulte Wolfram,Shadrin Andrey,Tobies Stephan,Tsyban Alexandra,Tverdyshev Sergey
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Lecture Notes in Computer Science;R. Brochenin,2008
2. Calcagno, C., Yang, H., O’Hearn, P.W.: Computability and complexity results for a spatial assertion language for data structures. In: APLAS, pp. 289–300 (2001)
3. Lecture Notes in Computer Science;E. Cohen,2009
4. Lecture Notes in Computer Science;M. Dodds,2009
5. Jones, C.B.: Specification and design of (parallel) programs. In: IFIP Congress, pp. 321–332 (1983)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Pragmatics of Moving from System Models to Program Contracts;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022
2. Higher-order ghost state;ACM SIGPLAN Notices;2016-12-05
3. Higher-order ghost state;Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming;2016-09-04
4. Iris;ACM SIGPLAN Notices;2015-05-11
5. Iris;Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2015-01-14