Cristin-resultat-ID: 1897121
Sist endret: 25. november 2021, 14:55
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

Universitetet i Oslo. Institutt for informatikk

Serie

Conference proceedings (Universitetet i Oslo. Institutt for informatikk)
ISSN 0806-3036
NVI-nivå 0

Om resultatet

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

Klassifisering

Fagfelt (NPI)

Fagfelt: Informatikk og datateknikk
- Fagområde: Realfag og teknologi

Beskrivelse Beskrivelse

Tittel

Programming and Debugging with Semantically Lifted States (Full Paper)

Bidragsytere

Eduard Kamburjan

  • Tilknyttet:
    Forfatter
    ved SIRIUS - Senter for Innovasjon ved Universitetet i Oslo

Vidar Norstein Klungre

Bidragsyterens navn vises på dette resultatet som Vidar Klungre
  • Tilknyttet:
    Forfatter
    ved SIRIUS - Senter for Innovasjon 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