An Adequate While-Language for Hybrid Computation

Goncharov S, Neves R (2019)

Publication Type: Conference contribution

Publication year: 2019

Publisher: ASSOC COMPUTING MACHINERY

City/Town: NEW YORK

Conference Proceedings Title: Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019)

Event location: Porto PT

DOI: 10.1145/3354166.3354176

Authors with CRIS profile

Sergey Goncharov Lehrstuhl für Informatik 8 (Theoretische Informatik)

Related research project(s)

A High Level Language for Monad-based Processes (HighMoon/HighMoon2) Sept. 1, 2013 - Oct. 31, 2020

Involved external institutions

Institute for Systems and Computer Engineering, Technology and Science (INESC TEC) PT Portugal (PT)

How to cite

APA:

Goncharov, S., & Neves, R. (2019). An Adequate While-Language for Hybrid Computation. In Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019). Porto, PT: NEW YORK: ASSOC COMPUTING MACHINERY.

MLA:

Goncharov, Sergey, and Renato Neves. "An Adequate While-Language for Hybrid Computation." Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming (PPDP), Porto NEW YORK: ASSOC COMPUTING MACHINERY, 2019.

BibTeX: Download