Choreographies and Cost Semantics for Reliable Communicating Systems
Licentiatavhandling, 2020

Visa mer

Functional Programming

theorem provers

Compilers

Program Verification

Concurrency

Författare

Alejandro Gómez Londoño

Chalmers, Data- och informationsteknik, Formella metoder

Inkluderade delarbeten

A. Gómez-Londoño, J. Pohjola, H. Syeda, M. Myreen, Y. Tan. Do You Have Space for Dessert?

Manuskript

J. Pohjola, A. Gómez-Londoño, J. Shaker, M. Norrish. An end-to-end verified compiler for a choreography language

Manuskript

Forskningsprojekt

Pålitlig mjukvara via programmering och kompilering i logik

Stiftelsen för Strategisk forskning (SSF) (FFL15-0191), 2017-01-01 -- 2021-12-31.

Kategorisering

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier (SSIF 2011)

Datavetenskap (datalogi)

Datorsystem

Övrigt

Utgivare

Chalmers

Examination

2020-08-27 10:00 -- 12:00

CSE EDIT 8103

Online

Opponent: Tjark Weber, Uppsala Universiry, Sweden

Mer information

Senast uppdaterat

2020-08-05