Search for Author All Reviews
	Dramnesc, Isabela     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       Synthesis of list algorithms by mechanical proving Drămnesc I., Jebelean T. Journal of Symbolic Computation 69(C): 61-92, 2015.  Type: Article Program synthesis via extraction of programs from constructive proofs is now very well established, with a large literature base. There are still quite a few hurdles to overcome, but the meta-theory has been in place for quite some tim...... Jan 11 2016
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy