What Programmers Do with Inheritance in Java (Englisch)
- Neue Suche nach: Tempero, E.
- Neue Suche nach: Yang, H.Y.
- Neue Suche nach: Noble, J.
- Neue Suche nach: Tempero, E.
- Neue Suche nach: Yang, H.Y.
- Neue Suche nach: Noble, J.
- Neue Suche nach: Castagna, Giuseppe
In:
Object-oriented programming; ECOOP 2013
7920
;
577-601
;
2013
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:What Programmers Do with Inheritance in Java
-
Beteiligte:
-
Kongress:European conference; 27th, Object-oriented programming; ECOOP 2013 ; 2013 ; Montpellier, France
-
Erschienen in:Object-oriented programming; ECOOP 2013 , 7920 ; 577-601LECTURE NOTES IN COMPUTER SCIENCE , 7920 ; 577-601
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Heidelberg
-
Erscheinungsdatum:01.01.2013
-
Format / Umfang:25 pages
-
Anmerkungen:Includes bibliographical references and index. Also issued online.
-
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.
- 1
-
CoCo: Sound and Adaptive Replacement of Java CollectionsXu, G. et al. | 2013
- 27
-
Feature-Oriented Programming with Object AlgebrasOliveira, B.C.d.S. / van der Storm, T. / Loh, A. / Cook, W.R. et al. | 2013
- 52
-
Composition and Reuse with Compiled Domain-Specific LanguagesSujeeth, A.K. / Rompf, T. / Brown, K.J. / Lee, H. / Chafi, H. / Popic, V. / Wu, M. / Prokopec, A. / Jovanovic, V. / Odersky, M. et al. | 2013
- 79
-
Combining Form and Function: Static Types for JQuery ProgramsLerner, B.S. / Elberty, L. / Li, J. / Krishnamurthi, S. et al. | 2013
- 104
-
Heap Decomposition Inference with Linear ProgrammingZhu, H.S. / Liu, Y.D. et al. | 2013
- 129
-
A Formal Semantics for Isorecursive and Equirecursive State AbstractionsSummers, A.J. / Drossopoulou, S. et al. | 2013
- 154
-
Trustworthy Proxies: Virtualizing Objects with InvariantsVan Cutsem, T. / Miller, M.S. et al. | 2013
- 179
-
Java~U~I: Effects for Controlling UI Object AccessGordon, C.S. / Dietl, W. / Ernst, M.D. / Grossman, D. et al. | 2013
- 205
-
The Billion-Dollar Fix: Safe Modular Circular Initialisation with Placeholders and Placeholder TypesServetto, M. / Mackay, J. / Potanin, A. / Noble, J. et al. | 2013
- 230
-
Implementing Federated Object SystemsFreudenreich, T. / Eugster, P. / Frischbier, S. / Appel, S. / Buchmann, A. et al. | 2013
- 255
-
RedCard: Redundant Check Elimination for Dynamic Race DetectorsFlanagan, C. / Freund, S.N. et al. | 2013
- 281
-
Ownership-Based Isolation for Concurrent Actors on Multi-core MachinesGruber, O. / Boyer, F. et al. | 2013
- 302
-
Why Do Scala Developers Mix the Actor Model with other Concurrency Models?Tasharofi, S. / Dinges, P. / Johnson, R.E. et al. | 2013
- 327
-
Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order LibrarySvendsen, K. / Birkedal, L. / Parkinson, M. et al. | 2013
- 352
-
Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual MachineAnsaloni, D. / Kell, S. / Zheng, Y. / Bulej, L. / Binder, W. / Tuma, P. et al. | 2013
- 378
-
Averroes: Whole-Program Analysis without the Whole ProgramAli, K. / Lhotak, O. et al. | 2013
- 401
-
QUIC Graphs: Relational Invariant Generation for ContainersCox, A. / Chang, B.-Y.E. / Sankaranarayanan, S. et al. | 2013
- 426
-
Reducing Lookups for Invariant CheckingThomsen, J.G. / Clausen, C. / Andersen, K.J. / Danaher, J. / Ernst, E. et al. | 2013
- 451
-
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction FunctionsHeule, S. / Kassios, I.T. / Muller, P. / Summers, A.J. et al. | 2013
- 477
-
Really Automatic Scalable Object-Oriented ReengineeringTrudel, M. / Furia, C.A. / Nordio, M. / Meyer, B. et al. | 2013
- 502
-
Detecting Refactored ClonesShomrat, M. / Feldman, Y.A. et al. | 2013
- 527
-
A Compositional Paradigm of Automating RefactoringsVakilian, M. / Chen, N. / Moghaddam, R.Z. / Negara, S. / Johnson, R.E. et al. | 2013
- 552
-
A Comparative Study of Manual and Automated RefactoringsNegara, S. / Chen, N. / Vakilian, M. / Johnson, R.E. / Dig, D. et al. | 2013
- 577
-
What Programmers Do with Inheritance in JavaTempero, E. / Yang, H.Y. / Noble, J. et al. | 2013
- 602
-
Is This a Bug or an Obsolete Test?Hao, D. / Lan, T. / Zhang, H. / Guo, C. / Zhang, L. et al. | 2013
- 629
-
Systematic Testing of Refactoring Engines on Real Software ProjectsGligoric, M. / Behrang, F. / Li, Y. / Overbey, J. / Hafiz, M. / Marinov, D. et al. | 2013
- 654
-
Simple Profile Rectifications Go a Long Way-Statistically Exploring and Alleviating the Effects of Sampling Errors for Program OptimizationsWu, B. / Zhou, M. / Shen, X. / Gao, Y. / Silvera, R. / Yiu, G. et al. | 2013
- 679
-
The Shape of Things to Run: Compiling Complex Stream Graphs to Reconfigurable Hardware in LimeAuerbach, J. / Bacon, D.F. / Cheng, P. / Fink, S. / Rabbah, R. et al. | 2013
- 707
-
Higher-Order Reactive Programming with Incremental ListsMaier, I. / Odersky, M. et al. | 2013