Search for Author All Reviews
	Fisman, Dana     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Search-based program synthesis Alur R., Singh R., Fisman D., Solar-Lezama A. Communications of the ACM 61(12): 84-93, 2018.  Type: Article Program synthesis aims at the automatic generation of “an executable implementation ... from a high-level logical specification of the desired input-to-output behavior.” The review article concentrates on syntax-gui...... Mar 19 2019     Safety and liveness, weakness and strength, and the underlying topological relations Eisner C., Fisman D., Havlicek J. ACM Transactions on Computational Logic 15(2): 1-44, 2014.  Type: Article Many temporal logics include weak and strong versions of operators: a strong one guarantees that a property eventually holds while a weak one does not. This paper characterizes which operators form a weak/strong pair, making precise th...... Sep 5 2014
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy