Search for Author All Reviews
	Alur, Rajeev     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       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     How can automatic feedback help students construct automata? D’antoni L., Kini D., Alur R., Gulwani S., Viswanathan M., Hartmann B. ACM Transactions on Computer-Human Interaction 22(2): 1-24, 2015.  Type: Article Student learning for concepts like automata and formal languages can be a challenge. Students often fail to see the relevance to more practical aspects, and the feedback they receive on lab exercises or homework assignments typically o...... Apr 6 2016     Adding nesting structure to words Alur R., Madhusudan P. Journal of the ACM 56(3): 1-43, 2009.  Type: Article Nested word languages, nested word automata (NWA), and visibly pushdown languages (VPL) have been extensively examined since Alur and Madhusudan introduced VPLs in 2004. This latest paper serves as the definitive summary, bringing the ...... Jul 14 2009     Modular refinement of hierarchic reactive machines Alur R., Grosu R. ACM Transactions on Programming Languages and Systems 26(2): 339-369, 2004.  Type: Article The theoretical foundation presented in this paper significantly enables the application of formal methods in software engineering. The paper mentions avionics software as an example of a reactive system that motivates research on the ...... Jul 9 2004
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy