. As with so many other things @cormacflanagan was working on this sort of thing way before anyone elsepic.twitter.com/nIIvf8I31J
Datalog + SMT for Static Analysis https://cs.pomona.edu/~michael/papers/formulog_sub2020.pdf …pic.twitter.com/HcAamONh2L
-
-
-
Ah thanks for sharing, this looks neat! I was excited when Rosette brought ~SMT & synthesis into PLT Redex land, but missed the niceness of datalog analyzers, so this sounds like a fun & clean take :) (cc
@mgrnbrg)
Kraj razgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.