Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library (English)
- New search for: Svendsen, K.
- New search for: Birkedal, L.
- New search for: Parkinson, M.
- New search for: Svendsen, K.
- New search for: Birkedal, L.
- New search for: Parkinson, M.
- New search for: Castagna, Giuseppe
In:
Object-oriented programming; ECOOP 2013
7920
;
327-351
;
2013
-
ISBN:
- Conference paper / Print
-
Title:Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library
-
Contributors:
-
Conference:European conference; 27th, Object-oriented programming; ECOOP 2013 ; 2013 ; Montpellier, France
-
Published in:Object-oriented programming; ECOOP 2013 , 7920 ; 327-351LECTURE NOTES IN COMPUTER SCIENCE , 7920 ; 327-351
-
Publisher:
- New search for: Springer
-
Place of publication:Heidelberg
-
Publication date:2013-01-01
-
Size:25 pages
-
Remarks:Includes bibliographical references and index. Also issued online.
-
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.
- 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