no code implementations • 27 May 2020 • Žiga Lukšič, Matija Pretnar
We present an alternative approach where the type system tracks equations that are observed in subparts of the program, yielding a sound and flexible logic, and paving a way for practical optimizations and reasoning tools.
Logic in Computer Science Programming Languages
no code implementations • 21 Jun 2019 • Žiga Lukšič, Jovan Tanevski, Sašo Džeroski, Ljupčo Todorovski
This task involves numerous evaluations of a computationally expensive objective function.