Titel

Merkliste
1 Ergebnisse

A flow-based approach for variant parametric types:

, In: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications,

Chin, Wei-Ngan ; Craciun, Florin ; Khoo, Siau-Cheng. - p. 273-290 , 2006

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

RT 
T1 <cTitle>Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications</cTitle>: T1 <Title>A flow-based approach for variant parametric types</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-1167498&Exemplar=1&LAN=DE
				
A1 Chin, Wei-Ngan
A1 Craciun, Florin
A1 Khoo, Siau-Cheng
A1 Popeea, Corneliu
PB ACM
YR 2006
K1 constraints
K1 flow analysis
K1 genericity
K1 subtyping
K1 variant parametric types
K1 Software and its engineering
K1 Software notations and tools
K1 General programming languages
K1 Language features
K1 Classes and objects
K1 Theory of computation
K1 Semantics and reasoning
K1 Program constructs
K1 Type structures
K1 Formal languages and automata theory
K1 Constraints
K1 Language types
K1 Object oriented languages
K1 Formal language definitions
K1 Object oriented constructs
K1 Polymorphism
SP 273
OP 290
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/1167473.1167498
DO https://dl.acm.org/doi/10.1145/1167473.1167498
SF ELIB - SuUB Bremen

Export

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