Programming with Infinitesimals: A While-Language for Hybrid System Modeling.

Kohei Suenaga, Ichiro Hasuo

Browse the full ICALP paper archive.