Formalizing $\varphi$-calculus: a purely object-oriented calculus of decorated objects (FTfJP 2022 - Workshop on Formal Techniques for Java-like Programs)

Mon 6 June - Thu 7 July 2022 Berlin, Germany

Who

Nikolai Kudasov, Violetta Sim

Track

FTfJP 2022

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 7 Jun 2022 16:00 - 16:30 at Stockholm 2 - FTfJP 2022 D Chair(s): Henrique Rebelo

Link to Publication

https://doi.org/10.1145/3611096.3611103

Link to Preprint

https://arxiv.org/abs/2204.07454

DOI

https://doi.org/10.1145/3611096.3611103

File attachments

Formalizing $\varphi$-calculus: a purely object-oriented calculus of decorated objects (_FTfJP_2022_Formalizing_calculus_a_purely_object_oriented_calculus.pdf)	457KiB

Nikolai KudasovAuthor

Innopolis University, Russia

Russia

Violetta SimAuthor

Innopolis University

Uzbekistan