Datalog in static analysis

[Gábor Horváth]

Sziasztok!

Csaba sokszor beszelt mar a Soufflerol, ami nekem is nagyon tetszett.

Egy masik lepes hasonlo iranyban a Formulog: https://www.youtube.com/watch?v=D-Xt8OO8gE0

Az automatikus parhuzamositas es goal oriented analizis a path sensitivitassal kombinalva eleg erosen hangzik.

Persze meg mindig felmerul, hogy kenyelmetlen a datalogot integralni egy meglevo toolba, pl egy compilerbe. De erre is lattam nemreg megoldast: https://www.youtube.com/watch?v=ikVZrivln8c

Mi a velemenyetek? Kezdik egyre jobban felkapni ezeket a technologiakat? Elkepzelheto, hogy egyszer az ipari compilerekben is elterjednek ezek?

Udv,

Gabor

[Csaba Hruska]

A a datalog amugy a 80-as evekben (talan 90-es eleje is) nagyon nepszeru volt a datalog (es a prolog is) az eleganciaja miatt. Ezek mind interpretalt nyelvek voltak es a rossz teljesitmenyuk miatt nem terjedtek el. Ezen a souffle (2016) datalog fordito valtoztatott. Szerintem ez inditotta a datalog reneszanszat.

Az intergralhatosag valoban fontos kerdes amugy. De valszeg megoldhato, hasonlo modon mint a CUDA csinalja a C/C++ nyelvekkel.

--
Azért kapta ezt az üzenetet, mert feliratkozott a Google Csoportok „compiler-seminar-budapest” csoportjára.
Az erről a csoportról és az ahhoz kapcsolódó e-mailekről való leiratkozáshoz küldjön egy e-amailt a(z) compiler-seminar-b...@googlegroups.com címre.
Ha szeretné megtekinteni ezt a beszélgetést az interneten, látogasson el ide: https://groups.google.com/d/msgid/compiler-seminar-budapest/CAPRL4a3o0kSzuX4pF47QOa4vZEoFHG_btQqvt2CWj-%3DqQUa2JA%40mail.gmail.com.