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.
Show replies by date