Tag #context-sensitive grammar
32 papers:
- CC-2020-ThakurN #scalability
- Mix your contexts well: opportunities unleashed by recent advances in scaling context-sensitivity (MT, VKN), pp. 27–38.
- DLT-2019-BhaveKPT #bound #on the
- On Timed Scope-Bounded Context-Sensitive Languages (DB, SNK, RP, AT0), pp. 168–181.
- OOPSLA-2019-LuX #analysis #performance #pointer
- Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity (JL, JX), p. 29.
- OOPSLA-2018-LiTMS #analysis #pointer
- Precision-guided context sensitivity for pointer analysis (YL0, TT0, AM, YS), p. 29.
- ESEC-FSE-2018-LiTMS #analysis #pointer #self
- Scalability-first pointer analysis with self-tuning context-sensitivity (YL0, TT0, AM, YS), pp. 129–140.
- AFL-2017-MedunaM #component #product line
- CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages (AM, JM), pp. 170–179.
- OOPSLA-2017-JeongJCO #analysis #data-driven #points-to
- Data-driven context-sensitivity for points-to analysis (SJ, MJ, SDC, HO), p. 28.
- SLE-2016-LaurentM #parsing
- Taming context-sensitive languages with principled stateful parsing (NL, KM), pp. 15–27.
- PLDI-2014-OhLHYY
- Selective context-sensitivity guided by impact pre-analysis (HO, WL, KH, HY, KY), p. 49.
- PLDI-2014-SmaragdakisKB #analysis
- Introspective analysis: context-sensitivity, across the board (YS, GK, GB), p. 50.
- OOPSLA-2013-HuangB #analysis #memory management #performance
- Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management (JH, MDB), pp. 53–72.
- PLDI-2013-KastrinisS #analysis #hybrid #points-to
- Hybrid context-sensitivity for points-to analysis (GK, YS), pp. 423–434.
- ICSM-2010-FisherDBR #analysis
- Exploring the impact of context sensitivity on blended analysis (MFI, BD, SB, BGR), pp. 1–10.
- PLDI-2010-BondBG #analysis #debugging #detection #named #performance
- Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses (MDB, GZB, SZG), pp. 13–24.
- ASE-2009-WangC #testing #weaving
- Weaving Context Sensitivity into Test Suite Construction (HW, WKC), pp. 610–614.
- LATA-2007-Bensch #approach #parallel
- An Approach to Parallel Mildly Context-Sensitive Grammar Formalisms (SB), pp. 91–102.
- LICS-2007-TorreMP #robust
- A Robust Class of Context-Sensitive Languages (SLT, PM, GP), pp. 161–170.
- DLT-2006-Jurdzinski
- The Boolean Closure of Growing Context-Sensitive Languages (TJ), pp. 248–259.
- PASTE-2005-LiangPH #algorithm #java #source code
- Evaluating the impact of context-sensitivity on Andersen’s algorithm for Java programs (DL, MP, MJH), pp. 6–12.
- SCAM-2004-Krinke #matter
- Context-Sensitivity Matters, But Context Does Not (JK), pp. 29–35.
- ICSM-2003-BinkleyH #empirical #scalability #slicing
- A Large-Scale Empirical Study of Forward and Backward Static Slice Size and Context Sensitivity (DB, MH), pp. 44–53.
- ESEC-FSE-2003-LivshitsL #c #debugging #detection #pointer #source code
- Tracking pointers with path and context sensitivity for bug detection in C programs (VBL, MSL), pp. 317–326.
- DLT-2001-NiemannW
- The Growing Context-Sensitive Languages Are the Acyclic Context-Sensitive Languages (GN, JRW), pp. 197–205.
- WLC-2000-DomosiI #parsing #problem
- A Parsing Problem for Context-Sensitive Languages (PD, MI), pp. 183–184.
- FoSSaCS-1998-NiemannO
- The Church-Rosser Languages Are the Deterministic Variants of the Growing Context-Sensitive Languages (GN, FO), pp. 243–257.
- ISSTA-1998-StocksRLZ #problem
- Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem (PS, BGR, WL, SZ), pp. 21–31.
- ICFP-1997-Lassila #code generation #confluence #functional #metaprogramming #optimisation
- A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence (EL), p. 315.
- ICPR-1996-AlquezarS #learning #regular expression
- Learning of context-sensitive languages described by augmented regular expressions (RA, AS), pp. 745–749.
- ICPR-1996-SainzS #learning #modelling #using
- Learning bidimensional context-dependent models using a context-sensitive language (MS, AS), pp. 565–569.
- ICALP-1992-BuntrockL #on the
- On Growing Context-Sensitive Languages (GB, KL), pp. 77–88.
- ICALP-1977-Brandenburg #bound
- The Contextsensitivity Bounds of Contextsensitive Grammars and Languages (FJB), pp. 120–134.
- ICALP-1972-Baker #context-free grammar #generative
- Context-Sensitive Grammars Generating Context-Free Languages (BSB), pp. 501–506.