Temporal Logic of Programs

✍ Scribed by Fred Kröger

Publisher: Springer
Year: 1987
Tongue: English
Leaves: 149
Series: EATCS Monographs on Theoretical Computer Science 8
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.

✦ Table of Contents

Front Matter....Pages I-VIII
Introduction....Pages 1-8
Propositional Temporal Logic....Pages 9-23
Axiomatization of Propositional Temporal Logic....Pages 25-41
First-Order Temporal Logic....Pages 43-53
Temporal Semantics of Programs....Pages 55-77
Invariance and Precedence Properties of Programs....Pages 79-101
Eventuality Properties of Programs....Pages 103-120
Special Methods for Sequential Programs....Pages 121-132
Back Matter....Pages 133-148

✦ Subjects

Logics and Meanings of Programs; Mathematical Logic and Formal Languages

📜 SIMILAR VOLUMES

Temporal Logic of Programs

📁 Temporal Logic of Programs

✍ Fred Kröger 📂 Library 📅 1987 🏛 Springer 🌐 English

Introduction to the temporal logic of - in particular parallel - programs. Divided into three main parts: - Presentation of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their properties within the language of temporal logic; - Application of the lo

Temporal Logic of Programs [comp sci]

📁 Temporal Logic of Programs [comp sci]

✍ W. Brauer, et al. 📂 Library 📅 1985 🏛 Springer 🌐 English

Executing Temporal Logic Programs

📁 Executing Temporal Logic Programs

✍ Ben C. Moszkowski 📂 Library 📅 1986 🏛 Cambridge University Press 🌐 English

Temporal logic is gaining recognition as an attractive and versatile formalism for rigorously specifying and reasoning about computer programs, digital circuits and message-passing systems. This book introduces Tempura, a programming language based on temporal logic. Tempura provides a way of direct

Programmable Logic Controllers Programmi

📁 Programmable Logic Controllers Programming Methods

✍ John R. Hackworth, Frederick D. Hackworth 📂 Library 📅 2003 🏛 Prentice Hall 🌐 English

This book is designed to help readers develop a good general working knowledge of programmable controllers with concentration on relay ladder logic techniques and how PLC is connected to external components in an operating control system. The book uses real world programming problems that readers ca

Handbook of Logic in Artificial Intellig

📁 Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 4: Epistemic and Temporal Reasoning

✍ Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) 📂 Library 📅 1995 🏛 Clarendon Press 🌐 English

The dramatic increase in research in recent years shows that logic is now widely recognized as one of the foundational disciplines of computing and has found applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial intellige

Programmable Logic Controllers: Hardware

📁 Programmable Logic Controllers: Hardware and Programming

✍ Max Rabiee 📂 Library 📅 2017 🏛 Goodheart-Willcox; Fourth Edition, Textbook 🌐 English

Programmable Logic Controllers: Hardware and Programming provides an introduction to PLCs and their applications in process and industrial control systems. The text begins with basic hardware and programming concepts and then progresses to system-level applications. <ul><li>To pr