University of Sussex
Browse

File(s) not publicly available

Separation Logic for Higher-Order Store

presentation
posted on 2023-06-07, 23:01 authored by Bernhard ReusBernhard Reus, Jan Schwinghammer
No description supplied

History

Publication status

  • Published

Publisher

Springer, Berlin

Volume

4207

Presentation Type

  • paper

Event name

Computer Science Logic 2006

Event location

Szeged, Hungary

Event type

conference

ISBN

3-540-45458-6

Department 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-06

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC