Westbrook, Edwin; Stump, Aaron; Wehrman, Ian A language-based approach to functionally correct imperative programming. (English) Zbl 1302.68095 Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 268-279 (2005). Cited in 4 Documents MSC: 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) Keywords:RSP; RSP1; dependent types; program verification Software:Coq; LEGO; Twelf; Cayenne PDFBibTeX XMLCite \textit{E. Westbrook} et al., in: Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP '05, Tallinn, Estonia, September 26--28, 2005. New York, NY: Association for Computing Machinery (ACM). 268--279 (2005; Zbl 1302.68095) Full Text: DOI Link