Lecture Notes in Computer Science, 1999, Volume 1725/1999, 758, DOI: 10.1007/3-540-47849-3_27

Object-Oriented Specification with the Parallel Multi-Label-Selective λ-calculus

Carlos Herrero and Javier Oliver

View Related Documents

Abstract

LCEP is a calculus for modeling concurrent systems. The efforts to use it to represent object-oriented features have been successfully treated in previous papers, but some of the problems are unsolved for the lacks of the initial calculus. We present LCMEP, an extension of LCEP which is able to represent the operational semantics of π-calculus and it supports also the commendable characteristics of λ-calculus. By using the power of the calculus, it is possible to represent object-oriented programming language features. We present an operational semantics for a parallel object-oriented programming language by means of a phraseby- phrase translation from the language into LCMEP.

Keywords  Concurrency - Extensions of λ-calculus - Object-Orientation - Process Algebra

This work was partially supported by CICYT, TIC 98-0445-C03-01.

Fulltext Preview

Image of the first page of the fulltext document