3 papers
cs.PL2020
Optimizing Program Size Using Multi-result Supercompilation
Dimitur Nikolaev Krustev
Supercompilation is a powerful program transformation technique with numerous interesting applications. Existing methods of supercompilation, however, are often very unpredictable…
cs.PL2020
Experience Report: Smuggling a Little Bit of Coq Inside a CAD Development Context (Extended Abstract)
Dimitur Nikolaev Krustev
While the use of formal verification techniques is well established in the development of mission-critical software, it is still rare in the production of most other kinds of softw…
cs.PL2020
Controlling the Size of Supercompiled Programs using Multi-result Supercompilation
Dimitur Krustev
Supercompilation is a powerful program transformation technique with numerous interesting applications. Existing methods of supercompilation, however, are often very unpredictable…