Multiple Aggregate Entry Points for Ownership Types (English)
- New search for: Ostlund, J.
- New search for: Wrigstad, T.
- New search for: Ostlund, J.
- New search for: Wrigstad, T.
- New search for: Noble, James
In:
Object-oriented programming; ECOOP 2012
7313
;
156-180
;
2012
-
ISBN:
- Conference paper / Print
-
Title:Multiple Aggregate Entry Points for Ownership Types
-
Contributors:
-
Conference:European conference; 26th, Object-oriented programming; ECOOP 2012 ; 2012 ; Beijing
-
Published in:Object-oriented programming; ECOOP 2012 , 7313 ; 156-180LECTURE NOTES IN COMPUTER SCIENCE , 7313 ; 156-180
-
Publisher:
- New search for: Springer
-
Place of publication:Heidelberg
-
Publication date:2012-01-01
-
Size:25 pages
-
Remarks:Includes bibliographical references and index
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 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