J. Stanley Warford

This book, Pepperdine Papers on Linear Temporal Logic, documents the research conducted over many years at Pepperdine University culminating in the recent publication of: J. Stanley Warford, David Vega, and Scott M. Staley. 2020. A Calculational Deductive System for Linear Temporal Logic. ACM Comput. Surv. 53, 3, Article 53 (June 2020), 38 pages, https: //doi.org/10.1145/3387109 which is freely available for download from the link given above. This book was written with three goals in mind. First, to make the complete documentation of this work widely accessible to engineers and scientists working in this, and related fields. Due to publication page limitations only a small sample of the results of this work could be published in the ACM Computing Surveys article. Second, to update the reader on additional new results that were completed subsequent to the submission of the article to the peer-review process. And, third, to report on related supporting work that was conducted using the automated theorem proving software, ACL2, to confirm a significant number of the calculational proofs. Our hope is that together, the ACM article and this book, can be a significant resource for students and researchers working on LTL specification of reactive and concurrent systems. The audience for this book, Pepperdine Papers on Linear Temporal Logic, includes university students at the undergraduate and graduate levels in computer science, mathematics, software engineering and systems design. This book may also be of interest to practicing professionals and educators in both industry and academia.

Completely revised and updated, Computer Systems, Fourth Edition offers a clear, detailed, step-by-step introduction to the central concepts in computer organization, assembly language, and computer architecture. It invites students to explore the many dimensions of computer systems through a top-down approach to levels of abstraction. By examining how the different levels of abstraction relate to one another, the text helps students look at computer systems and their components as a unified concept. The new Fourth Edition is based on the Pep/8 assembler and simulator, which was designed to teach the basics of the classic von Neumann machine. Pep/8 now includes a new symbolic trace feature that displays global variables and the run-time stack in real time as the student single steps through the program. Throughout the text Warford emphasizes the importance of mastering fundamental computer concepts, which provides a basis for understanding both current and future technology, while also stressing the importance of keen problem solving skills. Computer Systems, Fourth Edition covers all of the core topics in the Architecture and Organization category of the ACM-IEEE Curriculum 2001 Guidelines for Computer Science.

The world of computing has always had one corner stone of particular interest to many, from educators to practitioners: languages. And programming languages in particular. Over the years, we have seen new languages come-and, much less fre­ quently, old languages go. It is always tempting to focus on "the one" language of fashion of the day. In this very readable and instructive textbook, Stan Warford has done the unusual-and risky-by taking the programming language Component Pascal that is far from mainstream, although it does have roots that are among the strongest in the field. Given that the concept of formal language, whether at the level of architecture, design, or implementation language, is central to our discipline, it is important that students continue to be exposed to a wide variety of languages. No single language does everything perfectly, or even well, and students need to understand this funda­ mental tradeoff. The same holds for frameworks and programming models that need to be designed to allow harmony between the natural ways of a language and the needs to a framework for a particular domain.