Modular reasoning about invariants over shared state with interposed data members - Research Collection

Metadata only

Author

Balzer, Stephanie

Gross, Thomas R.

Date

2010

Type

Conference Paper

Citations

Cited 1 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1145/1707790.1707794

Editor

Filliâtre, Jean-Christophe

Flanagan, Cormac

Book title

Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification

Pages / Article No.

49 - 56

Publisher

ACM

Event

4th ACM SIGPLAN workshop on Programming languages meets program verification, Madrid, Spain, January 19, 2010

Subject

Invariants; Ownership type systems

Notes

.

More

Show all metadata

Citations

Cited 1 times in Web of Science

ETH Bibliography

yes

Altmetrics