Tractability of Separation Logic with Inductive Definitions: Beyond Lists - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Taolue Chen, Fu Song, Zhilin Wu. Tractability of Separation Logic with Inductive Definitions: Beyond Lists. In Roland Meyer, Uwe Nestmann, editors, 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany. Volume 85 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

This author has not been identified. Look up 'Taolue Chen' in GoogleThis author has not been identified. Look up 'Fu Song' in GoogleThis author has not been identified. Look up 'Zhilin Wu' in Google

runs on WebDSL