A language-based approach to functionally correct imperative programming

DOI10.1145/1086365.1086400zbMath1302.68095OpenAlexW2134737716MaRDI QIDQ2936790

Ian Wehrman, Aaron Stump, Edwin Westbrook

Publication date: 6 January 2015

Published in: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://openscholarship.wustl.edu/cse_research/951

zbMATH Keywords

RSPdependent typesprogram verificationRSP1

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Hoare type theory, polymorphism and separation, Type-level Computation Using Narrowing in Ωmega, Language-Based Program Verification via Expressive Types, Imperative LF Meta-Programming

Uses Software

• Coq
• Twelf
• LEGO
• Cayenne