Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006

MaRDI QIDQ373632zbMATH OpenFDO

Authors

Publication date 18 October 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/journal/15710661/174/7

Mathematics Subject Classification ID

Theory of programming languages (68N15) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
• Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
• Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
• Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '16, St. Petersburg, FL, USA, January 20--22, 2016
• Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
• Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
• Proceedings of the 22nd annual conference on mathematical foundations of programming semantics (MFPS XXII), Genova, Italy, May 23--27, 2006
• Program verification: state of the art, problems, and results. II
• Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview
• Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Describes a project that uses

Uses Software

• VeriFun
• Haskell

This page was built for publication: Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q373632)