Leiden University Scholarly Publications

Your Search

Enabled Filters

  • (-) = Hiep, H.A.

Refine Results

Availability

Creation Date

Faculty

Collection

Language

Search results

  • RSS Feed
(1 - 8 of 8)
New Foundations for Separation Logic
Dynamic separation logic
The logic of separation logic
Analysis and formal specification of OpenJDK’s BitSet
Footprint logic for object-oriented components
Verifying OpenJDK’s LinkedList using KeY (extended paper)
Integrating ADTs in KeY and their application to history-based reasoning about collection
Completeness and complexity of reasoning about call-by-value in Hoare logic