2014
DOI: 10.1017/s0960129514000279
|View full text |Cite
|
Sign up to set email alerts
|

Full abstraction for expressiveness: history, myths and facts

Abstract: What does it mean that an encoding is fully abstract? What does it not mean? 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.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

1
34
0

Year Published

2015
2015
2021
2021

Publication Types

Select...
5
3
1

Relationship

1
8

Authors

Journals

citations
Cited by 39 publications
(35 citation statements)
references
References 55 publications
(62 reference statements)
1
34
0
Order By: Relevance
“…Recently, Gorla and Nestman [2014] and Parrow [2014] have argued against the use of the mere existence of fully-abstract translations as a measure of language expressiveness, because very often fully abstract translations exist but are in some sense degenerate, uninteresting and/or unrealistic. These arguments are not directly relevant to our work, because we are not interested in the mere existence of a fully abstract compiler as a measure of language expressiveness, but we prove the fully abstractness of a specific, realistic compiler.…”
Section: Related Workmentioning
confidence: 99%
“…Recently, Gorla and Nestman [2014] and Parrow [2014] have argued against the use of the mere existence of fully-abstract translations as a measure of language expressiveness, because very often fully abstract translations exist but are in some sense degenerate, uninteresting and/or unrealistic. These arguments are not directly relevant to our work, because we are not interested in the mere existence of a fully abstract compiler as a measure of language expressiveness, but we prove the fully abstractness of a specific, realistic compiler.…”
Section: Related Workmentioning
confidence: 99%
“…The different purposes of encodability criteria lead to very different kinds of conditions that are usually hard to analyse and compare directly. In fact even widely used criteria-as full abstractionseem not to be fully understood by the community, as the need for articles as [9,20] shows. In contrast to that, relations on processes-such as simulations and bisimulations-are a very well studied and understood topic (see for example [5]).…”
Section: Introductionmentioning
confidence: 99%
“…The different purposes of encodability criteria lead to very different kinds of conditions that are usually hard to analyse and compare directly. In fact even widely used criteria-as full abstractionseem not to be fully understood by the community, as the need for articles as [23,46] shows. In contrast to that, relations on processes-such as simulations and bisimulations-are a very well studied and understood topic (see for example [16]).…”
Section: Formalising and Analysing Encodability Criteriamentioning
confidence: 99%