Skip to main content
SpringerLink
Log in

Thinking Programs

Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

  • Textbook
  • © 2021

Overview

Authors:
  1. Wolfgang Schreiner

    1. RISC, Johannes Kepler University, Linz, Austria

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Theoretical constructions are illustrated by numerous examples that provide the reader with an intuitive understanding of the underlying ideas
  • Each theoretical chapter concludes with the demonstration of some software that shows to the reader the practical applicability of the presented theory
  • The book is accompanied by a web site that contains the source code of the demonstrations and examples for further self-study

Part of the book series: Texts & Monographs in Symbolic Computation (TEXTSMONOGR)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Pages i-xxxiii
    Download chapter PDF

  2. The Foundations

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Syntax and Semantics

      • Wolfgang Schreiner
      Pages 3-24

    3. The Language of Logic

      • Wolfgang Schreiner
      Pages 25-63

    4. The Art of Reasoning

      • Wolfgang Schreiner
      Pages 65-100

    5. Building Models

      • Wolfgang Schreiner
      Pages 101-138

    6. Recursion

      • Wolfgang Schreiner
      Pages 139-193

  3. The Higher Planes

    1. Front Matter

      Pages 195-195
      Download chapter PDF

    2. Abstract Data Types

      • Wolfgang Schreiner
      Pages 197-315

    3. Programming Languages

      • Wolfgang Schreiner
      Pages 317-415

    4. Computer Programs

      • Wolfgang Schreiner
      Pages 417-515

    5. Concurrent Systems

      • Wolfgang Schreiner
      Pages 517-619

  4. Back Matter

    Pages 621-636
    Download chapter PDF
Back to top

Keywords

About this book

This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute from given inputs wanted outputs, and programs that describe continuously executing systems. The core message is that clear thinking about programs can be expressed in a single universal language, the formal language of logic. Apart from its universal elegance and expressiveness, this “logical” approach to the formal modeling of and reasoning about computer programs has another advantage: due to advances in computational logic (automated theorem proving, satisfiability solving, model checking), nowadays much of this process can be supported by software. This book therefore accompanies its theoretical elaborations by practical demonstrations of various systems and tools thatare based on respectively make use of the presented logical underpinnings.

Authors and Affiliations

  • RISC, Johannes Kepler University, Linz, Austria

    Wolfgang Schreiner

About the author

Wolfgang Schreiner is an associate professor at the Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz, Austria. He is working in formal methods of computer science (with previous research in parallel computing and functional programming), and has produced various software packages related to formal semantics, specification, and verification, in particular the RISC ProofNavigator, the RISC ProgramExplorer, and the RISC Algorithm Language (RISCAL). Formerly he directed a degree programme on Computer-based Learning at the Upper Austria University of Applied Sciences in Hagenberg.

Bibliographic Information

  • Book Title: Thinking Programs

  • Book Subtitle: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

  • Authors: Wolfgang Schreiner

  • Series Title: Texts & Monographs in Symbolic Computation

  • DOI: https://doi.org/10.1007/978-3-030-80507-4

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2021

  • Hardcover ISBN: 978-3-030-80506-7Published: 23 October 2021

  • Softcover ISBN: 978-3-030-80509-8Published: 24 October 2022

  • eBook ISBN: 978-3-030-80507-4Published: 22 October 2021

  • Series ISSN: 0943-853X

  • Series E-ISSN: 2197-8409

  • Edition Number: 1

  • Number of Pages: XXXIII, 636

  • Number of Illustrations: 106 b/w illustrations, 98 illustrations in colour

  • Topics: Mathematical Logic and Foundations, Mathematics of Computing

Publish with us

Policies and ethics

Back to top

Search

Navigation