Implementing Hybrid Semantics: From Functional to Imperative

AuthID
P-00T-21A
3
Author(s)
Goncharov, S
·
3
Editor(s)
Violet Ka I Pun; Volker Stolz; Adenilso Simão
Document Type
Proceedings Paper
Year published
2020
Published in
Theoretical Aspects of Computing - Ictac 2020 - 17Th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings
Volume 12545, Pages 262-282
Book Series: Lecture Notes in Computer Science  
Indexing
Publication Identifiers
Dblp: conf/ictac/0001NP20
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.