×

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).

MSC:

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

Software:

Coq; LEGO; Twelf; Cayenne
PDFBibTeX XMLCite
Full Text: DOI Link