(Q22244930)

English

Separation Logic and Abstraction

scientific article

In more languages

Statements

scholarly article

0 references

Separation Logic and Abstraction (English)

0 references

Matthew Parkinson

0 references

0 references

language of work or name

0 references

247-258

10.1145/1040305.1040326

0 references

ACM SIGPLAN Notices

publication date

January 2005

40

1

10.1145/1047659.1040326

247-258

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=Q22244930&oldid=1591361997"