Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus

Authors:
Carlos Herrero;Javier Oliver
Affiliations:
-;-
Venue:
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
Year:
1999

Citing 5
Cited 0

The chemical abstract machine

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A parallel object-oriented language: design and semantic foundations

A parallel object-oriented language: design and semantic foundations
Objects in the &pgr;-calculus

Information and Computation
Operational semantics of a parallel object-oriented language

POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Label-Selective lambda-Calculus Syntax and Confluence

Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

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 phrase-by-phrase translation from the language into LCMEP.