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
Modular specification and verification for higher-order languages with state
Kasper Svendsen
Publikation
:
Afhandlinger
›
Ph.d.-afhandling
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Modular specification and verification for higher-order languages with state'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Keyphrases
High-level Language
100%
High-order
100%
Modular Verification
100%
Modular Specification
100%
Separation Logic
62%
Order Separation
50%
Modular Reasoning
25%
Dependent Type Theory
25%
Synchronization Primitives
25%
State Effects
25%
Partial Correctness
25%
Motivation
12%
Type Theory
12%
Recursion
12%
Concurrency
12%
Correctness Proofs
12%
Alias
12%
Stateful
12%
Assignment Rules
12%
Local Reasoning
12%
Mutable State
12%
Calculus of Inductive Constructions
12%
Disjointness
12%
Imperative Languages
12%
Concurrent Languages
12%
New-style
12%
Abstract Specification
12%
Formal Proof System
12%
Systems-based
12%
Computer Science
Data Structure
100%
Case Study
100%
Partial Correctness
100%
Concurrency
50%
And-States
50%
Proof System
50%
Correctness Proofs
50%
Level Interface
50%
Imperative Language
50%
Type Computation
50%
Stack Variable
50%
Concurrent Language
50%
Postcondition
50%
Grained Synchronization
50%