Implementing Hybrid Semantics: From Functional to Imperative

Theoretical Aspects of Computing – ICTAC 2020 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-64276-1_14 ◽

2020 ◽

pp. 262-282

Author(s):

Sergey Goncharov ◽

Renato Neves ◽

José Proença