21 citations · 101 across the 20 of their papers we have counts for
4 papers · 1 filter
LL(1) Parsing with Derivatives and Zippers
Romain Edelmann, Jad Hamza, Viktor Kunčak
In this paper, we present an efficient, functional, and formally verified parsing algorithm for LL(1) context-free expressions based on the concept of derivatives of formal languag…
System FR as Foundations for Stainless
Jad Hamza, Nicolas Voirol, Viktor Kunčak
We present the design, implementation, and foundation of a verifier for higher-order functional programs with generics and recursive data types. Our system supports proving safety…
Identifying Maximal Non-Redundant Integer Cone Generators
Slobodan Mitrović, Ruzica Piskac, Viktor Kunčak
A non-redundant integer cone generator (NICG) of dimension is a set of vectors from whose vector sum cannot be generated as a positive integer linear combinatio…
Neural-Network Guided Expression Transformation
Romain Edelmann, Viktor Kunčak
Optimizing compilers, as well as other translator systems, often work by rewriting expressions according to equivalence preserving rules. Given an input expression and its optimize…