Dimitur Nikolaev Krustev | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

research

∙ 08/07/2020

Optimizing Program Size Using Multi-result Supercompilation

Supercompilation is a powerful program transformation technique with num...

0 Dimitur Nikolaev Krustev, et al. ∙

research

∙ 07/01/2020

Experience Report: Smuggling a Little Bit of Coq Inside a CAD Development Context (Extended Abstract)

While the use of formal verification techniques is well established in t...

0 Dimitur Nikolaev Krustev, et al. ∙