Search for Author All Reviews
	Yuwen, Shijiao     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Semantics-based program verifiers for all languages Stefănescu A., Park D., Yuwen S., Li Y., Roşu G.  OOPSLA 2016 (Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Amsterdam, Netherlands, Nov 2-4, 2016) 74-91, 2016.  Type: Proceedings Programming is hard. Verifying correctness of a program is harder. Building an automated tool for program verification is harder still: there are very few tools that can perform verification of non-trivial programs written in real-worl...... Jul 20 2017
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy