Titel

Merkliste
1 Ergebnisse

Array length inference for C library bindings:

, In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering,

Maas, Alisa J. ; Nazaré, Henrique ; Liblit, Ben - p. 461-471 , 2016

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

RT 
T1 <cTitle>Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering</cTitle>: T1 <Title>Array length inference for C library bindings</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-2970310&Exemplar=1&LAN=DE
				
A1 Maas, Alisa J.
A1 Nazaré, Henrique
A1 Liblit, Ben
PB ACM
YR 2016
K1 FFI
K1 bindings
K1 foreign function interfaces
K1 libraries
K1 static analysis
K1 type inference
K1 Software and its engineering
K1 Software organization and properties
K1 Software functional properties
K1 Formal methods
K1 Automated static analysis
K1 Software notations and tools
K1 Software libraries and repositories
K1 General programming languages
K1 Language features
K1 Data types and structures
K1 Software maintenance tools
K1 Theory of computation
K1 Semantics and reasoning
K1 Program constructs
K1 Type structures
K1 Design and analysis of algorithms
K1 Data structures design and analysis
K1 Pattern matching
SP 461
OP 471
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/2970276.2970310
DO https://dl.acm.org/doi/10.1145/2970276.2970310
SF ELIB - SuUB Bremen

Export

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