Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Dansk
English
Forside
Enheder
Forskere
Projekter
Publikationer
Forskningsdatasæt
Presse/medier
Aktiviteter
Priser
Søg efter ekspertise, navn eller tilknytning
Sessions and Separation
Jonas Kastberg Hinrichsen
Programming Logic and Semantics
Publikation
:
Afhandlinger
›
Ph.d.-afhandling
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Sessions and Separation'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Keyphrases
Session Types
100%
Type Systems
88%
Separation Logic
55%
Iris
33%
Recursion
22%
Type Checking
22%
Value Exchange
22%
Shared Memory
11%
Mechanization
11%
Specific Types
11%
Concurrency
11%
Concurrency Model
11%
High-order
11%
Mutable State
11%
Logical Relations
11%
Higher-order Functions
11%
Interactive Proof Assistants
11%
MapReduce
11%
System Support
11%
Message Passing
11%
Mapper
11%
Distributed Load Balancing
11%
Shared Memory Concurrency
11%
Concurrent Programs
11%
Concurrent Separation Logic
11%
Logical Proposition
11%
Proof Assistant Coq
11%
Proof Obligations
11%
Merging Method
11%
Mutable References
11%
Syntax-directed
11%
Single Session
11%
Fine-grained Concurrency
11%
Reasoning Mechanism
11%
Semantic Typing
11%
Mutex
11%
Common Reference
11%
Equus
11%
State Order
11%
Polymorphism
11%
Computer Science
Type Systems
100%
Concurrency
50%
Type Checking
25%
Shared Memory
25%
And-States
12%
Load Balancing
12%
Formalization
12%
Order Function
12%
Logical Relation
12%
Map-Reduce
12%
Typing Rule
12%
Message Passing
12%
Concurrent Program
12%
Merge-Sort
12%
Proof Obligation
12%
Reasoning Mechanism
12%
Single Session
12%