Nested Hoare Triples and Frame Rule for Higher−order Store
Jan Schwinghammer‚ Lars Birkedal‚ Bernhard Reus and Hongseok Yang
Address
Coimbra‚ Portugal
Book Title
Proceedings of the 18th EACSL Annual Conference on Computer Science Logic
ISBN
978−3−642−04026−9
Month
September
Pages
440–454
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
5771
Year
2009