Lightweight Separation (Q3543659)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Lightweight Separation	scientific article

Statements

scholarly article

0 references

Lightweight Separation (English)

0 references

0 references

Lecture Notes in Computer Science

0 references

publication date

4 December 2008

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-540-71067-7_18

0 references

Separation Logic for Small-Step cminor

0 references

Shape Analysis for Composite Data Structures

0 references

Programming Languages and Systems

0 references

0 references

0 references

0 references

Tools and Algorithms for the Construction and Analysis of Systems

0 references

Interprocedural Shape Analysis with Separated Heap Abstractions

0 references

Axiomatic approach to side effects and general jumps

0 references

Proving pointer programs in higher-order logic

0 references

Automated Verification of Shape and Size Properties Via Separation Logic

0 references

0 references

0 references

Isabelle. A generic theorem prover

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-540-71067-7_18

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3543659

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