Verified Software Toolchain (Q3000569)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Verified Software Toolchain	scientific article

Statements

scholarly article

0 references

Verified Software Toolchain (English)

0 references

zbMATH Open document ID

0 references

10.1007/978-3-642-19718-5_1

0 references

Andrew W. Appel

0 references

Programming Languages and Systems

0 references

publication date

19 May 2011

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

describes a project that uses

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-19718-5_1

0 references

0 references

A very modal model of a modern, major, general type system

0 references

A trustworthy proof checker

0 references

Step-indexed kripke models over recursive worlds

0 references

Permission accounting in separation logic

0 references

Relaxed memory models

0 references

Foundational certified code in the Twelf metalogical framework

0 references

Local Reasoning for Storable Locks and Threads

0 references

Oracle Semantics for Concurrent Separation Logic

0 references

A theory of indirection via approximation

0 references

Formal certification of a compiler back-end or

0 references

Formal verification of a C-like memory model and its uses for verifying program transformations

0 references

Resources, concurrency, and local reasoning

0 references

Logic for Programming, Artificial Intelligence, and Reasoning

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3000569

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