Semantics of (Resilient) X10 (English)
- New search for: Crafa, S.
- New search for: Cunningham, D.
- New search for: Saraswat, V.
- New search for: Shinnar, A.
- New search for: Tardieu, O.
- New search for: Crafa, S.
- New search for: Cunningham, D.
- New search for: Saraswat, V.
- New search for: Shinnar, A.
- New search for: Tardieu, O.
- New search for: Jones, Richard
In:
Object-oriented programming; ECOOP 2014
8586
;
670-696
;
2014
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Semantics of (Resilient) X10
-
Contributors:Crafa, S. ( author ) / Cunningham, D. ( author ) / Saraswat, V. ( author ) / Shinnar, A. ( author ) / Tardieu, O. ( author ) / Jones, Richard
-
Conference:European conference; 28th, Object-oriented programming; ECOOP 2014 ; 2014 ; Uppsala, Sweden
-
Published in:Object-oriented programming; ECOOP 2014 , 8586 ; 670-696LECTURE NOTES IN COMPUTER SCIENCE , 8586 ; 670-696
-
Publisher:
- New search for: Springer
-
Place of publication:Heidelberg
-
Publication date:2014-01-01
-
Size:27 pages
-
Remarks:Includes bibliographical references and index. Also issued online.
-
ISBN:
-
ISSN:
-
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
-
State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript ObjectsWei, S. / Ryder, B.G. et al. | 2014
- 27
-
Self-inferencing Reflection Resolution for JavaLi, Y. / Tan, T. / Sui, Y. / Xue, J. et al. | 2014
- 54
-
Constructing Call Graphs of Scala ProgramsAli, K. / Rapoport, M. / Lhotak, O. / Dolby, J. / Tip, F. et al. | 2014
- 80
-
Finding Reference-Counting Errors in Python/C Programs with Affine AnalysisLi, S. / Tan, G. et al. | 2014
- 105
-
Safely Composable Type-Specific LanguagesOmar, C. / Kurilova, D. / Nistor, L. / Chung, B. / Potanin, A. / Aldrich, J. et al. | 2014
- 131
-
Graceful DialectsHomer, M. / Jones, T. / Noble, J. / Bruce, K.B. / Black, A.P. et al. | 2014
- 157
-
Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol ProgrammingSunshine, J. / Herbsleb, J.D. / Aldrich, J. et al. | 2014
- 182
-
Reusable Concurrent Data TypesGramoli, V. / Guerraoui, R. et al. | 2014
- 207
-
TaDA: A Logic for Time and Data Abstractionda Rocha Pinto, P. / Dinsdale-Young, T. / Gardner, P. et al. | 2014
- 232
-
Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple CoresLee, K.H. / Kim, D. / Zhang, X. et al. | 2014
- 257
-
Understanding TypeScriptBierman, G. / Abadi, M. / Torgersen, M. et al. | 2014
- 282
-
Sound and Complete Subtyping between Coinductive Types for Object-Oriented LanguagesAncona, D. / Corradi, A. et al. | 2014
- 308
-
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and DistributionMiller, H. / Haller, P. / Odersky, M. et al. | 2014
- 334
-
Rely-Guarantee ProtocolsMilitao, F. / Aldrich, J. / Caires, L. et al. | 2014
- 360
-
Stream Processing with a SpreadsheetVaziri, M. / Tardieu, O. / Rabbah, R. / Suter, P. / Hirzel, M. et al. | 2014
- 385
-
Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep EmbeddingScherr, M. / Chiba, S. et al. | 2014
- 411
-
Babelsberg/JS: A Browser-Based Implementation of an Object Constraint LanguageFelgentreff, T. / Borning, A. / Hirschfeld, R. / Lincke, J. / Ohshima, Y. / Freudenberg, B. / Krahn, R. et al. | 2014
- 437
-
Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java FrameworksMayer, P. / Schroeder, A. et al. | 2014
- 463
-
Retargetting Legacy Browser Extensions to Modern Extension FrameworksKarim, R. / Dhawan, M. / Ganapathy, V. et al. | 2014
- 489
-
Capture-Avoiding and Hygienic Program TransformationsErdweg, S. / van der Storm, T. / Dai, Y. et al. | 2014
- 515
-
Converting Parallel Code from Low-Level Abstractions to Higher-Level AbstractionsOkur, S. / Erdogan, C. / Dig, D. et al. | 2014
- 541
-
Portable and Efficient Run-Time Monitoring of JavaScript Applications Using Virtual Machine LayeringLavoie, E. / Dufour, B. / Feeley, M. et al. | 2014
- 567
-
An Executable Formal Semantics of PHPFilaretti, D. / Maffeis, S. et al. | 2014
- 593
-
Identifying Mandatory Code for Framework Use via a Single Application TraceNitta, N. / Kume, I. / Takemura, Y. et al. | 2014
- 618
-
Cooperative Scheduling of Parallel Tasks with General Synchronization PatternsImam, S. / Sarkar, V. et al. | 2014
- 644
-
MiCA: A Compositional Architecture for Gossip ProtocolsPrincehouse, L. / Chenchu, R. / Jiang, Z. / Birman, K.P. / Foster, N. / Soule, R. et al. | 2014
- 670
-
Semantics of (Resilient) X10Crafa, S. / Cunningham, D. / Saraswat, V. / Shinnar, A. / Tardieu, O. et al. | 2014