First-Order Programming Theories
Buch in deiner Nähe kaufen
Beschreibung
This book proposes a purely classical first-order logical approach to the theory of programming. It provides a unified framework to present new programming theories and logics systematically and to investigate and compare existing ones with respect to their expressive and proof-theoretic powers.
Autor*in
Tamas Gergely
Themen in »First-Order Programming Theories«
Logik erster Ordnung Programmiertheorie Programmierung (EDV) Programming Theory Programmverifikation Temporale Logik first-order reasoning formal method logic program verification programming programming language semantics temporal logic verification