Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Dansk
English
Forside
Enheder
Forskere
Projekter
Publikationer
Forskningsdatasæt
Presse/medier
Aktiviteter
Priser
Søg efter ekspertise, navn eller tilknytning
Enabling Concise and Modular Specifications in Separation Logic
Jonas Buhrkal Jensen
Publikation
:
Afhandlinger
›
Ph.d.-afhandling
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Enabling Concise and Modular Specifications in Separation Logic'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Computer Science
Oriented Program
100%
Data Structure
50%
Control Flow
50%
Memory Allocation
50%
Linked List
50%
Reasoning about Programs
50%
Procedure Call
50%
Functional Programming
50%
Design Pattern
50%
Keyphrases
Separation Logic
100%
Modular Specification
100%
Disjointness
28%
Dynamic Dispatch
14%
Object-oriented Program
14%
Challenging Programs
14%
Formal Proof
7%
Motivation
7%
Disjoint
7%
Design Patterns
7%
Data Sharing
7%
Usage Patterns
7%
High-order
7%
Modular Verification
7%
Order Separation
7%
Memory Allocation
7%
Model Building
7%
Logic Model
7%
Linked List
7%
Common Themes
7%
Functional Programming
7%
Practical Data
7%
Model Fitting
7%
Hoare Logic
7%
Verification Framework
7%
Basic Facilities
7%
Mathematical Techniques
7%
Object-oriented
7%
Unstructured Control Flow
7%
Reasoning about Programs
7%
Machine Code
7%
Mathematical Framework
7%