File(s) not publicly available
Separation Logic for Higher-Order Store
No description supplied
History
Publication status
- Published
Publisher
Springer, BerlinVolume
4207Presentation Type
- paper
Event name
Computer Science Logic 2006Event location
Szeged, HungaryEvent type
conferenceISBN
3-540-45458-6Department affiliated with
- Informatics Publications
Notes
Originality: good application of Domain Theory to show useful how Separation Logic can be extended to languages with code pointers Rigour: full domain theoretic model with mathematical proofs Significance: potentially huge as benefits of Spearation Logic made available for more types of languages Outlet/Citations: CSL is an international conferenence organized by the European Association for CompSci Logic and hhad an acceptance rate 0f 34% this year. New paper no citations in google.. COMMENT: Journal Version in preparation.Full text available
- No
Peer reviewed?
- Yes
Legacy Posted Date
2012-02-06Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC