↓ Skip to main content

Recent Trends in Data Type Specification

Overview of attention for book
Cover of 'Recent Trends in Data Type Specification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 32 Seven years of COMPASS
  3. Altmetric Badge
    Chapter 33 Inductively defined relations: A brief tutorial extended abstract
  4. Altmetric Badge
    Chapter 34 On the role of category theory in the area of algebraic specifications
  5. Altmetric Badge
    Chapter 35 Unification of theories: A challenge for computing science
  6. Altmetric Badge
    Chapter 36 The larch shared language: Some open problems
  7. Altmetric Badge
    Chapter 37 The lambda calculus as an abstract data type
  8. Altmetric Badge
    Chapter 38 Unifying theories in different institutions
  9. Altmetric Badge
    Chapter 39 Interchange format for inter-operability of tools and translation
  10. Altmetric Badge
    Chapter 40 Experiments with partial evaluation domains for rewrite specifications
  11. Altmetric Badge
    Chapter 41 Class-sort polymorphism in GLIDER
  12. Altmetric Badge
    Chapter 42 Deontic concepts in the algebraic specification of dynamic systems: The permission case
  13. Altmetric Badge
    Chapter 43 Reification — Changing viewpoint but preserving truth
  14. Altmetric Badge
    Chapter 44 A category-based equational logic semantics to constraint programming
  15. Altmetric Badge
    Chapter 45 Concurrent state transformations on abstract data types
  16. Altmetric Badge
    Chapter 46 A view on implementing processes: Categories of circuits
  17. Altmetric Badge
    Chapter 47 Combining algebraic and set-theoretic specifications
  18. Altmetric Badge
    Chapter 48 Minimal term rewriting systems
  19. Altmetric Badge
    Chapter 49 InterACT : An interactive theorem and completeness prover for algebraic specifications with conditional equations
  20. Altmetric Badge
    Chapter 50 Rewriting and reasoning with set-relations II: The non-ground case completeness
  21. Altmetric Badge
    Chapter 51 Termination of curryfied rewrite systems
  22. Altmetric Badge
    Chapter 52 Formal specifications and test: Correctness and oracle
  23. Altmetric Badge
    Chapter 53 Behavioural equivalence, bisimulation, and minimal realisation
  24. Altmetric Badge
    Chapter 54 Using limits of parchments to systematically construct institutions of partial algebras
  25. Altmetric Badge
    Chapter 55 Behavioural specifications in type theory
  26. Altmetric Badge
    Chapter 56 Swinging data types
  27. Altmetric Badge
    Chapter 57 Context institutions
  28. Altmetric Badge
    Chapter 58 Object-oriented functional programming and type reconstruction
  29. Altmetric Badge
    Chapter 59 Moving between logical systems
  30. Altmetric Badge
    Chapter 60 Modular algebraic specifications and the orientation of equations into rewrite rules
  31. Altmetric Badge
    Chapter 61 A model for I/O in equational languages with don't care non-determinism
  32. Altmetric Badge
    Chapter 62 Tool design for structuring mechanisms for algebraic specification languages with initial semantics
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
4 Wikipedia pages

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
2 Mendeley
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
Recent Trends in Data Type Specification
Published by
Springer Science & Business Media, September 1996
DOI 10.1007/3-540-61629-2
ISBNs
978-3-54-061629-0, 978-3-54-070642-7
Editors

Haveraaen, Magne, Owe, Olaf, Dahl, Ole-Johan

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
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 %
Professor > Associate Professor 1 50%
Unknown 1 50%
Readers by discipline Count As %
Medicine and Dentistry 1 50%
Unknown 1 50%