From Object-Orientation to Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540213666, 9783540399933

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Building Optimal Binary Search Trees from Sorted Values in O(N) Time

From Object-Orientation to Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39993-3_17 ◽

2004 ◽

pp. 376-388 ◽

Cited By ~ 3

Author(s):

Jean G. Vaucher

Keyword(s):

Binary Search ◽

Binary Search Trees ◽

Search Trees

Download Full-text

Efficient Coroutine Generation of Constrained Gray Sequences

From Object-Orientation to Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39993-3_11 ◽

2004 ◽

pp. 183-208 ◽

Cited By ~ 1

Author(s):

Donald E. Knuth ◽

Frank Ruskey

Download Full-text

Object-Oriented Specification and Open Distributed Systems

From Object-Orientation to Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39993-3_9 ◽

2004 ◽

pp. 137-164 ◽

Cited By ~ 10

Author(s):

Einar Broch Johnsen ◽

Olaf Owe

Keyword(s):

Distributed Systems ◽

Object Oriented ◽

Open Distributed Systems

Download Full-text

Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding

From Object-Orientation to Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39993-3_12 ◽

2004 ◽

pp. 209-235

Author(s):

Hans Langmaack

Keyword(s):

Object Oriented ◽

Object Oriented Languages

Download Full-text

An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language

From Object-Orientation to Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39993-3_4 ◽

2004 ◽

pp. 26-57 ◽

Cited By ~ 12

Author(s):

Gul Agha ◽

Prasanna Thati

Keyword(s):

Algebraic Theory ◽

Simple Object ◽

Object Based

Download Full-text

Towards the Verifying Compiler

From Object-Orientation to Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39993-3_8 ◽

2004 ◽

pp. 124-136

Author(s):

Tony Hoare

Keyword(s):

Verifying Compiler

Download Full-text

Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework

From Object-Orientation to Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39993-3_16 ◽

2004 ◽

pp. 334-375 ◽

Cited By ~ 5

Author(s):

Mark-Oliver Stehr ◽

José Meseguer

Keyword(s):

Type Systems ◽

Higher Order ◽

Logical Framework ◽

Rewriting Logic ◽

First Order ◽

Pure Type ◽

Pure Type Systems

Download Full-text

Distributed Concurrent Object-Oriented Software

From Object-Orientation to Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39993-3_6 ◽

2004 ◽

pp. 83-95

Author(s):

Manfred Broy

Keyword(s):

Object Oriented

Download Full-text

A Biography of Ole-Johan Dahl

From Object-Orientation to Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39993-3_1 ◽

2004 ◽

pp. 1-7

Author(s):

Olaf Owe ◽

Stein Krogdahl ◽

Tom Lyche

Download Full-text

SIMULA and Super-Object-Oriented Programming

From Object-Orientation to Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39993-3_10 ◽

2004 ◽

pp. 165-182 ◽

Cited By ~ 1

Author(s):

Eugene Kindler

Keyword(s):

Object Oriented ◽

Object Oriented Programming

Download Full-text

From Object-Orientation to Formal Methods - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Building Optimal Binary Search Trees from Sorted Values in O(N) Time

Efficient Coroutine Generation of Constrained Gray Sequences

Object-Oriented Specification and Open Distributed Systems

Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding

An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language

Towards the Verifying Compiler

Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework

Distributed Concurrent Object-Oriented Software

A Biography of Ole-Johan Dahl

SIMULA and Super-Object-Oriented Programming

From Object-Orientation to Formal Methods - Lecture Notes in Computer Science
Latest Publications