An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kohei Honda, Nobuko Yoshida, Martin Berger. An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. In 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings. pages 270-279, IEEE Computer Society, 2005. [doi]

This author has not been identified. Look up 'Kohei Honda' in GoogleThis author has not been identified. Look up 'Nobuko Yoshida' in GoogleThis author has not been identified. Look up 'Martin Berger' in Google

runs on WebDSL