DimSum : A Decentralized Approach to Multi-language Semantics and Verification
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Proceedings of the ACM on Programming Languages. Association for Computing Machinery (ACM). 2023, 7(POPL), 27. eISSN 2475-1421. Verfügbar unter: doi: 10.1145/3571220
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
KOPS Universität Konstanz
- (wann)
-
2023
- Urheber
-
Sammler, Michael
Spies, Simon
Song, Youngju
D'Osualdo, Emanuele
Krebbers, Robbert
Garg, Deepak
Dreyer, Derek
- URN
-
urn:nbn:de:bsz:352-2-d0xjn46upae76
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:01 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Sammler, Michael
- Spies, Simon
- Song, Youngju
- D'Osualdo, Emanuele
- Krebbers, Robbert
- Garg, Deepak
- Dreyer, Derek
- KOPS Universität Konstanz
Entstanden
- 2023
Ähnliche Objekte (12)
Dim sum
Dim Sum : Chinesisch in kleinen Portionen
Zwischen Mett, Dim Sum und Kässpätzle
Bao & Dim Sum : chinesische Teigtaschen für zuhause
Dim sum : köstliches Fingerfood aus China und Südostasien
Gefüllt, gewickelt, gerollt : Sommerrollen, Ravioli, Dim Sum, Wraps, Tacos & Co
Semantics and verification of statecharts
Process theory: semantics, specification and verification
Communicating rational agents: semantics and verification
Zolotyj dim
Deg... - Dim...
Dim Delobsom
Dim sum
Dim Sum : Chinesisch in kleinen Portionen
Zwischen Mett, Dim Sum und Kässpätzle
Bao & Dim Sum : chinesische Teigtaschen für zuhause
Dim sum : köstliches Fingerfood aus China und Südostasien
Gefüllt, gewickelt, gerollt : Sommerrollen, Ravioli, Dim Sum, Wraps, Tacos & Co
Semantics and verification of statecharts
Process theory: semantics, specification and verification
Communicating rational agents: semantics and verification
Zolotyj dim
Deg... - Dim...
Dim Delobsom
Dim sum
Dim Sum : Chinesisch in kleinen Portionen
Zwischen Mett, Dim Sum und Kässpätzle
Bao & Dim Sum : chinesische Teigtaschen für zuhause
Dim sum : köstliches Fingerfood aus China und Südostasien
Gefüllt, gewickelt, gerollt : Sommerrollen, Ravioli, Dim Sum, Wraps, Tacos & Co
Semantics and verification of statecharts
Process theory: semantics, specification and verification
Communicating rational agents: semantics and verification
Zolotyj dim
Deg... - Dim...