SugarJ: Library-Based Syntactic Language Extensibility (English)
- New search for: Erdweg, S.
- New search for: Rendel, T.
- New search for: Kastner, C.
- New search for: Ostermann, K.
- New search for: Erdweg, S.
- New search for: Rendel, T.
- New search for: Kastner, C.
- New search for: Ostermann, K.
In:
ACM SIGPLAN NOTICES
;
46
, 10
;
391-406
;
2011
-
ISSN:
- Article (Journal) / Print
-
Title:SugarJ: Library-Based Syntactic Language Extensibility
-
Contributors:
-
Published in:ACM SIGPLAN NOTICES ; 46, 10 ; 391-406
-
Publisher:
- New search for: ACM
-
Publication date:2011-01-01
-
Size:16 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 005.1
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 005.1 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 46, Issue 10
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
-
The Sequential PrisonSutherland, I. et al. | 2011
- 3
-
SHERIFF: Precise Detection and Automatic Mitigation of False SharingLiu, T. / Berger, E.D. et al. | 2011
- 19
-
Accentuating the Positive: Atomicity Inference and Enforcement Using Correct ExecutionsWeeratunge, D. / Zhang, X. / Jaganathan, S. et al. | 2011
- 35
-
SOS: Saving Time in Dynamic Race Detection with Stationary AnalysisLi, D. / Srisa-an, W. / Dwyer, M.B. et al. | 2011
- 51
-
Testing Atomicity of Composed Concurrent OperationsShacham, O. / Bronson, N. / Aiken, A. / Sagiv, M. / Vechev, M. / Yahav, E. et al. | 2011
- 65
-
Data-Driven Synthesis for Object-Oriented FrameworksYessenov, K. / Xu, Z. / Solar-Lezama, A. et al. | 2011
- 83
-
Synthesis of First-Order Dynamic Programming AlgorithmsPu, Y. / Bodik, R. / Srivastava, S. et al. | 2011
- 99
-
Kind Analysis for MATLABDoherty, J. / Hendren, L. / Radpour, S. et al. | 2011
- 119
-
Tool-Supported Refactoring for JavaScriptFeldthaus, A. / Millstein, T. / Moller, A. / Schafer, M. / Tip, F. et al. | 2011
- 139
-
Integrated Language Definition Testing: Enabling Test-Driven Language DevelopmentKats, L.C.L. / Vermaas, R. / Visser, E. et al. | 2011
- 155
-
Catch Me If You Can: Performance Bug Detection in the WildJovic, M. / Adamoli, A. / Hauswirth, M. et al. | 2011
- 171
-
PREFAIL: A Programmable Tool for Multiple-Failure InjectionJoshi, P. / Gunawi, H.S. / Sen, K. et al. | 2011
- 189
-
Synthesizing Method Sequences for High-Coverage TestingThummalapenta, S. / Xie, T. / Tillmann, N. / de Halleux, J. / Su, Z. et al. | 2011
- 207
-
HAWKEYE: Effective Discovery of Dataflow Impediments to ParallelizationTripp, O. / Yorsh, G. / Field, J. / Sagiv, M. et al. | 2011
- 225
-
Automatic Fine-Grain Locking Using Shape PropertiesGolan-Gueta, G. / Bronson, N. / Aiken, A. / Ramalingam, G. / Sagiv, M. / Yahav, E. et al. | 2011
- 243
-
Safe Parallel Programming using Dynamic Dependence HintsKe, C. / Liu, L. / Zhang, C. / Bai, T. / Jacobs, B. / Ding, C. et al. | 2011
- 259
-
Sprint: Speculative Prefetching of Remote DataRaman, A. / Yorsh, G. / Vechev, M. / Yahav, E. et al. | 2011
- 275
-
Asynchronous AssertionsAftandilian, E.E. / Guyer, S.Z. / Vechev, M. / Yahav, E. et al. | 2011
- 289
-
Ribbons: A Partially Shared Memory Programming ModelHoffman, K. / Metzger, H. / Eugster, P. et al. | 2011
- 307
-
Why Nothing Matters: The Impact of ZeroingYang, X. / Blackburn, S.M. / Frampton, D. / Sartor, J.B. / McKinley, K.S. et al. | 2011
- 325
-
Trustworthy Numerical Computation in ScalaDarulova, E. / Kuncak, V. et al. | 2011
- 345
-
JET: Exception Checking in the Java Native InterfaceLi, S. / Tan, G. et al. | 2011
- 359
-
Immutable Specifications for More Concise and Precise VerificationDavid, C. / Chin, W.-N. et al. | 2011
- 375
-
Hybrid Partial EvaluationShali, A. / Cook, W.R. et al. | 2011
- 391
-
SugarJ: Library-Based Syntactic Language ExtensibilityErdweg, S. / Rendel, T. / Kastner, C. / Ostermann, K. et al. | 2011
- 407
-
Reactive Imperative Programming with Dataflow ConstraintsDemetrescu, C. / Finocchi, I. / Ribichini, A. et al. | 2011
- 427
-
Two for the Price of One: A Model for Parallel and Incremental ComputationBurckhardt, S. / Leijen, D. / Sadowski, C. / Yi, J. / Ball, T. et al. | 2011
- 445
-
A Step Towards Transparent Integration of Input-Consciousness into Dynamic Program OptimizationsTian, K. / Zhang, E.Z. / Shen, X. et al. | 2011
- 463
-
Enhancing Locality for Recursive Traversals of Recursive StructuresJo, Y. / Kulkarni, M. et al. | 2011
- 483
-
Flow-Sensitive Type Recovery in Linear-Log TimeAdams, M.D. / Keep, A.W. / Midtgaard, J. / Might, M. / Chauhan, A. / Dybvig, R.K. et al. | 2011
- 499
-
Oracle Scheduling: Controlling Granularity in Implicitly Parallel LanguagesAcar, U.A. / Chargueraud, A. / Rainey, M. et al. | 2011
- 519
-
Kismet: Parallel Speedup Estimates for Serial ProgramsJeon, D. / Garcia, S. / Louie, C. / Taylor, M.B. et al. | 2011
- 537
-
Efficiently Speeding Up Sequential Computation Through the N-Way Programming ModelCledat, R.E. / Kumar, T. / Pande, S. et al. | 2011
- 555
-
Exploiting Coarse-Grain Speculative ParallelismPyla, H.K. / Ribbens, C. / Varadarajan, S. et al. | 2011
- 575
-
Scalable Join PatternsTuron, A. / Russo, C.V. et al. | 2011
- 595
-
Product Lines of TheoremsDelaware, B. / Cook, W.R. / Batory, D. et al. | 2011
- 609
-
Gradual Typing for GenericsIna, L. / Igarashi, A. et al. | 2011
- 625
-
A Theory of Substructural Types and ControlTov, J.A. / Pucella, R. et al. | 2011
- 643
-
Benefits and Barriers of User Evaluation in Software Engineering ResearchBuse, R.P.L. / Sadowski, C. / Weimer, W. et al. | 2011
- 657
-
Da Capo con Scala: Design and Analysis of a Scala Benchmark Suite for the Java Virtual MachineSewe, A. / Mezini, M. / Sarimbekov, A. / Binder, W. et al. | 2011
- 677
-
Automated Construction of JavaScript BenchmarksRichards, G. / Gal, A. / Eich, B. / Vitek, J. et al. | 2011
- 695
-
Declaratively Programming the Mobile Web with MoblHemel, Z. / Visser, E. et al. | 2011
- 713
-
First-Class State Change in PlaidSunshine, J. / Naden, K. / Stork, S. / Aldrich, J. / Tanter, E. et al. | 2011
- 733
-
Cedalion: A Language for Language Oriented ProgrammingLorenz, D.H. / Rosenan, B. et al. | 2011
- 753
-
Self-Adjusting Stack MachinesHammer, M.A. / Neis, G. / Chen, Y. / Acar, U.A. et al. | 2011
- 773
-
JIT Compilation Policy for Modern MachinesKulkarni, P.A. et al. | 2011
- 789
-
Reducing Trace Selection Footprint for Large-Scale Java Applications without Performance LossWu, P. / Hayashizaki, H. / Inoue, H. / Nakatani, T. et al. | 2011
- 805
-
Variability-Aware Parsing in the Presence of Lexical Macros and Conditional CompilationKastner, C. / Giarrusso, P.G. / Rendel, T. / Erdweg, S. / Ostermann, K. / Berger, T. et al. | 2011
- 825
-
Safe and Atomic Run-Time Code Evolution for Java and Its Application to Dynamic AOPWurthinger, T. / Ansaloni, D. / Binder, W. / Wimmer, C. / Mossenbock, H. et al. | 2011
- 845
-
A Simple Abstraction for Complex Concurrent Indexesda Rocha Pinto, P. / Dinsdale-Young, T. / Dodds, M. / Gardner, P.G. / Wheelhouse, M. et al. | 2011
- 865
-
Composable, Nestable, Pessimistic Atomic StatementsAnderson, Z. / Gay, D. et al. | 2011
- 885
-
Delegated IsolationLublinerman, R. / Zhao, J. / Budimlic, Z. / Chaudhuri, S. / Sarkar, V. et al. | 2011
- 903
-
AC: Composable Asynchronous IO for Native LanguagesHarris, T. / Abadi, M. / Isaacs, R. / McIlroy, R. et al. | 2011
- 921
-
Virtual Values for Language ExtensionAustin, T.H. / Disney, T. / Flanagan, C. et al. | 2011
- 939
-
Backstage Java: Making a Difference in MetaprogrammingPalmer, Z. / Smith, S.F. et al. | 2011
- 959
-
Flexible Object Layouts: Enabling Lightweight Language Extensions by Intercepting Slot AccessVerwaest, T. / Lungu, M. / Nierstrasz, O. / Bruni, C. et al. | 2011
- 973
-
Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple InheritanceAllen, E. / Hilburn, J. / Kilpatrick, S. / Luchangco, V. / Ryu, S. / Chase, D. / Steele, G.L. et al. | 2011
- 993
-
A Syntactic Type System for Recursive ModulesIm, H. / Nakata, K. / Garrigue, J. / Park, S. et al. | 2011
- 1013
-
Freedom Before Commitment: A Lightweight Type System for Object InitialisationSummers, A.J. / Muller, P. et al. | 2011
- 1033
-
Null Dereference Verification via Over-Approximated Weakest Pre-Conditions AnalysisMadhavan, R. / Komondoor, R. et al. | 2011
- 1053
-
F4F: Taint Analysis of Framework-Based Web ApplicationsSridharan, M. / Artzi, S. / Pistoia, M. / Guarnieri, S. / Tripp, O. / Berg, R. et al. | 2011
- 1069
-
RoleCast: Finding Missing Security Checks When You Do Not Know What Checks AreSon, S. / McKinley, K.S. / Shmatikov, V. et al. | 2011