Titel

Merkliste
1 Ergebnisse

Type-Driven Verification of Non-functional Properties:

, In: Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming,

Brown, Christopher ; Barwell, Adam D. ; Marquer, Yoann.. - p. 1-15 , 2019

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

RT 
T1 <cTitle>Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming</cTitle>: T1 <Title>Type-Driven Verification of Non-functional Properties</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3354171&Exemplar=1&LAN=DE
				
A1 Brown, Christopher
A1 Barwell, Adam D.
A1 Marquer, Yoann
A1 Minh, Céline
A1 Zendra, Olivier
PB ACM
YR 2019
K1 C
K1 IDRIS
K1 contracts
K1 energy
K1 non-functional properties
K1 proofs
K1 security
K1 time
K1 verification
K1 Software and its engineering
K1 Software creation and management
K1 Software verification and validation
K1 Formal software verification
K1 Security and privacy
K1 Software and application security
K1 Software security engineering
K1 Software notations and tools
K1 Software maintenance tools
K1 General programming languages
K1 Language types
K1 Imperative languages
SP 1
OP 15
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3354166.3354171
DO https://dl.acm.org/doi/10.1145/3354166.3354171
SF ELIB - SuUB Bremen

Export

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