differential datalog

1 view
Skip to first unread message

Balazs Komuves

unread,
Dec 15, 2020, 3:45:42 PM12/15/20
to compiler-seminar-budapest

Ez egy inkrementalis, tipusos datalog compiler: lehet hozzaadni es elvenni a bemeneti adathalmazhoz/bol, es csak az update-eket szamolja. Rust kodot general.


Szerintem ennek egy nagyon jo alkalmazasa lehet peldaul az IDE-kben futtatott statikus analizisek, query-k.

Reply all
Reply to author
Forward
0 new messages