Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Computer_Scientist
|
| gptkbp:contribution |
Contributed to the field of verification of concurrent programs
Contributed to the development of the Iris framework |
| gptkbp:has_publications |
A Type System for the Verification of Concurrent Programs
Type Soundness for a Language with Mutable References The Essence of Higher-Order Concurrency |
| https://www.w3.org/2000/01/rdf-schema#label |
Derek Dreyer
|
| gptkbp:research_areas |
Formal Methods
Programming Languages |
| gptkbp:works_at |
gptkb:Max_Planck_Institute_for_Software_Systems
|
| gptkbp:bfsParent |
gptkb:The_Powerpuff_Girls_(2016)
gptkb:Robert_Harper |
| gptkbp:bfsLayer |
5
|