Can lattice implemented by normal relation with BYODS? #77
-
|
As title. |
Beta Was this translation helpful? Give feedback.
Replies: 2 comments 1 reply
-
|
Short answer is yes! We described it in the BYODS paper, and the associated artifact contains the implementation. |
Beta Was this translation helpful? Give feedback.
-
|
Another of my complain about BYODs is that seems we need some proc_macro can do derive? I implement few of DS myself, seems lots of boilerplate code need copy paste |
Beta Was this translation helpful? Give feedback.
Short answer is yes! We described it in the BYODS paper, and the associated artifact contains the implementation.
Here is the link to the artifact: https://dl.acm.org/do/10.5281/zenodo.8219447/full/
Or you could do
docker run -it arashsahebolamri/byods-artifactto get it from Docker Hub