Search for Author All Reviews
	Miller, Dale     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 4 of 4 reviews       A semantic framework for proof evidence Chihani Z., Miller D., Renaud F. Journal of Automated Reasoning 59(3): 287-330, 2017.  Type: Article The use of theorem provers as fundamental aids in computer science and software engineering is slowly expanding their reach. The multitude of tools and methods does have a downside: lack of interoperability. It would be nice if, for ex...... Feb 6 2018     Proof checking and logic programming Miller D. Formal Aspects of Computing 29(3): 383-399, 2017.  Type: Article A proof checker is a program that takes a claimed proof of a logic formula and decides whether this claim is true; in applications such as program verification and automated reasoning, it is thus not necessary to trust the (potentially...... Jun 27 2017     Programming with higher-order logic Miller D., Nadathur G., Cambridge University Press, New York, NY, 2012. 320 pp.  Type: Book (978-0-521879-40-8) As an experienced user of higher-order logic in the context of theorem proving and verification, I was intrigued and excited by the title of this book, which combines this powerful framework with the practical idea of “progra...... Jun 10 2013     Proof search specifications of bisimulation and modal logics for the &pgr;-calculus Tiu A., Miller D. ACM Transactions on Computational Logic 11(2): 1-35, 2010.  Type: Article In a small but vibrant corner of the computer science world, theoreticians continue an elegant and subtle program to try to elucidate the meaning of computation. Milner, Parrow, and Walker’s &pgr;-calculus [1] has advocat...... May 17 2010
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy