Taking updates seriously

Danel Ahman

Taking updates seriously

Danel Ahman

Tölvunarfræðideild

Háskólinn í Reykjavík

Rannsóknarafurð: Framlag til fræðitímarits › Ráðstefnugrein › ritrýni

Útdráttur

We show how "taking updates seriously" leads from state-based lenses to update lenses and further; we witness a little hierarchy of types of lens that arises in a systematic way. Lenses of each type are characterized either as coalgebras of certain types of comonads or morphisms between certain types of comonads. In each case, a lens is simulation between two transition systems for suitable notions of transition system and simulation.

Upprunalegt tungumál	Enska
Síður (frá-til)	59-73
Fræðitímarit	CEUR Workshop Proceedings
Bindi	1827
Útgáfustaða	Útgefið - 2017
Viðburður	6th International Workshop on Bidirectional Transformations, BX 2017 - Uppsala, Svíþjóð Tímalengd: 29 apr. 2017 → 29 apr. 2017

Athugasemd

Aðgangur að skjali

http://star.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-1827/paper11.pdf

Vitna í þetta

@article{ca7429861fba4866a1059f391e5c9a12,

title = "Taking updates seriously",

abstract = "We show how {"}taking updates seriously{"} leads from state-based lenses to update lenses and further; we witness a little hierarchy of types of lens that arises in a systematic way. Lenses of each type are characterized either as coalgebras of certain types of comonads or morphisms between certain types of comonads. In each case, a lens is simulation between two transition systems for suitable notions of transition system and simulation.",

author = "Danel Ahman",

note = "Publisher Copyright: Copyright {\textcopyright} 2017 by the paper's authors.; 6th International Workshop on Bidirectional Transformations, BX 2017 ; Conference date: 29-04-2017 Through 29-04-2017",

year = "2017",

language = "English",

volume = "1827",

pages = "59--73",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

}

TY - JOUR

T1 - Taking updates seriously

AU - Ahman, Danel

PY - 2017

Y1 - 2017

N2 - We show how "taking updates seriously" leads from state-based lenses to update lenses and further; we witness a little hierarchy of types of lens that arises in a systematic way. Lenses of each type are characterized either as coalgebras of certain types of comonads or morphisms between certain types of comonads. In each case, a lens is simulation between two transition systems for suitable notions of transition system and simulation.

AB - We show how "taking updates seriously" leads from state-based lenses to update lenses and further; we witness a little hierarchy of types of lens that arises in a systematic way. Lenses of each type are characterized either as coalgebras of certain types of comonads or morphisms between certain types of comonads. In each case, a lens is simulation between two transition systems for suitable notions of transition system and simulation.

UR - https://www.scopus.com/pages/publications/85019214713

M3 - Conference article

SN - 1613-0073

VL - 1827

SP - 59

EP - 73

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 6th International Workshop on Bidirectional Transformations, BX 2017

Y2 - 29 April 2017 through 29 April 2017

ER -

Taking updates seriously

Útdráttur

Athugasemd

Aðgangur að skjali

Fingerprint

Vitna í þetta