Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
1897121
Sist endret:
31. oktober 2022, 21:09
Resultat
Rapport
2021
Programming and Debugging with Semantically Lifted States (Full Paper)
Eduard Kamburjan
Vidar Klungre
Rudolf Schlatte
Einar Broch Johnsen
og
Martin Giese
Utgiver/serie
Utgiver/serie
Utgiver
Springer
NVI-nivå 1
Finn i kanalregisteret
Serie
Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1
Finn i kanalregisteret
Om resultatet
Om resultatet
Rapport
Publiseringsår: 2021
Hefte: 12731
Antall sider: 21
ISBN: 978-82-7368-464-6
Open Access
Lenker
Lenker
ORIA
Søk i ORIA med 978-82-7368-464-6
Institusjonsarkiv
hdl.handle.net/10852/85662
Klassifisering
Klassifisering
Fagfelt (NPI)
Fagfelt: IKT
- Fagområde: Realfag og teknologi
Beskrivelse
Beskrivelse
Engelsk
Tittel
Programming and Debugging with Semantically Lifted States (Full Paper)
Bidragsytere
Bidragsytere
Eduard Kamburjan
Forfatter
ved Centre for Scalable Data Access ved Universitetet i Oslo
Vidar Norstein Klungre
Bidragsyterens navn vises på dette resultatet som Vidar Klungre
Forfatter
ved Centre for Scalable Data Access ved Universitetet i Oslo
Rudolf Schlatte
Forfatter
ved Analytiske systemer og resonnering ved Universitetet i Oslo
Einar Broch Johnsen
Forfatter
ved PROG Programmering ved Universitetet i Oslo
Martin Giese
Forfatter
ved PROG Programmering ved Universitetet i Oslo
1
-
5
av
5