↓ Skip to main content
What is this page? Embed badge

Logics of Programs

Overview of attention for book
Cover of 'Logics of Programs'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 351 A static analysis of CSP programs
  3. Altmetric Badge
    Chapter 352 Compactness in semantics for merge and fair merge
  4. Altmetric Badge
    Chapter 353 Algebraic tools for system construction
  5. Altmetric Badge
    Chapter 354 PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness
  6. Altmetric Badge
    Chapter 355 The intractability of validity in logic programming and dynamic logic
  7. Altmetric Badge
    Chapter 356 A semantics and proof system for communicating processes
  8. Altmetric Badge
    Chapter 357 Non-standard fixed points in first order logic
  9. Altmetric Badge
    Chapter 358 Automatic verification of asynchronous circuits
  10. Altmetric Badge
    Chapter 359 Mathematics as programming
  11. Altmetric Badge
    Chapter 360 Characterization of acceptable by algol-like programming languages
  12. Altmetric Badge
    Chapter 361 A rigorous approach to fault-tolerant system development
  13. Altmetric Badge
    Chapter 362 A sound and relatively complete axiomatization of clarke's language L 4
  14. Altmetric Badge
    Chapter 363 Deciding branching time logic: A triple exponential decision procedure for CTL
  15. Altmetric Badge
    Chapter 364 Equations in combinatory algebras
  16. Altmetric Badge
    Chapter 365 Reasoning about procedures as parameters
  17. Altmetric Badge
    Chapter 366 Introducing institutions
  18. Altmetric Badge
    Chapter 367 A complete proof rule for strong equifair termination
  19. Altmetric Badge
    Chapter 368 Necessary and sufficient conditions for the universality of programming formalisms
  20. Altmetric Badge
    Chapter 369 There exist decidable context free propositonal dynamic logics
  21. Altmetric Badge
    Chapter 370 A decision procedure for the propositional μ-calculus
  22. Altmetric Badge
    Chapter 371 A verifier for compact parallel coordination programs
  23. Altmetric Badge
    Chapter 372 Information systems, continuity and realizability
  24. Altmetric Badge
    Chapter 373 A complete system of temporal logic for specification schemata
  25. Altmetric Badge
    Chapter 374 Reasoning in interval temporal logic
  26. Altmetric Badge
    Chapter 375 Hoare's logic for programs with procedures — What has been achieved?
  27. Altmetric Badge
    Chapter 376 A theory of probabilistic programs
  28. Altmetric Badge
    Chapter 377 A low level language for obtaining decision procedures for classes of temporal logics
  29. Altmetric Badge
    Chapter 378 Deriving efficient graph algorithms (summary)
  30. Altmetric Badge
    Chapter 379 An introduction to specification logic
  31. Altmetric Badge
    Chapter 380 An interval-based temporal logic
  32. Altmetric Badge
    Chapter 381 Property preserving homomorphisms of transition systems
  33. Altmetric Badge
    Chapter 382 From denotational to operational and axiomatic semantics for ALGOL-like languages: An overview
  34. Altmetric Badge
    Chapter 383 Logics of Programs
  35. Altmetric Badge
    Chapter 384 A proof system for partial correctness of dynamic networks of processes
  36. Altmetric Badge
    Chapter 385 Errata
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users
wikipedia
3 Wikipedia pages
Summary X Wikipedia
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Logics of Programs
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-12896-4
ISBNs
978-3-54-012896-0, 978-3-54-038775-6
Editors

Clarke, Edmund, Kozen, Dexter

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.