Skip to main content
Leiden University
Scholarly Publications
Home
Submit
About
Select Collection
All collections
Academic speeches
Dissertations
Faculty of Archaeology
Faculty of Governance and Global Affairs
Faculty of Humanities
Faculty of Science
Faculty of Social and Behavioural Sciences
Leiden Journals, Conference Proceedings and Books
Leiden Law School
Leiden University Press
Medicine / Leiden University Medical Centre (LUMC)
Research output UL
Search box
Your Search
Enabled Filters
(-)
= Hiep, H.A.
Sort Options
Date (year)
Author / Creator
Title
Refine Results
Resource Type
Article / Letter to editor
(4)
+
-
Article in monograph or in proceedings
(4)
+
-
Availability
Open access
(9)
+
-
Creation Date
2022
(3)
+
-
2023
(3)
+
-
Faculty
Faculty of Science
(7)
+
-
Collection
Faculty of Science: Other
(6)
+
-
Author
Hiep, H.A.
(9)
+
-
Boer, F.S. de
(7)
+
-
Gouw, C.P.T. de
(5)
+
-
Bian, J.
(3)
+
-
Language
en
(9)
+
-
Search results
(1 - 9 of 9)
show grid
show list
save search
New Foundations for Separation Logic
Dynamic separation logic
The logic of separation logic
Analysis and formal specification of OpenJDK’s BitSet
Verifying OpenJDK’s LinkedList using KeY (extended paper)
Integrating ADTs in KeY and their application to history-based reasoning about collection
Footprint logic for object-oriented components
Completeness and complexity of reasoning about call-by-value in Hoare logic
Axiomatic characterization of trace reachability for concurrent objects