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

Abstract Software Specifications

Overview of attention for book
Cover of 'Abstract Software Specifications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 34 Abstract Architecture
  3. Altmetric Badge
    Chapter 35 Foundations of denotational semantics
  4. Altmetric Badge
    Chapter 36 Models of programming language concepts
  5. Altmetric Badge
    Chapter 37 Formalization of data base models
  6. Altmetric Badge
    Chapter 38 Experiments in block-structured GOTO language modeling: — EXITs versus continuations
  7. Altmetric Badge
    Chapter 39 An introduction to data algebras
  8. Altmetric Badge
    Chapter 40 Time sequences as a tool for describing program behaviour
  9. Altmetric Badge
    Chapter 41 The semantics of clear, a specification language
  10. Altmetric Badge
    Chapter 42 An example of hierarchical program specification
  11. Altmetric Badge
    Chapter 43 Modular program construction using abstractions
  12. Altmetric Badge
    Chapter 44 On the structure of application programs
  13. Altmetric Badge
    Chapter 45 Abstract objects as abstract data types
  14. Altmetric Badge
    Chapter 46 Design and analysis of highly parallel and distributed systems
  15. Altmetric Badge
    Chapter 47 On the semantics of fair parallelism
  16. Altmetric Badge
    Chapter 48 Dijkstra's predicate transformers and smyth's powerdomains
  17. Altmetric Badge
    Chapter 49 Banquet talk
Attention for Chapter 42: An example of hierarchical program specification
Altmetric Badge

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
So far, Dimensions has found 7 publications that cite this research output.

7

The most recent citing publications are shown below. View all 7 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.