J
Jesse B. Wright
Researcher at IBM
Publications - 23
Citations - 2874
Jesse B. Wright is an academic researcher from IBM. The author has contributed to research in topics: Algebraic specification & Abstract data type. The author has an hindex of 18, co-authored 23 publications receiving 2829 citations. Previous affiliations of Jesse B. Wright include University of California, Los Angeles.
Papers
More filters
Journal ArticleDOI
Initial Algebra Semantics and Continuous Algebras
TL;DR: An overview of initial algebra semantics is provided and the major technical feature is an initial continuous algebra which permits unified algebraic treatment of iterative and recursive semantic features in the same framework as more basic operations.
Journal ArticleDOI
Generalized finite automata theory with an application to a decision problem of second-order logic
TL;DR: The standard closure theorems are proved for the class of sets “recognizable” by finite algebras, and a generalization of Kleene's regularity theory is presented.
Journal ArticleDOI
Algebraic automata and context-free sets
Jorge E. Mezei,Jesse B. Wright +1 more
TL;DR: A principal objective of the paper is to establish in the context of abstract algebra, relationships between such concepts as equational and recognizable sets.
Journal ArticleDOI
Data Type Specification: Parameterization and the Power of Specification Techniques
TL;DR: The "hidden function" problem is investigated, it is proved that condit ional specifications are inherently more powerful than equational specifications, and it is shown that parameterized specifications must contain "side conditions".
Proceedings ArticleDOI
Data type specification: Parameterization and the power of specification techniques
TL;DR: The “hidden function” problem is investigated, it is proved that conditional specifications are inherently more powerful than equational specifications, and it is shown that parameterized specifications must contain “side conditions”.