Types, Maps and Separation Logic (Q3183535)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Types, Maps and Separation Logic	scientific article

Statements

scholarly article

0 references

Types, Maps and Separation Logic (English)

0 references

0 references

0 references

Lecture Notes in Computer Science

0 references

publication date

20 October 2009

0 references

describes a project that uses

0 references

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-642-03359-9_20

0 references

Formal Pervasive Verification of a Paging Mechanism

0 references

Permission accounting in separation logic

0 references

Correct Hardware Design and Verification Methods

0 references

BI as an assertion language for mutable data structures

0 references

Operating system verification---an overview

0 references

Logic for Programming, Artificial Intelligence, and Reasoning

0 references

Formal memory models for the verification of low-level operating-system code

0 references

Formal verification of C systems code. Structured types, separation logic and theorem proving

0 references

Types, bytes, and separation logic

0 references

Computer Science Logic

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-642-03359-9_20

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3183535

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3183535&oldid=35132519"