Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
  Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben
Zeitschriftenartikel

DimSum: A Decentralized Approach to Multi-language Semantics and Verification

MPG-Autoren
/persons/resource/persons260822

Sammler,  Michael
Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons263685

Spies,  Simon
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons285342

Song,  Youngju
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons281289

D'Osualdo,  Emanuele
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144522

Garg,  Deepak
Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144520

Dreyer,  Derek       
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

Externe Ressourcen

https://doi.org/10.5281/zenodo.7306313
(Ergänzendes Material)

Volltexte (beschränkter Zugriff)
Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.
Volltexte (frei zugänglich)

3571220.pdf
(Verlagsversion), 403KB

Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

Sammler, M., Spies, S., Song, Y., D'Osualdo, E., Krebbers, R., Garg, D., et al. (2023). DimSum: A Decentralized Approach to Multi-language Semantics and Verification. Proceedings of the ACM on Programming Languages, 7(POPL): 27, pp. 775-805. doi:10.1145/3571220.


Zitierlink: https://hdl.handle.net/21.11116/0000-000C-433F-3
Zusammenfassung
Es ist keine Zusammenfassung verfügbar