Search for Author All Reviews
	Esparza, Javier     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 7 reviews        Automata theory: an algorithmic approach Esparza J., Blondin M., MIT Press, Cambridge, MA, 2023. 560 pp.  Type: Book (0262048639) Novices to automata theory may want to start with Dines Bjørner’s narrative on principles and techniques, found in the automata theory chapter of his enjoyable three-volume set [1], which covers intuition, motivation, and pragmatics. Bjørner...... Feb 27 2024     Pattern-based verification for multithreaded programs Esparza J., Ganty P., Poch T. ACM Transactions on Programming Languages and Systems 36(3): 1-29, 2014.  Type: Article The verification of some program properties via model checking has matured in recent years for sequential programming. However, for multithreaded programming, an area becoming ever more important, several complexity-theory-related ques...... Nov 19 2014     Finite and algorithmic model theory Esparza J., Michaux C., Steinhorn C., Cambridge University Press, New York, NY, 2011. 356 pp.  Type: Book (978-0-521718-20-2) Models are extensively used when building large software systems. This book focuses on the theory of models, which are perceived as mathematical structures. It presents concepts, definitions, and related theorems, and emphasizes the fi...... Jan 16 2012     Parikh’s theorem: a simple and direct automaton construction Esparza J., Ganty P., Kiefer S., Luttenberger M. Information Processing Letters 111(12): 614-619, 2011.  Type: Article As the title promises, the construction given by the authors is, indeed, quite simple and direct. For any context-free grammar G, their method can be easily applied to “construct a nondeterministic finite a...... Oct 31 2011     Unfoldings: a partial-order approach to model checking Esparza J., Heljanko K., Springer Publishing Company, Incorporated, 2008. 172 pp.  Type: Book (9783540774259) The authors of this monograph basically address one problem: generating an algorithm that model checks a formula in linear temporal logic against a product transition system. The authors reduce the question to three basic...... Sep 15 2008     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy