Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
1369437
Sist endret:
21. desember 2016, 10:57
NVI-rapporteringsår:
2016
Resultat
Vitenskapelig artikkel
2016
Information flow analysis for Go
Eric Bodden
Ka I Pun
Martin Steffen
Volker Stolz
og
Anna-Katharina Wickert
Tidsskrift
Tidsskrift
Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1
Finn i kanalregisteret
Om resultatet
Om resultatet
Vitenskapelig artikkel
Publiseringsår: 2016
Volum: 9952 LNCS
Sider: 431 - 445
Lenker
Lenker
original online (doi)
https://doi.org/10.1007/978-3-319-47166-2_30
Importkilder
Importkilder
Scopus-ID: 2-s2.0-84993977357
Beskrivelse
Beskrivelse
Engelsk
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.
Vis
fullstendig beskrivelse
Bidragsytere
Bidragsytere
Eric Bodden
Forfatter
ved Universität Paderborn
Forfatter
ved Technische Universität Darmstadt
Violet Ka I Pun
Bidragsyterens navn vises på dette resultatet som Ka I Pun
Forfatter
ved Pålitelige systemer ved Universitetet i Oslo
Martin Steffen
Forfatter
ved Pålitelige systemer ved Universitetet i Oslo
Volker Stolz
Forfatter
ved Pålitelige systemer ved Universitetet i Oslo
Forfatter
ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
Anna-Katharina Wickert
Forfatter
ved Technische Universität Darmstadt
1
-
5
av
5
Tilknyttede prosjekter
Tilknyttede prosjekter
GoRETech - Go Runtime Enforcement Techniques
Martin Steffen + 4 deltakere
Pålitelige systemer ved Universitetet i Oslo
2 resultater
Avsluttet prosjekt
1
-
1
av
1