A type system for certified binaries
From MaRDI portal
Publication:5178908
DOI10.1145/503272.503293zbMath1323.68383OpenAlexW1995594295MaRDI QIDQ5178908
Bratin Saha, Nikolaos S. Papaspyrou, Valery Trifonov, Zhong Shao
Publication date: 17 March 2015
Published in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/503272.503293
Cryptography (94A60) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
ANF preserves dependent types up to extensional equality ⋮ Type-Safe Code Transformations in Haskell ⋮ Type-level Computation Using Narrowing in Ωmega ⋮ Testing your (static analysis) truths
