5 citations · 29 across the 26 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.PL2015★ 1 cited
From Low-Level Pointers to High-Level Containers
Kamil Dudka, Lukáš Holík, Petr Peringer +2
We propose a method that transforms a C program manipulating containers using low-level pointer statements into an equivalent program where the containers are manipulated via calls…
cs.LO2015★ 3 cited
Nested Antichains for WS1S
Tomas Fiedor, Lukas Holik, Ondrej Lengal +1
We propose a novel approach for coping with alternating quantification as the main source of nonelementary complexity of deciding WS1S formulae. Our approach is applicable within t…