Foundations of Object-Oriented Languages - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540539315, 9783540464501

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A categorial theory of objects as observed processes

Foundations of Object-Oriented Languages - Lecture Notes in Computer Science ◽

10.1007/bfb0019445 ◽

1991 ◽

pp. 203-228 ◽

Author(s):

H. -D. Ehrich ◽

J. A. Goguen ◽

A. Sernadas

Download Full-text

Modelling features of object-oriented languages in second order functional languages with subtypes

Foundations of Object-Oriented Languages - Lecture Notes in Computer Science ◽

10.1007/bfb0019448 ◽

1991 ◽

pp. 311-340 ◽

Author(s):

Giorgio Ghelli

Keyword(s):

Object Oriented ◽

Second Order ◽

Functional Languages ◽

Object Oriented Languages

Download Full-text

Net-based description of parallel object-based systems, or POTs and POPs

Foundations of Object-Oriented Languages - Lecture Notes in Computer Science ◽

10.1007/bfb0019446 ◽

1991 ◽

pp. 229-273 ◽

Author(s):

Joost Engelfriet ◽

George Leih ◽

Grzegorz Rozenberg

Keyword(s):

Download Full-text

A layered semantics for a parallel object-oriented language

Foundations of Object-Oriented Languages - Lecture Notes in Computer Science ◽

10.1007/bfb0019441 ◽

1991 ◽

pp. 91-123 ◽

Author(s):

Pierre America ◽

Jan Rutten

Keyword(s):

Object Oriented

Download Full-text

Producing abstract models for object-oriented languages

Foundations of Object-Oriented Languages - Lecture Notes in Computer Science ◽

10.1007/bfb0019451 ◽

1991 ◽

pp. 426-442

Author(s):

P. M. Yelland

Keyword(s):

Object Oriented ◽

Object Oriented Languages

Download Full-text

A proof system for the language POOL

Foundations of Object-Oriented Languages - Lecture Notes in Computer Science ◽

10.1007/bfb0019442 ◽

1991 ◽

pp. 124-150 ◽

Author(s):

Frank S. de Boer

Keyword(s):

Download Full-text

Object-oriented specification in LOTOS and Z, or my cat really is object-oriented!

Foundations of Object-Oriented Languages - Lecture Notes in Computer Science ◽

10.1007/bfb0019444 ◽

1991 ◽

pp. 179-202 ◽

Author(s):

Elspeth Cusack ◽

Michael Lai

Keyword(s):

Object Oriented

Download Full-text

Graph grammar-based description of object-based systems

Foundations of Object-Oriented Languages - Lecture Notes in Computer Science ◽

10.1007/bfb0019449 ◽

1991 ◽

pp. 341-404

Author(s):

D. Janssens ◽

G. Rozenberg

Keyword(s):

Graph Grammar ◽

Download Full-text

Describing, structuring and implementing objects

Foundations of Object-Oriented Languages - Lecture Notes in Computer Science ◽

10.1007/bfb0019447 ◽

1991 ◽

pp. 274-310 ◽

Author(s):

J. Fiadeiro ◽

T. Maibaum

Download Full-text

An actor-based metalevel architecture for group-wide reflection

Foundations of Object-Oriented Languages - Lecture Notes in Computer Science ◽

10.1007/bfb0019450 ◽

1991 ◽

pp. 405-425 ◽

Author(s):

Takuo Watanabe ◽

Akinori Yonezawa

Download Full-text