Marco: Safe, Expressive Macros for Any Language (Englisch)
- Neue Suche nach: Lee, Byeongcheol
- Neue Suche nach: Grimm, Robert
- Neue Suche nach: Hirzel, Martin
- Neue Suche nach: McKinley, Kathryn S.
- Neue Suche nach: Lee, Byeongcheol
- Neue Suche nach: Grimm, Robert
- Neue Suche nach: Hirzel, Martin
- Neue Suche nach: McKinley, Kathryn S.
In:
ECOOP 2012 – Object-Oriented Programming
10
;
589-613
;
2012
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Marco: Safe, Expressive Macros for Any Language
-
Beteiligte:Lee, Byeongcheol ( Autor:in ) / Grimm, Robert ( Autor:in ) / Hirzel, Martin ( Autor:in ) / McKinley, Kathryn S. ( Autor:in )
-
Erschienen in:ECOOP 2012 – Object-Oriented Programming , 10 ; 589-613Lecture Notes in Computer Science ; 7313, 10 ; 589-613
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2012
-
Format / Umfang:25 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
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
-
When Compilers Are MirrorsOdersky, Martin et al. | 2012
- 2
-
Extensibility for the MassesOliveira, Bruno C. d. S. / Cook, William R. et al. | 2012
- 28
-
Extensions during Software Evolution: Do Objects Meet Their Promise?Robbes, Romain / Röthlisberger, David / Tanter, Éric et al. | 2012
- 53
-
PQL: A Purely-Declarative Java Extension for Parallel ProgrammingReichenbach, Christoph / Smaragdakis, Yannis / Immerman, Neil et al. | 2012
- 79
-
Is It Dangerous to Use Version Control Histories to Study Source Code Evolution?Negara, Stas / Vakilian, Mohsen / Chen, Nicholas / Johnson, Ralph E. / Dig, Danny et al. | 2012
- 104
-
Evaluating the Design of the R LanguageMorandat, Floréal / Hill, Brandon / Osvald, Leo / Vitek, Jan et al. | 2012
- 132
-
McSAF: A Static Analysis Framework for MATLABDoherty, Jesse / Hendren, Laurie et al. | 2012
- 156
-
Multiple Aggregate Entry Points for Ownership TypesÖstlund, Johan / Wrigstad, Tobias et al. | 2012
- 181
-
Inference and Checking of Object OwnershipHuang, Wei / Dietl, Werner / Milanova, Ana / Ernst, Michael D. et al. | 2012
- 207
-
Object Initialization in X10Zibin, Yoav / Cunningham, David / Peshansky, Igor / Saraswat, Vijay et al. | 2012
- 232
-
Structured AliasingWrigstad, Tobias et al. | 2012
- 233
-
Pause ’n’ Play: Formalizing Asynchronous C $^\sharp$Bierman, Gavin / Russo, Claudio / Mainland, Geoffrey / Meijer, Erik / Torgersen, Mads et al. | 2012
- 258
-
Lightweight Polymorphic EffectsRytz, Lukas / Odersky, Martin / Haller, Philipp et al. | 2012
- 283
-
Cloud Types for Eventual ConsistencyBurckhardt, Sebastian / Fähndrich, Manuel / Leijen, Daan / Wood, Benjamin P. et al. | 2012
- 308
-
Lock Inference in the Presence of Large LibrariesGudka, Khilan / Harris, Tim / Eisenbach, Susan et al. | 2012
- 333
-
An Analysis of the Mozilla Jetpack Extension FrameworkKarim, Rezwana / Dhawan, Mohan / Ganapathy, Vinod / Shan, Chung-chieh et al. | 2012
- 356
-
Smaller Footprint for Java CollectionsGil, Joseph / Shimron, Yuval et al. | 2012
- 383
-
Enhancing JavaScript with TransactionsDhawan, Mohan / Shan, Chung-chieh / Ganapathy, Vinod et al. | 2012
- 409
-
JavaScript as an Embedded DSLKossakowski, Grzegorz / Amin, Nada / Rompf, Tiark / Odersky, Martin et al. | 2012
- 435
-
Correlation Tracking for Points-To Analysis of JavaScriptSridharan, Manu / Dolby, Julian / Chandra, Satish / Schäfer, Max / Tip, Frank et al. | 2012
- 459
-
Soundness of Object-Oriented Languages with Coinductive Big-Step SemanticsAncona, Davide et al. | 2012
- 484
-
Static Sessional DataflowDuggan, Dominic / Yao, Jianhua et al. | 2012
- 509
-
Java Wildcards Meet Definition-Site VarianceAltidor, John / Reichenbach, Christoph / Smaragdakis, Yannis et al. | 2012
- 535
-
Constraint-Based Refactoring with ForesightSteimann, Friedrich / Pilgrim, Jens et al. | 2012
- 560
-
Magda: A New Language for ModularityBono, Viviana / Kuśmierek, Jarek / Mulatero, Mauro et al. | 2012
- 589
-
Marco: Safe, Expressive Macros for Any LanguageLee, Byeongcheol / Grimm, Robert / Hirzel, Martin / McKinley, Kathryn S. et al. | 2012
- 614
-
Practical Permissions for Race-Free ParallelismWestbrook, Edwin / Zhao, Jisheng / Budimlić, Zoran / Sarkar, Vivek et al. | 2012
- 640
-
Verification of Snapshot Isolation in Transactional Memory Java ProgramsDias, Ricardo J. / Distefano, Dino / Seco, João Costa / Lourenço, João M. et al. | 2012
- 665
-
Scalable Flow-Sensitive Pointer Analysis for Java with Strong UpdatesDe, Arnab / D’Souza, Deepak et al. | 2012
- 688
-
Application-Only Call Graph ConstructionAli, Karim / Lhoták, Ondřej et al. | 2012
- 713
-
Program SlidingEttinger, Ran et al. | 2012
- 738
-
Static Detection of Loop-Invariant Data StructuresXu, Guoqing / Yan, Dacong / Rountev, Atanas et al. | 2012