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
5
10
15
25
50
100
per column
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy