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

Programming Methodology

Overview of attention for book
Cover of 'Programming Methodology'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Wanted: a compositional approach to concurrency
  3. Altmetric Badge
    Chapter 2 Enforcing behavior with contracts
  4. Altmetric Badge
    Chapter 3 Asynchronous progress
  5. Altmetric Badge
    Chapter 4 A reduction theorem for concurrent object-oriented programs
  6. Altmetric Badge
    Chapter 5 Abstractions from time
  7. Altmetric Badge
    Chapter 6 A predicative semantics for real-time refinement
  8. Altmetric Badge
    Chapter 7 Aspects of system description
  9. Altmetric Badge
    Chapter 8 Modelling architectures for dynamic systems
  10. Altmetric Badge
    Chapter 9 “What is a method?” — an essay on some aspects of domain engineering
  11. Altmetric Badge
    Chapter 10 Object-oriented programming and software development—a critical assessment
  12. Altmetric Badge
    Chapter 11 A trace model for pointers and objects
  13. Altmetric Badge
    Chapter 12 Object models as heap invariants
  14. Altmetric Badge
    Chapter 13 Abstraction dependencies
  15. Altmetric Badge
    Chapter 14 Type systems
  16. Altmetric Badge
    Chapter 15 What do types mean? — From intrinsic to extrinsic semantics
  17. Altmetric Badge
    Chapter 16 Automated verification using deduction, exploration, and abstraction
  18. Altmetric Badge
    Chapter 17 An experiment in feature engineering
  19. Altmetric Badge
    Chapter 18 High-level circuit design
  20. Altmetric Badge
    Chapter 19 Power analysis: attacks and countermeasures
  21. Altmetric Badge
    Chapter 20 A probabilistic approach to information hiding
Attention for Chapter 16: Automated verification using deduction, exploration, and abstraction
Altmetric Badge

Citations

dimensions_citation
2 Dimensions
Summary Dimensions citations
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.
Chapter title
Automated verification using deduction, exploration, and abstraction
Chapter number 16
Book title
Programming Methodology
Published by
Springer, New York, NY, January 2003
DOI 10.1007/978-0-387-21798-7_16
Book ISBNs
978-1-4419-2964-8, 978-0-387-21798-7
Authors

Natarajan Shankar, Shankar, Natarajan

View on publisher site

This page is provided by Altmetric.