Dear all,
it's my pleasure to announce that I have a new paper accepted at ELS 2023, the 16th European Lisp Symposium, to be held by the end of this month in Amsterdam. Title and abstract below…
An Elegant and Fast Algorithm for Partitioning Types
We present an improvement on the Maximal Disjoint Type Decomposition algorithm, published previously. The new algorithm is shorter than the previously best known algorithm in terms of lines of code, and performs better in many, but not all, bench marks. Additionally the algorithm computes meta data which makes the Brzozowski derivative easier to compute--easier in terms of accuracy and computation time. Another advantage of this new algorithm is its resilience in light of limited subtypep implementations.