State-of-the-art Datalog engines include expressive features such as ADT...
Static analysis approximates the results of a program by examining only ...
Program termination is an undecidable, yet important, property relevant ...
Faceted Execution is a linguistic paradigm for dynamic information-flow
...
Software contracts allow programmers to state rich program properties us...