Pub. Date:
Springer Berlin Heidelberg
First-Order Programming Theories / Edition 1

First-Order Programming Theories / Edition 1

by Tamas Gergely, Laszlo Ury


Current price is , Original price is $159.99. You
Select a Purchase Option (1991)
  • purchase options
    $128.42 $159.99 Save 20% Current price is $128.42, Original price is $159.99. You Save 20%.
  • purchase options

Product Details

ISBN-13: 9783540542773
Publisher: Springer Berlin Heidelberg
Publication date: 11/20/1991
Series: Monographs in Theoretical Computer Science. An EATCS Series , #24
Edition description: 1991
Pages: 353
Product dimensions: 6.69(w) x 9.61(h) x 0.03(d)

Table of Contents

Mathematical Background.- 1. Logic and Model Theory.- 2. Inductive Definability.- I Computability.- 3. Introduction to Part I.- 4. Main Properties of Program Schemas.- 5. Extension of Program Schemas.- 6. Program Schemas with Stacks.- 7. Computability.- 8. On Inductive Definability of 1- and 2-Computable Relations.- II Extended Dynamic Logics.- 9. Introduction to Part II.- 10. Description of Program Properties.- 11. Den-based Descriptive Languages.- 12. The Problem of Completeness.- 13. Dynamic Logic Generated by Extension.- 14. Continuous Denotational Semantics.- 15. Definable Denotational Semantics.- III Temporal Characterization of Programs.- 16. Introduction to Part III.- 17. Temporal Logic.- 18. Temporal Logical Description of Program Properties.- 19. Is Temporal Logic Expressible in Dynamic Logic?.- 20. Is Dynamic Logic Expressible in Temporal Logic?.- 21. The Case of Enumerable Models.- 22. Temporal Axiomatization of Program Verification Methods.- IV Programming Logic with Explicit Time.- 23. Introduction to Part IV.- 24. Time Logic.- 25. Definability in Regular Time Theories.- 26. Expressive Power of Time.- Epilogue.- References.- Notations.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews