(Q22237685)

English

Separation Logic: A Logic for Shared Mutable Data Structures

scientific article

In more languages

Statements

scholarly article

0 references

Separation Logic: A Logic for Shared Mutable Data Structures (English)

0 references

0 references

separation logic

0 references

John C. Reynolds

0 references

language of work or name

0 references

full work available at URL

https://www.cs.cmu.edu/~jcr/seplogic.pdf

0 references

55-74

0 references

Identifiers

10.1109/LICS.2002.1029817

0 references

ResearchGate publication ID

0 references

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q22237685&oldid=1591352295"