Uniqueness types for efficient and verifiable aliasing-free embedded systems programming

DOI10.1007/978-3-030-34968-4_3zbMath1540.68056MaRDI QIDQ6536347

Tuur Benoit, Bart Jacobs

Publication date: 19 April 2024

zbMATH Keywords

formal verificationuniqueness types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Building High Integrity Applications with SPARK
• Idris, a general-purpose dependently typed programming language: Design and implementation
• Practical affine types

This page was built for publication: Uniqueness types for efficient and verifiable aliasing-free embedded systems programming