BibSLEIGH — program transformation tag

program transformation

program transformation

Tag #program transformation

207 papers:

CC-2020-DaviesK: Postcondition-preserving fusion of postorder tree transformations (ED, SK), pp. 191–200.
ECOOP-2019-KangTLMJ0 #case study #experience #java #semantics: Semantic Patches for Java Program Transformation (Experience Report) (HJK, FT, JL, GM, LJ, DL0), p. 27.
PLATEAU-2019-LubinC #functional: Type-Directed Program Transformations for the Working Functional Programmer (JL, RC), p. 12.
PPDP-2019-Kikuchi0S #induction #proving #term rewriting #theorem proving: Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation (KK, TA0, IS), p. 14.
ASE-2019-JiangRXZ: Inferring Program Transformations From Singular Examples via Big Code (JJ, LR, YX, LZ), pp. 255–266.
ASE-2019-WuZ0TZ #automation: Automating CUDA Synchronization via Program Transformation (MW, LZ, CL0, SHT, YZ), pp. 748–759.
ASPLOS-2019-BhatKBG #named: ProbeGuard: Mitigating Probing Attacks Through Reactive Program Transformations (KB, EvdK, HB, CG), pp. 545–558.
ESOP-2019-GiarrussoRS #incremental #λ-calculus: Incremental λ-Calculus in Cache-Transfer Style - Static Memoization by Program Transformation (PGG, YRG, PS), pp. 553–580.
ICSME-2018-LecerfBGD #approach #automation #pattern matching #reflexive: A Reflexive and Automated Approach to Syntactic Pattern Matching in Code Transformations (JL, JB, TG, SD), pp. 426–436.
SANER-2018-DantasCMFSLB #automation #empirical #java #source code: Reconciling the past and the present: An empirical study on the application of source code transformations to automatically rejuvenate Java programs (RD, AC, DM, LF, US, WL, RB), pp. 497–501.
ECOOP-2018-ChenHZHK0 #execution #learning #symbolic computation: Learning to Accelerate Symbolic Execution via Code Transformation (JC0, WH, LZ, DH, SK, LZ0), p. 27.
OOPSLA-2018-WongMLK #bytecode #execution #performance: Faster variational execution with transparent bytecode transformation (CPW, JM, LL, CK), p. 30.
SAS-2018-NamjoshiP #program analysis: The Impact of Program Transformations on Static Program Analysis (KSN, ZP), pp. 306–325.
PEPM-2017-NarasimhanRL #data transformation #dependence #interactive #migration #representation: Interactive data representation migration: exploiting program dependence to aid program transformation (KN, CR, JL), pp. 47–58.
PLDI-2017-PetrashkoLO #compilation #composition #named #performance #using: Miniphases: compilation using modular and efficient tree transformations (DP, OL, MO), pp. 201–216.
ICSE-2017-RolimSDPGGSH #learning: Learning syntactic program transformations from examples (RR, GS, LD, OP, SG, RG, RS, BH), pp. 404–415.
FM-2016-LahavV #memory management #modelling: Explaining Relaxed Memory Models with Program Transformations (OL, VV), pp. 479–495.
ICSME-2015-SantosAEDV #source code: System specific, source code transformations (GS, NA, AE, SD, MTV), pp. 221–230.
SCAM-2015-SantosEADV #game studies #source code: Recording and replaying system specific, source code transformations (GS, AE, NA, SD, MTV), pp. 221–230.
ICEIS-v1-2015-AyadiHAF: Decision Tree Transformation for Knowledge Warehousing (RA, YH, SA, JF), pp. 616–623.
PADL-2015-TamaritVCM #c #haskell #implementation #rule-based #source code: A Haskell Implementation of a Rule-Based Program Transformation for C Programs (ST, GV, MC, JM), pp. 105–114.
ESEC-FSE-2015-Cadar #execution #symbolic computation: Targeted program transformations for symbolic execution (CC), pp. 906–909.
SLE-2015-RitschelE #composition: Modular capture avoidance for program transformations (NR, SE), pp. 59–70.
TACAS-2015-ChenHTWW #contest #named #recursion #source code #text-to-text #verification: CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation — (Competition Contribution) (YFC, CH, MHT, BYW, FW), pp. 426–428.
ICLP-J-2015-GangeNSSS #horn clause #program analysis #representation: Horn clauses as an intermediate representation for program analysis and transformation (GG, JAN, PS, HS, PJS), pp. 526–542.
SCAM-2014-RooverI: The Ekeko/X Program Transformation Tool (CDR, KI), pp. 53–58.
ICMT-2014-InostrozaSE #string: Tracing Program Transformations with String Origins (PI, TvdS, SE), pp. 154–169.
ECOOP-2014-ErdwegSD: Capture-Avoiding and Hygienic Program Transformations (SE, TvdS, YD), pp. 489–514.
LOPSTR-2014-CornishGNSSS #array #source code: Analyzing Array Manipulating Programs by Program Transformation (JRMC, GG, JAN, PS, HS, PJS), pp. 3–20.
ISSTA-2014-BaudryAM #source code: Tailored source code transformations to synthesize computationally diverse program variants (BB, SA, MM), pp. 149–159.
SEFM-2013-JiHB #deduction #execution #symbolic computation: Program Transformation Based on Symbolic Execution and Deduction (RJ, RH, RB), pp. 289–304.
PEPM-2013-CarbinKMR #approximate: Verified integrity properties for safe approximate program transformations (MC, DK, SM, MCR), pp. 63–66.
SAS-2013-NamjoshiZ: Witnessing Program Transformations (KSN, LDZ), pp. 304–323.
ICSE-2013-CokerH #c #integer: Program transformations to fix C integers (ZC, MH), pp. 792–801.
ICSE-2013-JacobellisMK #named: LASE: an example-based program transformation tool for locating and applying systematic edits (JJ, NM, MK), pp. 1319–1322.
ICSE-2013-LeeCJ #performance #refactoring: Drag-and-drop refactoring: intuitive and efficient program transformation (YYL, NC, REJ), pp. 23–32.
ESOP-2013-AlglaveKNT #memory management #verification: Software Verification for Weak Memory via Program Transformation (JA, DK, VN, MT), pp. 512–532.
SCAM-2012-WilcoxSB #optimisation: Optimizing Expression Selection for Lookup Table Program Transformation (CW, MMS, JMB), pp. 84–93.
IFL-2012-SculthorpeFG #haskell: The HERMIT in the Tree — Mechanizing Program Transformations in the GHC Core Language (NS, AF, AG), pp. 86–103.
LOPSTR-2012-SeghirB #array #quantifier #verification: Simplifying the Verification of Quantified Array Assertions via Code Transformation (MNS, MB), pp. 194–212.
LOPSTR-2012-Seki #logic programming #proving #source code: Proving Properties of Co-logic Programs with Negation by Program Transformations (HS), pp. 213–227.
PADL-2012-HaveC #performance #using: Efficient Tabling of Structured Data Using Indexing and Program Transformation (CTH, HC), pp. 93–107.
POPL-2012-LiangFF #concurrent #simulation #verification: A rely-guarantee-based simulation for verifying concurrent program transformations (HL, XF, MF), pp. 455–468.
POPL-2012-ZhaoNMZ #formal method #representation: Formalizing the LLVM intermediate representation for verified program transformations (JZ, SN, MMKM, SZ), pp. 427–440.
POPL-2012-ZhuMKR #approximate #performance #random: Randomized accuracy-aware program transformations for efficient approximate computations (ZAZ, SM, JAK, MCR), pp. 441–454.
IJCAR-2012-RauSS #correctness #problem #termination: Correctness of Program Transformations as a Termination Problem (CR, DS, MSS), pp. 462–476.
WCRE-2011-Mintchev #integration #legacy: Renovation by Machine-Assisted Program Transformation in Production Reporting and Integration (SM), pp. 406–410.
ICFP-2011-ThamsborgB #logic: A kripke logical relation for effect-based program transformations (JT, LB), pp. 445–456.
PEPM-2011-Caballero #functional #logic programming #source code: A program transformation for returning states in functional-logic programs (RC), pp. 111–120.
PEPM-2011-Rinard #bound #probability #program analysis #source code: Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation (MCR), pp. 79–80.
PLDI-2011-MengKM #editing #generative: Systematic editing: generating program transformations from an example (NM, MK, KSM), pp. 329–342.
SAS-2011-MisailovicRR: Probabilistically Accurate Program Transformations (SM, DMR, MCR), pp. 316–333.
ESEC-FSE-2011-MengKM #named: Sydit: creating and applying a program transformation from an example (NM, MK, KSM), pp. 440–443.
DATE-2011-BaiDDC #network #programming #runtime: Simplified programming of faulty sensor networks via code transformation and run-time interval computation (LSB, RPD, PAD, PHC), pp. 88–93.
LICS-2011-Miquel: Forcing as a Program Transformation (AM), pp. 197–206.
ICSM-2010-Cleve #data-driven #evolution #program analysis: Program analysis and transformation for data-intensive system evolution (AC), pp. 1–6.
PADL-2010-AgarwalBGG #automation: Automating Mathematical Program Transformations (AA, SB, AGG, IEG), pp. 134–148.
LDTA-2010-HoldermansH #on the #type system: On the rôle of minimal typing derivations in type-driven program transformation (SH, JH), p. 2.
OOPSLA-2009-SongT #programming #tool support: Enhancing source-level programming tools with an awareness of transparent program transformations (MS, ET), pp. 301–320.
LOPSTR-2009-PettorossiPS #branch #logic: Deciding Full Branching Time Logic by Program Transformation (AP, MP, VS), pp. 5–21.
PADL-2009-GuzmanCH #execution #towards: Towards a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 224–238.
PEPM-2009-Martel #precise: Program transformation for numerical precision (MM), pp. 101–110.
PPDP-2009-BentonKBH #higher-order #relational #semantics: Relational semantics for effect-based program transformations: higher-order store (NB, AK, LB, MH), pp. 301–312.
GTTSE-2009-DinizC #architecture #configuration management #embedded: Code Transformations for Embedded Reconfigurable Computing Architectures (PCD, JMPC), pp. 322–344.
ASPLOS-2009-AleenC #analysis #commutative #parallel: Commutativity analysis for software parallelization: letting program transformations see the big picture (FA, NC), pp. 241–252.
SCAM-2008-CeccatoDT #legacy #using: Using Program Transformations to Add Structure to a Legacy Data Model (MC, TRD, PT), pp. 197–206.
SEKE-2008-Fuad #architecture #distributed #self: Code Transformation Techniques and Management Architecture for Self-manageable Distributed Applications (MMF), pp. 315–320.
MoDELS-2008-RobbesL: Example-Based Program Transformation (RR, ML), pp. 174–188.
MoDELS-2008-RobbesL: Example-Based Program Transformation (RR, ML), pp. 174–188.
ECOOP-2008-SevcikA #java #memory management #on the: On Validity of Program Transformations in the Java Memory Model (JS, DA), pp. 27–51.
TOOLS-EUROPE-2008-CohenGM #using: Guarded Program Transformations Using JTL (TC, JYG, IM), pp. 100–120.
ICLP-2008-GuzmanCH #execution #sketching: A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 795–800.
WCRE-J-2005-AkersBMEL07 #automation #c++ #case study #component #modelling #re-engineering: Case study: Re-engineering C++ component models via automatic program transformation (RLA, IDB, MM, BJE, KRL), pp. 275–291.
LOPSTR-2007-WeertSD: Aggregates for CHR through Program Transformation (PVW, JS, BD), pp. 59–73.
PPDP-2007-BentonKBH #relational #semantics: Relational semantics for effect-based program transformations with dynamic allocation (NB, AK, LB, MH), pp. 87–96.
SAC-2007-Varma #program analysis #recognition: Generalizing recognition of an individual dialect in program analysis and transformation (PV), pp. 1432–1439.
LDTA-J-2005-WaddingtonY #c #c++: High-fidelity C/C++ code transformation (DGW, BY), pp. 64–78.
DATE-2007-KraemerLAM #interactive #parallel #source code #using: Interactive presentation: SoftSIMD — exploiting subword parallelism using source code transformations (SK, RL, GA, HM), pp. 1349–1354.
TACAS-2007-AnandOH #analysis #execution #symbolic computation: Type-Dependence Analysis and Program Transformation for Symbolic Execution (SA, AO, MJH), pp. 117–133.
ICLP-2007-PettorossiPS #automation #correctness #logic programming #proving: Automatic Correctness Proofs for Logic Program Transformations (AP, MP, VS), pp. 364–379.
ICLP-2007-RochaSL #on the #prolog: On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog (RR, CS, RL), pp. 444–445.
ICSM-2006-YaoMKB #automation #c #metaprogramming #source code: C Macro Handling in Automated Source Code Transformation Systems (BY, WM, SK, RB), pp. 68–69.
RTA-2006-ChibaA #named #term rewriting: RAPT: A Program Transformation System Based on Term Rewriting (YC, TA), pp. 267–276.
LOPSTR-2006-BrasselFH #functional #logic: A Program Transformation for Tracing Functional Logic Computations (BB, SF, FH), pp. 160–176.
PEPM-2006-LucaAAK: Program transformation by solving recurrences (BL, SA, HA, SCK), pp. 121–129.
GPCE-2006-TilevichS: Transparent program transformations in the presence of opaque code (ET, YS), pp. 89–94.
ASPLOS-2006-SchuchmanV #architecture #quantum: A program transformation and architecture support for quantum uncomputation (ES, TNV), pp. 252–263.
PASTE-2005-Myers #distributed #program analysis: Making distributed systems secure with program analysis and transformation (ACM), p. 47.
WCRE-2005-AkersBMEL #automation #c++ #component #modelling #re-engineering: Reengineering C++ Component Models via Automatic Program Transformation (RLA, IDB, MM, BJE, KRL), pp. 13–22.
IFL-2005-CunhaPP #framework: A Framework for Point-Free Program Transformation (AC, JSP, JP), pp. 1–18.
POPL-2005-FosterGMPS #approach #combinator #problem: Combinators for bi-directional tree transformations: a linguistic approach to the view update problem (JNF, MBG, JTM, BCP, AS), pp. 233–246.
POPL-2005-NeubauerT #multi #source code: From sequential programs to multi-tier applications by program transformation (MN, PT), pp. 221–232.
PPDP-2005-ChibaAT #term rewriting: Program transformation by templates based on term rewriting (YC, TA, YT), pp. 59–69.
GTTSE-2005-Chiba #aspect-oriented #programming: Program Transformation with Reflection and Aspect-Oriented Programming (SC), pp. 65–94.
GTTSE-2005-WinterB #using: Program Transformation Using HATS 1.84 (VLW, JB), pp. 378–396.
LDTA-2005-WaddingtonY #c #c++: High-Fidelity C/C++ Code Transformation (DGW, BY), pp. 35–56.
CC-2005-ShashidharBCJ #equivalence #source code #verification: Verification of Source Code Transformations by Program Equivalence Checking (KCS, MB, FC, GJ), pp. 221–236.
CSMR-2004-Martin #automation #generative #source code: Automated Source Code Transformations on Fourth Generation Languages (JM), pp. 214–222.
ICSM-2004-BaxterA #architecture #component #re-engineering: Component Architecture Reengineering by Program Transformation (IDB, RLA), p. 509.
IFL-2004-Cristobal-SalasCRG #message passing #source code: Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations (ACS, AC, ERA, JLG), pp. 1–16.
PEPM-2004-AkersBM #automation #c++ #component #re-engineering: Invited application paper: re-engineering C++ components via automatic program transformation (RLA, IDB, MM), pp. 51–55.
PEPM-2004-HulaasB #cpu #java: Program transformations for portable CPU accounting and control in Java (JH, WB), pp. 169–177.
PEPM-2004-PettorossiP #formal method #logic programming: A theory of totally correct logic program transformations (AP, MP), pp. 159–168.
POPL-2004-Benton #analysis #correctness #proving #relational: Simple relational correctness proofs for static analyses and program transformations (NB), pp. 14–25.
ICSE-2004-BaxterPM #evolution #scalability: DMS®: Program Transformations for Practical Scalable Software Evolution (IDB, CWP, MM), pp. 625–634.
SAC-2004-AgostaPS #architecture #design #embedded #multi #power management #source code: Multi-objective co-exploration of source code transformations and design space architectures for low-power embedded systems (GA, GP, CS), pp. 891–896.
GPCE-2004-GrayZLRWSGNSB #framework #modelling #scalability: Model-Driven Program Transformation of a Large Avionics Framework (JGG, JZ, YL, SR, HW, RS, ASG, SN, FS, TB), pp. 361–378.
DATE-DF-2004-BrandoleseFSS #analysis #energy #modelling #source code: Analysis and Modeling of Energy Reducing Source Code Transformations (CB, WF, FS, DS), pp. 306–311.
WCRE-2003-DahnM #c #source code #using: Using Program Transformation to Secure C Programs Against Buffer Overflows (CD, SM), pp. 323–333.
LOPSTR-2003-AlvesF: Linearization by Program Transformation (SA, MF), pp. 160–175.
LOPSTR-2003-Gallagher #analysis #logic programming #source code: A Program Transformation for Backwards Analysis of Logic Programs (JPG), pp. 92–105.
LOPSTR-2003-YokoyamaHT #higher-order: Deterministic Higher-Order Patterns for Program Transformation (TY, ZH, MT), pp. 128–142.
PEPM-2003-ChenX #implementation: Implementing typeful program transformations (CC, HX), pp. 20–28.
SCAM-J-2001-BartoliniP02 #embedded: A cache-aware program transformation technique suitable for embedded systems (SB, CAP), pp. 783–795.
ICGT-2002-MensDJ #behaviour #formal method: Formalising Behaviour Preserving Program Transformations (TM, SD, DJ), pp. 286–301.
LOPSTR-2002-FioravantiPP #higher-order #logic #logic programming #monad #source code: Combining Logic Programs and Monadic Second Order Logics by Program Transformation (FF, AP, MP), pp. 160–181.
LOPSTR-2002-GuoRR: Justification Based on Program Transformation (HFG, CRR, IVR), pp. 158–159.
POPL-2002-CousotC #abstract interpretation #design #framework: Systematic design of program transformation frameworks by abstract interpretation (PC, RC), pp. 178–190.
DATE-2002-LiverisZSG #performance: A Code Transformation-Based Methodology for Improving I-Cache Performance of DSP Applications (NDL, NDZ, DS, CEG), pp. 977–983.
CAV-2002-BouajjaniT: Extrapolating Tree Transformations (AB, TT), pp. 539–554.
RTA-2001-Visser #named #stratego: Stratego: A Language for Program Transformation Based on Rewriting Strategies (EV), pp. 357–362.
LOPSTR-2001-FioravantiPP #infinity #process #set #using #verification: Verification of Sets of Infinite State Processes Using Program Transformation (FF, AP, MP), pp. 111–128.
LDTA-2001-JongeVV #named #tool support: XT: a bundle of program transformation tools (MdJ, EV, JV), pp. 79–86.
CC-2001-LaceyM #imperative: Imperative Program Transformation by Rewriting (DL, OdM), pp. 52–68.
DATE-2001-CheynetNVRRV #automation #evaluation #safety: System safety through automatic high-level code transformations: an experimental evaluation (PC, BN, RV, MR, MSR, MV), pp. 297–301.
ICLP-2001-Cousot #abstract interpretation #design #semantics: Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations (PC), pp. 4–5.
WCRE-2000-Ward #assembly #reverse engineering #specification: Reverse Engineering from Assembler to Formal Specifications via Program Transformations (MPW), p. 11–?.
POPL-2000-ColcombetF: Enforcing Trace Properties by Program Transformation (TC, PF), pp. 54–66.
DATE-2000-GuptaGMC #analysis #programmable: Analysis of High-Level Address Code Transformations for Programmable Processors (SG, RKG, MM, FC), pp. 9–13.
TACAS-2000-RoychoudhuryKRRS #logic programming #using #verification: Verification of Parameterized Systems Using Logic Program Transformations (AR, KNK, CRR, IVR, SAS), pp. 172–187.
CAV-2000-NamjoshiK #abstraction #automation: Syntactic Program Transformations for Automatic Abstraction (KSN, RPK), pp. 435–449.
FLOPS-1999-MoorS #higher-order: Higher Order Matching for Program Transformation (OdM, GS), pp. 209–224.
PPDP-1999-CorrensonDPR #case study #declarative #deforestation: Declarative Program Transformation: A Deforestation Case-Study (LC, ÉD, DP, GR), pp. 360–377.
ICSM-1998-Bennett #question #reverse engineering: Do Program Transformations Help Reverse Engineering? (KHB), p. 247–?.
AFP-1998-MoorS98: Generic Program Transformation (OdM, GS), pp. 116–149.
LOPSTR-1998-AyedDFM: Mathematical Foundations for Program Transformations (RBA, JD, MF, AM), pp. 319–321.
ASPLOS-1998-GhoshMM #analysis #precise: Precise Miss Analysis for Program Transformations with Caches of Arbitrary Associativity (SG, MM, SM), pp. 228–239.
WPC-1997-YangLC #component #comprehension #identification #reuse: Code Understanding through Program Transformation for Reusable Component Identification (HY, PL, WCC), pp. 148–157.
LOPSTR-1997-BuyukyildizF #logic programming: Generalised Logic Program Transformation Schemas (HB, PF), pp. 49–68.
CC-1996-Assmann #graph grammar #how #program analysis #term rewriting: How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems (UA), pp. 121–135.
TAPSOFT-J-1995-Sands96 #automation #correctness #proving #recursion: Proving the Correctness of Recursion-Based Automatic Program Transformations (DS), pp. 193–233.
ESOP-1996-Jones96a #compilation #haskell: Compiling Haskell by Program Transformation: A Report from the Trenches (SLPJ), pp. 18–44.
RTA-1995-Bellegarde #automation #named #towards: ASTRE: Towards a Fully Automated Program Transformation System (FB), pp. 403–407.
LOPSTR-1995-FlenerD #logic programming: Logic Program Transformation through Generalization Schemata (PF, YD), pp. 171–173.
LOPSTR-1995-Gluck #on the: On the Mechanics of Metasystem Hierarchies in Program Transformation (RG), pp. 234–251.
LOPSTR-1995-ToniK #approach #logic programming: An Argumentation-Theoretic Approach to Logic Program Transformation (FT, RAK), pp. 61–75.
LOPSTR-1995-WaalT #deduction #problem #program analysis #using: Solving Deductive Planning Problems Using Program Analysis and Transformation (DAdW, MT), pp. 189–203.
POPL-1995-Sands #correctness: Total Correctness by Local Improvement in Program Transformation (DS), pp. 221–232.
KBSE-1995-Liu #incremental #interactive #named #source code: CACHET: An Interactive, Incremental-Attribution-Based Program Transformation System for Deriving Incremental Programs (YAL), pp. 19–26.
ASF+SDF-1995-BrandEGMOP #asf+sdf #using: Program Transformations using ASF+SDF (MvdB, SME, DKAG, HM, MJFP, HRO), pp. 29–52.
PDP-1995-Kessler #automation #parallel: Pattern-driven automatic program transformation and parallelization (CWK), pp. 76–83.
TAPSOFT-1995-Sands #automation #correctness #proving #recursion: Proving the Correctness of Recursion-Based Automatic Program Transformations (DS), pp. 681–695.
ILPS-1995-LauOPP #correctness #logic programming #termination: Correctness of Logic Program Transformations Based on Existential Termination (KKL, MO, AP, MP), pp. 480–494.
CAiSE-1994-SheuY #knowledge-based: A Knowledge-based Program Transformation System (PCYS, SBY), pp. 228–241.
SEKE-1994-SheuY #deduction: A deductive program transformation system (PCYS, SBY), pp. 524–531.
ALP-1994-Paige: Viewing A program Transformation System At Work (RP), p. 5.
LOPSTR-1994-BoulangerB #analysis #logic programming #using: Using Call/Exit Analysis for Logic Program Transformation (DB, MB), pp. 36–50.
PLILP-1994-HundehegeLX #hybrid #memory management #optimisation #runtime #semantics: Semantic-Based Static Program Transformations for Memory Space and Run Time Optimization in Hybrid Languages (JBH, WML, UX), pp. 453–454.
PLILP-1994-Paige: Viewing A Program Transformation System At Work (RP), pp. 5–24.
SAC-1994-GallK #reuse: Program transformation to enhance the reuse potential of procedural software (HG, RK), pp. 99–104.
HPDC-1994-LiHW #performance #program analysis: Program Analysis and Transformations for Fast Data Sharing (AL, GH, LDW), pp. 131–138.
PDP-1994-Dezan #array #generative: Generating Regular Arrays By Program Transformations (CD), pp. 175–179.
CADE-1994-WaalG #logic programming #program analysis #proving #theorem proving: The Applicability of Logic Program Analysis and Transformation to Theorem Proving (DAdW, JPG), pp. 207–221.
ICLP-1994-AzevedoS: Recomputation-Free Lemmatization by Program Transformation (PJdSA, MJS), pp. 739–740.
ICLP-1994-Stuber #modelling: Computing Stable Models by Program Transformation (JS), pp. 58–73.
ILPS-1994-DebrayJ #parallel: A Simple Program Transformation for Parallelism (SKD, MJ), pp. 305–319.
WCRE-1993-WardB #reverse engineering: A Practical Program Transformation System for Reverse Engineering (MW, KB), pp. 212–221.
SEKE-1993-WillisP #machine learning #reuse: Machine Learning for Program Transformations in Software Reuse (CPW, DJP), pp. 275–277.
SAC-1993-Kim #problem #set: Program Transformation for the Longest Upsequence Set Problem (HK), pp. 609–613.
PDP-1993-SharpC #algorithm #fourier #functional #performance #synthesis: Synthesis of the fast Fourier transform algorithm by functional language program transformation (DWNS, MC), pp. 136–143.
CSL-1993-SiegW #proving: Program Transformation and Proof Transformation (WS, SSW), pp. 305–317.
PEPM-1992-Bsaies #framework #logic programming #synthesis: A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties (KB), pp. 108–115.
PEPM-1992-Burton: Program Transformation by Derivor Manipulations (CTPB), pp. 90–97.
WSA-1992-Araragi #reasoning: Program Transformation in a Nonmonotonic Reasoning System (TA), pp. 135–143.
STOC-1992-KedemPRR #parallel #performance: Efficient Program Transformations for Resilient Parallel Computation via Randomization (ZMK, KVP, MOR, AR), pp. 306–317.
RTA-1991-Bellegarde: Program Transformation and Rewriting (FB), pp. 226–239.
LOPSTR-1991-Ameur #evaluation #functional: Program Transformations Directed by the Evaluation of non Functional Properties (YAA), pp. 297–299.
LOPSTR-1991-ParrainDL #prolog: Prolog Program Transformations and Meta-Interpreters (AP, PD, PL), pp. 238–251.
PEPM-1991-AriolaA #approach: A Syntactic Approach to Program Transformations (ZMA, A), pp. 116–129.
PEPM-1991-MasonT #component #configuration management: Program Transformations for Configuring Components (IAM, CLT), pp. 297–308.
WSA-1991-EchahedJPS #case study #comparative #equation: Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation (RE, PJ, MLP, SS), pp. 53–61.
PPoPP-1991-YangC #metalanguage #using: Parallel-Program Transformation Using A Metalanguage (JAY, YiC), pp. 11–20.
ISLP-1991-Nakayama #principle #proving: Program Transformation under the Principle of Proof as Program (HN), pp. 626–640.
PODS-1990-Saraiya #database #deduction #polynomial: Polynomial-Time Program Transformations in Deductive Databases (YPS), pp. 132–144.
POPL-1990-AikenWW #fault: Program Transformation in the Presence of Errors (AA, JHW, ELW), pp. 210–217.
WAGA-1990-FengKT #attribute grammar #incremental #multi: Incremental Attribute Evaluation for Multiple Subtree Replacements in Structure-Oriented Environments (AF, TK, KT), pp. 192–206.
WAGA-1990-VogtBF #agile #attribute grammar #development #dynamic transformation: Rapid Development of a Program Transformation System with Attribute Grammars and Dynamic Transformations (HV, AvdB, AF), pp. 101–115.
WAGA-1990-Wilhelm #attribute grammar #functional: Tree Transformations, Functional Languages, and Attribute Grammars (RW), pp. 116–129.
ESOP-1990-SteffenKR #graph #representation: The Value Flow Graph: A Program Representation for Optimal Program Transformations (BS, JK, OR), pp. 389–405.
PODS-1989-RamakrishnanSUV #theorem: Proof-Tree Transformation Theorems and Their Applications (RR, YS, JDU, MYV), pp. 172–181.
POPL-1989-KelseyH #compilation: Realistic Compilation by Program Transformation (RK, PH), pp. 281–292.
ICSE-1989-CarleP #composition #incremental #specification: Modular Specification of Incremental Program Transformation Systems (AC, LLP), pp. 178–187.
TAV-1989-KotikM #analysis #automation #testing #using: Automating Software Analysis and Testing Using a Program Transformation System (GK, LM), pp. 75–84.
PLILP-1988-SchreyeB #abstract interpretation: An Application of Abstract Interpretation in Source Level Program Transformation (DDS, MB), pp. 35–57.
CCHSC-1988-Alblas: Attributed Tree Transformations with Delayed and Smart Re-Evaluation (HA), pp. 160–174.
CCHSC-1988-LippsMW #case study #experience #named #overview #specification: OPTRAN — A Language/System for the Specification of Program Transformations: System Overview and Experiences (PL, UM, RW), pp. 52–65.
ESOP-1988-Heckmann #functional #specification: A Functional Language for the Specification of Complex Tree Transformations (RH), pp. 175–190.
ESOP-1988-Heckmann88a #functional #specification: A Functional Language for the Specification of Complex Tree Transformations (RH), p. 380.
CADE-1988-ButlerLO #automaton #compilation #performance #prolog: Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine (RB, RL, RO), pp. 323–332.
AS-1985-Backus #optimisation #semantics: From Function Level Semantics to Program Transformation and Optimization (JWB), pp. 60–91.
LFP-1984-GivlerK #recognition: Schema Recognition for Program Transformations (JSG, RBK), pp. 74–84.
SCC-1984-KellerPPM #case study #experience: Tree transformation techniques and experiences (SEK, JAP, TFP, SPM), pp. 190–201.
ILPC-1982-Skuce82 #automation #development #generative: Module Development Based on Program Transformation and Automatic Generation of the Input-output Relation (DRS), pp. 116–122.
STOC-1977-ODonnell #combinator #equation #lisp #logic #recursion: Subtree Replacement Systems: A Unifying Theory for Recursive Equations, LISP, Lucid and Combinatory Logic (MO), pp. 295–305.
POPL-1976-BoyerMS #recursion: Primitive Recursive Program Transformations (RSB, JSM, RES), pp. 171–174.
POPL-1976-Wegbreit: Goal-Directed Program Transformation (BW), pp. 153–170.
POPL-1975-Gerhart: Correctness-Preserving Program Transformations (SLG), pp. 54–66.