Can I read Separating Concurrent Languages with Categories of Language Embeddings on EtoBox?

Separating Concurrent Languages with Categories of Language Embeddings by Ehud Shapiro is a scholarly article available to read on EtoBox.

What is Separating Concurrent Languages with Categories of Language Embeddings about?

Concurrent programming enjoys a proliferation of languages but suffers from the lack of a general method of language comparison. In particular, concurrent (as well as sequential) programming languages cannot be usefully distinguished based on complexitytheoretic considerations, since most of them are Turingcomplete. Nevertheless, differences between programming languages matter, else we would not have invented so many of them. We develop a general method for comparing concurrent programming languages based on their algebraic (structural) complexity, and, using this method, achieve separation results among many well-known concurrent languages. The method is not restricted to concurrent languages. It can be used to compare the algebraic complexity of abstract machine models, other families of programming languages, logics, and, more generaly, any family of languages with some syntactic operations and a notion of semantic equivalence. The method can also be used to compare the algebraic complexity of families of operations wit hin a language or across languages. We note that using the method we were able to compare languages and computational models that do not have a common semantic

Author

Ehud Shapiro

Publisher

ACM Press

Published

1991

Language

EN