Cristin-resultat-ID: 1369437
Sist endret: 21. desember 2016, 10:57
NVI-rapporteringsår: 2016
Resultat
Vitenskapelig artikkel
2016

Information flow analysis for Go

Bidragsytere:
  • Eric Bodden
  • Ka I Pun
  • Martin Steffen
  • Volker Stolz og
  • Anna-Katharina Wickert

Tidsskrift

Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2016
Volum: 9952 LNCS
Sider: 431 - 445

Importkilder

Scopus-ID: 2-s2.0-84993977357

Beskrivelse Beskrivelse

Tittel

Information flow analysis for Go

Sammendrag

We present the current state of the art of information flow analyses for Go applications. Based on our findings, we discuss future directions of where static analysis information can be used at Runtime to for example achieve higher precision, or optimise runtime checks. We focus specifically on outstanding language features such as closures and message-based communication via channels.

Bidragsytere

Eric Bodden

  • Tilknyttet:
    Forfatter
    ved Universität Paderborn
  • Tilknyttet:
    Forfatter
    ved Technische Universität Darmstadt

Violet Ka I Pun

Bidragsyterens navn vises på dette resultatet som Ka I Pun
  • Tilknyttet:
    Forfatter
    ved Pålitelige systemer ved Universitetet i Oslo
Aktiv cristin-person

Martin Steffen

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

Volker Stolz

  • Tilknyttet:
    Forfatter
    ved Pålitelige systemer ved Universitetet i Oslo
  • Tilknyttet:
    Forfatter
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet

Anna-Katharina Wickert

  • Tilknyttet:
    Forfatter
    ved Technische Universität Darmstadt
1 - 5 av 5