Conference item icon

Conference item

Nested Hoare Triples and Frame Rule for Higher−order Store

Actions


Authors


Jan Schwinghammer More by this author
Lars Birkedal More by this author
Bernhard Reus More by this author
Hongseok Yang More by this author
Publisher:
Springer−Verlag
Volume:
5771
Publication date:
2009-09-01
URN:
uuid:a1d01638-a85f-4e0f-a36f-39c4b20a614c
Local pid:
cs:4975
ISBN:
978-3-642-04026-9

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP