Louise Van Verre

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 2

Top Topics

Database Language

Denotational Semantics

Programming Language

Top Venues

Publications

Louise Van Verre, Humberto Rodríguez-Avila, Jens Nicolay, Wolfgang De Meuter
FLOREnce: A Hybrid Logic-Functional Reactive Programming Language. REBLS@SPLASH (2022)
Carmen Torres Lopez, Louise Van Verre, Elisa Gonzalez Boix
What's the problem? interrogating actors to identify the root cause of concurrency bugs. AGERE!@SPLASH (2021)