Cristin-resultat-ID: 1897121
Sist endret: 31. oktober 2022, 21:09
Resultat
Rapport
2021

Programming and Debugging with Semantically Lifted States (Full Paper)

Bidragsytere:
  • Eduard Kamburjan
  • Vidar Klungre
  • Rudolf Schlatte
  • Einar Broch Johnsen og
  • Martin Giese

Utgiver/serie

Utgiver

Springer
NVI-nivå 1

Serie

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

Om resultatet

Rapport
Publiseringsår: 2021
Hefte: 12731
Antall sider: 21
ISBN: 978-82-7368-464-6
Open Access

Klassifisering

Fagfelt (NPI)

Fagfelt: IKT
- Fagområde: Realfag og teknologi

Beskrivelse Beskrivelse

Tittel

Programming and Debugging with Semantically Lifted States (Full Paper)

Bidragsytere

Eduard Kamburjan

  • Tilknyttet:
    Forfatter
    ved Centre for Scalable Data Access ved Universitetet i Oslo

Vidar Norstein Klungre

Bidragsyterens navn vises på dette resultatet som Vidar Klungre
  • Tilknyttet:
    Forfatter
    ved Centre for Scalable Data Access ved Universitetet i Oslo

Rudolf Schlatte

  • Tilknyttet:
    Forfatter
    ved Analytiske systemer og resonnering ved Universitetet i Oslo

Einar Broch Johnsen

  • Tilknyttet:
    Forfatter
    ved PROG Programmering ved Universitetet i Oslo

Martin Giese

  • Tilknyttet:
    Forfatter
    ved PROG Programmering ved Universitetet i Oslo
1 - 5 av 5