Skip to main content
TudRepo
Research repository
Education Repository
Cultural Heritage
About
·
How to search
·
How to upload
Include full text
Search results
Back
Searched for: +
(1 - 16 of 16)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel
Actris 2.0: Asynchronous session-type based reasoning in separation logic
Safe-by-design in engineering: An overview and comparative analysis of engineering disciplines
Compositional non-interference for fine-grained concurrent programs
Machine-checked semantic session typing
Intrinsically typed compilation with nameless labels
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
Knowing when to ask: Sound scheduling of name resolution in type checkers derived from declarative specifications
Actris: Session-type based reasoning in separation logic
Scala step-by-step: Soundness for DOT with step-indexed logical relations in Iris
Iron: Managing obligations in higher-order concurrent separation logic
Semi-automated Reasoning About Non-determinism in C Expressions
Intrinsically-Typed Definitional Interpreters for Imperative Languages
RustBelt: securing the foundations of the rust programming language
Mtac2: Typed tactics for backward reasoning in Coq
MoSeL: A general, extensible modal framework for interactive proofs in separation logic
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
Searched for: +
(1 - 16 of 16)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel