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

From Object-Orientation to Formal Methods

Overview of attention for book
Cover of 'From Object-Orientation to Formal Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Biography of Ole-Johan Dahl
  3. Altmetric Badge
    Chapter 2 A Bibliography of Ole-Johan Dahl
  4. Altmetric Badge
    Chapter 3 From Object-Orientation to Formal Methods
  5. Altmetric Badge
    Chapter 4 An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language
  6. Altmetric Badge
    Chapter 5 Towards Posit & Prove Calculi for Requirements Engineering and Software Design
  7. Altmetric Badge
    Chapter 6 Distributed Concurrent Object-Oriented Software
  8. Altmetric Badge
    Chapter 7 Composing Hidden Information Modules over Inclusive Institutions
  9. Altmetric Badge
    Chapter 8 Towards the Verifying Compiler
  10. Altmetric Badge
    Chapter 9 Object-Oriented Specification and Open Distributed Systems
  11. Altmetric Badge
    Chapter 10 SIMULA and Super-Object-Oriented Programming
  12. Altmetric Badge
    Chapter 11 Efficient Coroutine Generation of Constrained Gray Sequences
  13. Altmetric Badge
    Chapter 12 Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding
  14. Altmetric Badge
    Chapter 13 The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design
  15. Altmetric Badge
    Chapter 14 Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games
  16. Altmetric Badge
    Chapter 15 Incremental Reasoning for Object Oriented Systems
  17. Altmetric Badge
    Chapter 16 Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
  18. Altmetric Badge
    Chapter 17 Building Optimal Binary Search Trees from Sorted Values in O( N ) Time
Attention for Chapter 2: A Bibliography of Ole-Johan Dahl
Altmetric Badge

Citations

dimensions_citation
1 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
A Bibliography of Ole-Johan Dahl
Chapter number 2
Book title
From Object-Orientation to Formal Methods
Published by
Springer, Berlin, Heidelberg, January 2004
DOI 10.1007/978-3-540-39993-3_2
Book ISBNs
978-3-54-021366-6, 978-3-54-039993-3
Authors

Olaf Owe, Stein Krogdahl, Tom Lyche

View on publisher site

This page is provided by Altmetric.