Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution (Englisch)
- Neue Suche nach: Miller, H.
- Neue Suche nach: Haller, P.
- Neue Suche nach: Odersky, M.
- Neue Suche nach: Miller, H.
- Neue Suche nach: Haller, P.
- Neue Suche nach: Odersky, M.
- Neue Suche nach: Jones, Richard
In:
Object-oriented programming; ECOOP 2014
8586
;
308-333
;
2014
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution
-
Beteiligte:
-
Kongress:European conference; 28th, Object-oriented programming; ECOOP 2014 ; 2014 ; Uppsala, Sweden
-
Erschienen in:Object-oriented programming; ECOOP 2014 , 8586 ; 308-333LECTURE NOTES IN COMPUTER SCIENCE , 8586 ; 308-333
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Heidelberg
-
Erscheinungsdatum:01.01.2014
-
Format / Umfang:26 pages
-
Anmerkungen:Includes bibliographical references and index. Also issued online.
-
ISBN:
-
ISSN:
-
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
-
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