Eljas Soisalon-Soininen Books

Focusing on the evolution of programming languages, this book delves into the necessity for a robust methodology in compiler design, emphasizing a syntax-directed approach. It explores how program text is parsed based on formal syntax, with object code generated from the semantics of parsed entities. The text highlights the significance of context-free grammars in describing programming language syntax and discusses the development of efficient deterministic linear-time algorithms for parsing restricted context-free grammars.

Focusing on the concept of transactions in databases, this book delves into the sequence of database actions executed as atomic units of work, essential for application programmers. It highlights the established foundations of transaction processing, tracing its development back to the late 1970s and early 1980s, and explores the implications of these concepts for modern database management and application design.

Volume II of this monograph delves into deterministic parsing of context-free grammars, focusing on LR(k) and LL(k) methods. It builds on Volume I, presenting classical constructions like the canonical LR(k) parser and its variants. The text emphasizes rigorous mathematical proofs and the properties of various grammar classes.