Matching Logic: Foundation of the K Framework

POPL 2020

Matching Logic: Foundation of the K Framework

Sep 17, 2020
|
32 views
Details
Presenter: Grigore Rosu Presented at CPP'20, colocated at POPL 2020.

Comments
loading...