From object-orientation to formal methods : essays in memory of Ole-Johan Dahl /
| Corporate Author: | |
|---|---|
| Other Authors: | , , , |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2004]
|
| Series: | Lecture notes in computer science ;
2635. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2635 |
Table of Contents:
- A biography of Ole-Johan Dahl
- A bibliography of Ole-Johan Dahl
- The birth of object orientation: The Simula languages
- An algebraic theory of actors and its application to a simple object-based language
- Towards posit & prove calculi for requirements engineering and software design
- Distributed concurrent object-oriented software
- Composing hidden information modules over inclusive institutions
- Towards the verifying compiler
- Object-oriented specification and open distributed systems
- SIMULA and super-object-oriented programming
- Efficient Coroutine generation of constrained gray sequences
- Consistency of inheritance in object-oriented languages and of static, ALGOL-like binding
- The power of abstraction, reuse, and simplicity: An object-oriented library for event-driven design
- Iterative synthesis of control guards ensuring invariance and inevitability in discrete-decision games
- Incremental reasoning for object oriented systems
- Pure type systems in rewriting logic: Specifying typed higher-order languages in a first-order logical framework
- Building optimal binary search trees from sorted values in O(N) time.