RML@DIBRIS

Pinned Repositories

compiler
Language:Kotlin21
jalangi2
Dynamic analysis framework for JavaScript
Language:JavaScript10
monitor
Language:Prolog10
instrumentation
Language:JavaScript00
ProbabilisticTraceExpressions
Language:Prolog00
running_examples
Runnable examples of RML specifications with traces and Prolog files generated by the compiler
Language:Prolog00
RMLatDIBRIS.github.io
Language:HTML00

RML@DIBRIS's Repositories

RMLatDIBRIS/monitor
Language:Prolog1
RMLatDIBRIS/compiler
Language:Kotlin21
RMLatDIBRIS/running_examples
Runnable examples of RML specifications with traces and Prolog files generated by the compiler
Language:Prolog
RMLatDIBRIS/RMLatDIBRIS.github.io
Language:HTML
RMLatDIBRIS/instrumentation
Language:JavaScript
RMLatDIBRIS/jalangi2
Dynamic analysis framework for JavaScript
Language:JavaScript1
RMLatDIBRIS/ProbabilisticTraceExpressions
Language:Prolog