Full abstraction for expressiveness: history, myths and facts

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Abstract

What does it mean that an encoding is fully abstract? What does it notmean? In this position paper, we want to help the reader to evaluate the real benefits of using such a notion when studying the expressiveness of programming languages. Several examples and counterexamples are given. In some cases, we work at a very abstract level; in other cases, we give concrete samples taken from the field of process calculi, where the theory of expressiveness has been mostly developed in the last years.

Related collections

Most cited references 41

Record: found
Abstract: not found
Article: not found

Wait-free synchronization

Maurice Herlihy (1991)

0 comments Cited 128 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

LCF considered as a programming language

G.D. Plotkin (1977)

0 comments Cited 113 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Barbed bisimulation

Robin Milner, Davide Sangiorgi (1992)

0 comments Cited 59 times – based on 0 reviews

Bookmark

All references

Author and article information

Journal

Title: Mathematical Structures in Computer Science

Abbreviated Title: Math. Struct. Comp. Sci.

Publisher: Cambridge University Press (CUP)

ISSN (Print): 0960-1295

ISSN (Electronic): 1469-8072

Publication date Created: May 2016

Publication date (Electronic): November 13 2014

Publication date (Print): May 2016

Volume: 26

Issue: 4

Pages: 639-654

Article

DOI: 10.1017/S0960129514000279

SO-VID: 22784ea8-6d53-41a2-b686-70c10a47d273

License:

https://www.cambridge.org/core/terms

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.