Titel

Merkliste
1 Ergebnisse

Short Paper : Rusty Types for Solid Safety:

, In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security,

Benitez, Sergio - p. 69-75 , 2016

Link: https://dl.acm.org/doi/10.1145/2993600.2993604

RT 
T1 <cTitle>Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security</cTitle>: T1 <Title>Short Paper				: Rusty Types for Solid Safety</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-2993604&Exemplar=1&LAN=DE
				
A1 Benitez, Sergio
PB ACM
YR 2016
K1 alias types
K1 aliasing
K1 capabilities
K1 concurrency
K1 formalization
K1 linear types
K1 memory safety
K1 ownership types
K1 race safety
K1 rust
K1 rusty types
K1 semantics
K1 syntax
K1 type system
K1 Theory of computation
K1 Semantics and reasoning
K1 Program constructs
K1 Type structures
K1 Software and its engineering
K1 Software organization and properties
K1 Extra-functional properties
K1 Software safety
K1 Software functional properties
K1 Correctness
K1 Access protection
K1 Software reliability
K1 Software notations and tools
K1 Formal language definitions
K1 Semantics
K1 Synchronization
K1 Syntax
K1 Security and privacy
K1 Software and application security
K1 Software security engineering
K1 Formal languages and automata theory
K1 Formalisms
K1 Algebraic language theory
SP 69
OP 75
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/2993600.2993604
DO https://dl.acm.org/doi/10.1145/2993600.2993604
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)