Dynamic Software Update for Message Passing Programs (Englisch)
- Neue Suche nach: Anderson, G.
- Neue Suche nach: Rathke, J.
- Neue Suche nach: Anderson, G.
- Neue Suche nach: Rathke, J.
- Neue Suche nach: Jhala, Ranjit
- Neue Suche nach: Igarashi, Atsushi
In:
Programming languages and systems; 10th Asian Symposium, APLAS 2012,December 11-13 2012 : proceedings /
7705
;
207-222
;
2012
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:Dynamic Software Update for Message Passing Programs
-
Beteiligte:
-
Kongress:Asian symposium; 10th, Programming languages and systems; 10th Asian Symposium, APLAS 2012,December 11-13 2012 : proceedings / ; 2012 ; Kyoto, Japan
-
Erschienen in:Programming languages and systems; 10th Asian Symposium, APLAS 2012,December 11-13 2012 : proceedings / , 7705 ; 207-222LECTURE NOTES IN COMPUTER SCIENCE , 7705 ; 207-222
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Heidelberg
-
Erscheinungsdatum:01.01.2012
-
Format / Umfang:16 pages
-
Anmerkungen:Includes bibliographical references and index. Also issued online. APLAS 2012.
-
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
-
Planet Dynamic or: How I Learned to Stop Worrying and Love ReflectionVitek, J. et al. | 2012
- 2
-
JATO: Native Code Atomicity for JavaLi, S. / Liu, Y.D. / Tan, G. et al. | 2012
- 18
-
Ownership Types for Object SynchronisationLu, Y. / Potter, J. / Xue, J. et al. | 2012
- 34
-
A Functional View of Imperative Information FlowAustin, T.H. / Flanagan, C. / Abadi, M. et al. | 2012
- 50
-
End-to-end Multilevel Hybrid Information Flow ControlBeringer, L. et al. | 2012
- 66
-
Succour to the Confused Deputy: Types for CapabilitiesJagadeesan, R. / Pitcher, C. / Riely, J. et al. | 2012
- 82
-
Types and Access Controls for Cross-Domain Security in FlashRastogi, A. / Chaudhuri, A. / Johnson, R. et al. | 2012
- 98
-
Linear Approximation of Continuous Systems with Trapezoid Step FunctionsCostantini, G. / Ferrara, P. / Cortesi, A. et al. | 2012
- 115
-
Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level CodeNavas, J.A. / Schachte, P. / Sondergaard, H. / Stuckey, P.J. et al. | 2012
- 131
-
Hierarchical Shape Abstraction of Dynamic Structures in Static BlocksSotin, P. / Rival, X. et al. | 2012
- 148
-
Vinter: A Vampire-Based Tool for Interpolation (Tool Paper)Hoder, K. / Holzer, A. / Kovacs, L. / Voronkov, A. et al. | 2012
- 157
-
Side-Effecting Constraint Systems: A Swiss Army Knife for Program AnalysisApinis, K. / Seidl, H. / Vojdani, V. et al. | 2012
- 173
-
Inference of Necessary Field Conditions with Abstract InterpretationBouaziz, M. / Logozzo, F. / Fahndrich, M. et al. | 2012
- 190
-
Lazy v. Yield: Incremental, Linear Pretty-PrintingKiselyov, O. / Peyton-Jones, S. / Sabry, A. et al. | 2012
- 207
-
Dynamic Software Update for Message Passing ProgramsAnderson, G. / Rathke, J. et al. | 2012
- 223
-
A Synchronous Language with Partial Delay Specification for Real-Time Systems ProgrammingWyss, R. / Boniol, F. / Forget, J. / Pagetti, C. et al. | 2012
- 239
-
Concurrent Test Generation Using Concolic Multi-trace AnalysisRazavi, N. / Ivancic, F. / Kahlon, V. / Gupta, A. et al. | 2012
- 256
-
Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program AnalysisMarek, L. / Zheng, Y. / Ansaloni, D. / Sarimbekov, A. / Binder, W. / Tuma, P. / Qi, Z. et al. | 2012
- 264
-
Indexed Realizability for Bounded-Time Programming with References and Type FixpointsBrunel, A. / Madet, A. et al. | 2012
- 280
-
A New Order-Theoretic Characterisation of the Polytime Computable FunctionsAvanzini, M. / Eguchi, N. / Moser, G. et al. | 2012
- 296
-
A Dynamic Interpretation of the CPS HierarchyMaterzok, M. / Biernacki, D. et al. | 2012
- 312
-
Scalable Formal Machine ModelsMorrisett, G. et al. | 2012
- 315
-
Modular Verification of Concurrent Thread ManagementGuo, Y. / Feng, X. / Shao, Z. / Shi, P. et al. | 2012
- 332
-
A Case for Behavior-Preserving Actions in Separation LogicCostanzo, D. / Shao, Z. et al. | 2012
- 350
-
A Generic Cyclic Theorem ProverBrotherston, J. / Gorogiannis, N. / Petersen, R.L. et al. | 2012
- 368
-
Decision Procedures over Sophisticated Fractional PermissionsLe, X.B. / Gherghina, C. / Hobor, A. et al. | 2012
- 386
-
Mechanized Semantics for Compiler VerificationLeroy, X. et al. | 2012