On the extreme power of nonstandard programming languages

11/07/2018

∙

by   Takuma Imamura, et al.

∙

0

∙

share

Suenaga and Hasuo introduced a nonstandard programming language While^ dt which models hybrid systems. We demonstrate why While^ dt is not suitable for modeling actual computations.