izpis_h1_title_alt

Behavioural equivalence via modalities for algebraic effects
Simpson, Alex (Avtor), Voorneveld, Niels (Avtor)

.pdfPDF - Predstavitvena datoteka, prenos (640,49 KB)
URLURL - Izvorni URL, za dostop obiščite https://doi.org/10.1007/978-3-319-89884-1_11 Novo okno

Izvleček
The paper investigates behavioural equivalence between programs in a call-by-value functional language extended with a signature of (algebraic) effect-triggering operations. Two programs are considered as being behaviourally equivalent if they enjoy the same behavioural properties. To formulate this, we define a logic whose formulas specify behavioural properties. A crucial ingredient is a collection of modalities expressing effect-specific aspects of behaviour. We give a general theory of such modalities. If two conditions, openness and decomposability, are satisfied by the modalities then the logically specified behavioural equivalence coincides with a modality-defined notion of applicative bisimilarity, which can be proven to be a congruence by a generalisation of Howe%s method. We show that the openness and decomposability conditions hold for several examples of algebraic effects: nondeterminism, probabilistic choice, global store and input/output.

Jezik:Angleški jezik
Ključne besede:computer science, behavioural equivalence, call-by-value functional language, openness, decomposability
Tipologija:1.08 - Objavljeni znanstveni prispevek na konferenci
Organizacija:FMF - Fakulteta za matematiko in fiziko
Leto izida:2018
Št. strani:Str. 300-326
UDK:004.43
DOI:10.1007/978-3-319-89884-1_11 Povezava se odpre v novem oknu
COBISS.SI-ID:18420569 Povezava se odpre v novem oknu
Število ogledov:129
Število prenosov:135
Metapodatki:XML RDF-CHPDL DC-XML DC-RDF
 
Skupna ocena:(0 glasov)
Vaša ocena:Ocenjevanje je dovoljeno samo prijavljenim uporabnikom.
:
Objavi na: Bookmark and Share

Gradivo je del monografije

Naslov:Programming languages and systems
Podnaslov:27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018
Založnik:Springer
ISBN:978-3-319-89883-4
COBISS.SI-ID:18419801 Novo okno
Naslov zbirke:Lecture notes in computer science
Številčenje v zbirki:10801
ISSN zbirke:0302-9743
Kraj izida:Cham
Uredniki:Amal Ahmed

Gradivo je financirano iz projekta

Financer:EC - Evropska komisija
Program financ.:H2020 - Horizon 2020 Programme funded by European Commission
Številka projekta:731143
Naslov:Computing with Infinite Data
Akronim:CID
ID projekta:info:eu-repo/grantAgreement/EC/H2020/731143

Podobna dela

Podobna dela v RUL:
Podobna dela v drugih slovenskih zbirkah:

Komentarji

Dodaj komentar

Za komentiranje se morate prijaviti.

Komentarji (0)
0 - 0 / 0
 
Ni komentarjev!

Nazaj