Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Separation Logic and Heap Semantics

Development of logical frameworks for reasoning about mutable data structures and memory allocation in imperative programs.