Cristin-prosjekt-ID: 530319
Sist endret: 15. januar 2017 14:55

Cristin-prosjekt-ID: 530319
Sist endret: 15. januar 2017 14:55
Prosjekt

GoRETech - Go Runtime Enforcement Techniques

prosjektleder

Martin Steffen
ved Pålitelige systemer ved Universitetet i Oslo

prosjekteier / koordinerende forskningsansvarlig enhet

  • Pålitelige systemer ved Universitetet i Oslo

Klassifisering

Vitenskapsdisipliner

Informasjons- og kommunikasjonsteknologi

Kategorier

Prosjektkategori

  • Grunnforskning

Tidsramme

Avsluttet
Start: 1. januar 2015 Slutt: 31. desember 2016

Beskrivelse Beskrivelse

Tittel

GoRETech - Go Runtime Enforcement Techniques

prosjektdeltakere

prosjektleder
Aktiv cristin-person

Martin Steffen

  • Tilknyttet:
    Prosjektleder
    ved Pålitelige systemer ved Universitetet i Oslo

Anna-Katharina Wickert

  • Tilknyttet:
    Prosjektdeltaker
    ved Technische Universität Darmstadt

Eric Bodden

  • Tilknyttet:
    Prosjektdeltaker
    ved Technische Universität Darmstadt

Ka I Pun

  • Tilknyttet:
    Prosjektdeltaker
    ved Pålitelige systemer ved Universitetet i Oslo
Aktiv cristin-person

Volker Stolz

  • Tilknyttet:
    Prosjektdeltaker
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
  • Tilknyttet:
    Prosjektdeltaker
    ved Pålitelige systemer ved Universitetet i Oslo
1 - 5 av 5

Resultater Resultater

Information flow analysis for Go.

Bodden, Eric; Pun, Ka I; Steffen, Martin; Stolz, Volker; Wickert, Anna-Katharina. 2016, Lecture Notes in Computer Science (LNCS). TUD, UIO, UP, HVLVitenskapelig artikkel

A small-step semantics of a concurrent calculus with goroutines and deferred functions.

Steffen, Martin. 2016, Lecture Notes in Computer Science (LNCS). UIOVitenskapelig artikkel
1 - 2 av 2