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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540539315, 9783540464501

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 7

Author(s):

Pierre America ◽

Jan Rutten

Keyword(s):

Object Oriented

Download Full-text

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 ◽

Cited By ~ 25

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 ◽

Cited By ~ 6

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 ◽

Cited By ~ 18

Author(s):

Joost Engelfriet ◽

George Leih ◽

Grzegorz Rozenberg

Keyword(s):

Object Based

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 ◽

Cited By ~ 9

Author(s):

Elspeth Cusack ◽

Michael Lai

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 ◽

Cited By ~ 3

Author(s):

Frank S. de Boer

Keyword(s):

Proof System

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 ◽

Object Based

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 ◽

Cited By ~ 31

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 ◽

Cited By ~ 8

Author(s):

Takuo Watanabe ◽

Akinori Yonezawa

Download Full-text

Foundations of Object-Oriented Languages - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A layered semantics for a parallel object-oriented language

A categorial theory of objects as observed processes

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

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

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

Producing abstract models for object-oriented languages

A proof system for the language POOL

Graph grammar-based description of object-based systems

Describing, structuring and implementing objects

An actor-based metalevel architecture for group-wide reflection

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