Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130) | EKB DL

Home BookAxiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130)

Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130)

Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130)

Description

Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.

Keywords

COMPUTER PROGRAMMING

1982Book

Author(s)R. Goldblatt

PublisherSpringer

ISBN9783540112105

LanguageEnglish

Similar Books

Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series)

Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series)

Simple Program Schemes and Formal Languages (Lecture Notes in Computer Science, 20)

Simple Program Schemes and Formal Languages (Lecture Notes in Computer Science, 20)

First-Order Programming Theories (Monographs in Theoretical Computer Science. An EATCS Series, 24)

First-Order Programming Theories (Monographs in Theoretical Computer Science. An EATCS Series, 24)

Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131)

Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131)

Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)

Complementary Definitions of Programming Language Semantics (Lecture Notes in Computer Science, 42)

Proof and Computation (Nato ASI Subseries F:)

Proof and Computation (Nato ASI Subseries F:)

Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)

Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)

Refinement Calculus A Systematic Introduction

Refinement Calculus A Systematic Introduction

Logic of Computation

Logic of Computation

A Connotational Theory of Program Structure

A Connotational Theory of Program Structure