Java Wildcards Meet Definition-Site Variance (Englisch)
- Neue Suche nach: Altidor, J.
- Neue Suche nach: Reichenbach, C.
- Neue Suche nach: Smaragdakis, Y.
- Neue Suche nach: Altidor, J.
- Neue Suche nach: Reichenbach, C.
- Neue Suche nach: Smaragdakis, Y.
- Neue Suche nach: Noble, James
In:
Object-oriented programming; ECOOP 2012
7313
;
509-534
;
2012
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:Java Wildcards Meet Definition-Site Variance
-
Beteiligte:Altidor, J. ( Autor:in ) / Reichenbach, C. ( Autor:in ) / Smaragdakis, Y. ( Autor:in ) / Noble, James
-
Kongress:European conference; 26th, Object-oriented programming; ECOOP 2012 ; 2012 ; Beijing
-
Erschienen in:Object-oriented programming; ECOOP 2012 , 7313 ; 509-534LECTURE NOTES IN COMPUTER SCIENCE , 7313 ; 509-534
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Heidelberg
-
Erscheinungsdatum:01.01.2012
-
Format / Umfang:26 pages
-
Anmerkungen:Includes bibliographical references and index
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 2
-
Extensibility for the Masses: Practical Extensibility with Object AlgebrasOliveira, B.C.d.S. / Cook, W.R. et al. | 2012
- 28
-
Extensions during Software Evolution: Do Objects Meet Their Promise?Robbes, R. / Rothlisberger, D. / Tanter, E. et al. | 2012
- 53
-
PQL: A Purely-Declarative Java Extension for Parallel ProgrammingReichenbach, C. / Smaragdakis, Y. / Immerman, N. et al. | 2012
- 79
-
Is It Dangerous to Use Version Control Histories to Study Source Code Evolution?Negara, S. / Vakilian, M. / Chen, N. / Johnson, R.E. / Dig, D. et al. | 2012
- 104
-
Evaluating the Design of the R Language: Objects and Functions for Data AnalysisMorandat, F. / Hill, B. / Osvald, L. / Vitek, J. et al. | 2012
- 132
-
McSAF: A Static Analysis Framework for MATLABDoherty, J. / Hendren, L. et al. | 2012
- 156
-
Multiple Aggregate Entry Points for Ownership TypesOstlund, J. / Wrigstad, T. et al. | 2012
- 181
-
Inference and Checking of Object OwnershipHuang, W. / Dietl, W. / Milanova, A. / Ernst, M.D. et al. | 2012
- 207
-
Object Initialization in X10Zibin, Y. / Cunningham, D. / Peshansky, I. / Saraswat, V. et al. | 2012
- 232
-
Structured AliasingWrigstad, T. et al. | 2012
- 233
-
Pause 'n' Play: Formalizing Asynchronous C^#Bierman, G. / Russo, C. / Mainland, G. / Meijer, E. / Torgersen, M. et al. | 2012
- 258
-
Lightweight Polymorphic EffectsRytz, L. / Odersky, M. / Haller, P. et al. | 2012
- 283
-
Cloud Types for Eventual ConsistencyBurckhardt, S. / Fahndrich, M. / Leijen, D. / Wood, B.P. et al. | 2012
- 308
-
Lock Inference in the Presence of Large LibrariesGudka, K. / Harris, T. / Eisenbach, S. et al. | 2012
- 333
-
An Analysis of the Mozilla Jetpack Extension FrameworkKarim, R. / Dhawan, M. / Ganapathy, V. / Shan, C.-c. et al. | 2012
- 356
-
Smaller Footprint for Java CollectionsGil, J. / Shimron, Y. et al. | 2012
- 383
-
Enhancing JavaScript with TransactionsDhawan, M. / Shan, C.-c. / Ganapathy, V. et al. | 2012
- 409
-
JavaScript as an Embedded DSLKossakowski, G. / Amin, N. / Rompf, T. / Odersky, M. et al. | 2012
- 435
-
Correlation Tracking for Points-To Analysis of JavaScriptSridharan, M. / Dolby, J. / Chandra, S. / Schafer, M. / Tip, F. et al. | 2012
- 459
-
Soundness of Object-Oriented Languages with Coinductive Big-Step SemanticsAncona, D. et al. | 2012
- 484
-
Static Sessional DataflowDuggan, D. / Yao, J. et al. | 2012
- 509
-
Java Wildcards Meet Definition-Site VarianceAltidor, J. / Reichenbach, C. / Smaragdakis, Y. et al. | 2012
- 535
-
Constraint-Based Refactoring with ForesightSteimann, F. / von Pilgrim, J. et al. | 2012
- 560
-
Magda: A New Language for ModularityBono, V. / Kusmierek, J. / Mulatero, M. et al. | 2012
- 589
-
Marco: Safe, Expressive Macros for Any LanguageLee, B. / Grimm, R. / Hirzel, M. / McKinley, K.S. et al. | 2012
- 614
-
Practical Permissions for Race-Free ParallelismWestbrook, E. / Zhao, J. / Budimlic, Z. / Sarkar, V. et al. | 2012
- 640
-
Verification of Snapshot Isolation in Transactional Memory Java ProgramsDias, R.J. / Distefano, D. / Seco, J.C. / Lourenco, J.M. et al. | 2012
- 665
-
Scalable Flow-Sensitive Pointer Analysis for Java with Strong UpdatesDe, A. / D Souza, D. et al. | 2012
- 688
-
Application-Only Call Graph ConstructionAli, K. / Lhotak, O. et al. | 2012
- 713
-
Program SlidingEttinger, R. et al. | 2012
- 738
-
Static Detection of Loop-Invariant Data StructuresXu, G. / Yan, D. / Rountev, A. et al. | 2012