↓ 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 35: Foundations of denotational semantics
Altmetric Badge

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
2 Mendeley
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
Foundations of denotational semantics
Chapter number 35
Book title
Abstract Software Specifications
Published by
Springer, Berlin, Heidelberg, January 1980
DOI 10.1007/3-540-10007-5_35
Book ISBNs
978-3-54-010007-2, 978-3-54-038136-5
Authors

Joseph E. Stoy, Stoy, Joseph E.

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 100%
Readers by discipline Count As %
Computer Science 2 100%

This page is provided by Altmetric.