BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
program transformation
Google program transformation

Tag #program transformation

207 papers:

CCCC-2020-DaviesK
Postcondition-preserving fusion of postorder tree transformations (ED, SK), pp. 191–200.
ECOOPECOOP-2019-KangTLMJ0 #case study #experience #java #semantics
Semantic Patches for Java Program Transformation (Experience Report) (HJK, FT, JL, GM, LJ, DL0), p. 27.
PLATEAUPLATEAU-2019-LubinC #functional
Type-Directed Program Transformations for the Working Functional Programmer (JL, RC), p. 12.
PPDPPPDP-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.
ASEASE-2019-JiangRXZ
Inferring Program Transformations From Singular Examples via Big Code (JJ, LR, YX, LZ), pp. 255–266.
ASEASE-2019-WuZ0TZ #automation
Automating CUDA Synchronization via Program Transformation (MW, LZ, CL0, SHT, YZ), pp. 748–759.
ASPLOSASPLOS-2019-BhatKBG #named
ProbeGuard: Mitigating Probing Attacks Through Reactive Program Transformations (KB, EvdK, HB, CG), pp. 545–558.
ESOPESOP-2019-GiarrussoRS #incremental #λ-calculus
Incremental λ-Calculus in Cache-Transfer Style - Static Memoization by Program Transformation (PGG, YRG, PS), pp. 553–580.
ICSMEICSME-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.
SANERSANER-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.
ECOOPECOOP-2018-ChenHZHK0 #execution #learning #symbolic computation
Learning to Accelerate Symbolic Execution via Code Transformation (JC0, WH, LZ, DH, SK, LZ0), p. 27.
OOPSLAOOPSLA-2018-WongMLK #bytecode #execution #performance
Faster variational execution with transparent bytecode transformation (CPW, JM, LL, CK), p. 30.
SASSAS-2018-NamjoshiP #program analysis
The Impact of Program Transformations on Static Program Analysis (KSN, ZP), pp. 306–325.
PEPMPEPM-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.
PLDIPLDI-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.
FMFM-2016-LahavV #memory management #modelling
Explaining Relaxed Memory Models with Program Transformations (OL, VV), pp. 479–495.
ICSMEICSME-2015-SantosAEDV #source code
System specific, source code transformations (GS, NA, AE, SD, MTV), pp. 221–230.
SCAMSCAM-2015-SantosEADV #game studies #source code
Recording and replaying system specific, source code transformations (GS, AE, NA, SD, MTV), pp. 221–230.
ICEISICEIS-v1-2015-AyadiHAF
Decision Tree Transformation for Knowledge Warehousing (RA, YH, SA, JF), pp. 616–623.
PADLPADL-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-FSEESEC-FSE-2015-Cadar #execution #symbolic computation
Targeted program transformations for symbolic execution (CC), pp. 906–909.
SLESLE-2015-RitschelE #composition
Modular capture avoidance for program transformations (NR, SE), pp. 59–70.
TACASTACAS-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.
ICLPICLP-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.
SCAMSCAM-2014-RooverI
The Ekeko/X Program Transformation Tool (CDR, KI), pp. 53–58.
ICMTICMT-2014-InostrozaSE #string
Tracing Program Transformations with String Origins (PI, TvdS, SE), pp. 154–169.
ECOOPECOOP-2014-ErdwegSD
Capture-Avoiding and Hygienic Program Transformations (SE, TvdS, YD), pp. 489–514.
LOPSTRLOPSTR-2014-CornishGNSSS #array #source code
Analyzing Array Manipulating Programs by Program Transformation (JRMC, GG, JAN, PS, HS, PJS), pp. 3–20.
ISSTAISSTA-2014-BaudryAM #source code
Tailored source code transformations to synthesize computationally diverse program variants (BB, SA, MM), pp. 149–159.
SEFMSEFM-2013-JiHB #deduction #execution #symbolic computation
Program Transformation Based on Symbolic Execution and Deduction (RJ, RH, RB), pp. 289–304.
PEPMPEPM-2013-CarbinKMR #approximate
Verified integrity properties for safe approximate program transformations (MC, DK, SM, MCR), pp. 63–66.
SASSAS-2013-NamjoshiZ
Witnessing Program Transformations (KSN, LDZ), pp. 304–323.
ICSEICSE-2013-CokerH #c #integer
Program transformations to fix C integers (ZC, MH), pp. 792–801.
ICSEICSE-2013-JacobellisMK #named
LASE: an example-based program transformation tool for locating and applying systematic edits (JJ, NM, MK), pp. 1319–1322.
ICSEICSE-2013-LeeCJ #performance #refactoring
Drag-and-drop refactoring: intuitive and efficient program transformation (YYL, NC, REJ), pp. 23–32.
ESOPESOP-2013-AlglaveKNT #memory management #verification
Software Verification for Weak Memory via Program Transformation (JA, DK, VN, MT), pp. 512–532.
SCAMSCAM-2012-WilcoxSB #optimisation
Optimizing Expression Selection for Lookup Table Program Transformation (CW, MMS, JMB), pp. 84–93.
IFLIFL-2012-SculthorpeFG #haskell
The HERMIT in the Tree — Mechanizing Program Transformations in the GHC Core Language (NS, AF, AG), pp. 86–103.
LOPSTRLOPSTR-2012-SeghirB #array #quantifier #verification
Simplifying the Verification of Quantified Array Assertions via Code Transformation (MNS, MB), pp. 194–212.
LOPSTRLOPSTR-2012-Seki #logic programming #proving #source code
Proving Properties of Co-logic Programs with Negation by Program Transformations (HS), pp. 213–227.
PADLPADL-2012-HaveC #performance #using
Efficient Tabling of Structured Data Using Indexing and Program Transformation (CTH, HC), pp. 93–107.
POPLPOPL-2012-LiangFF #concurrent #simulation #verification
A rely-guarantee-based simulation for verifying concurrent program transformations (HL, XF, MF), pp. 455–468.
POPLPOPL-2012-ZhaoNMZ #formal method #representation
Formalizing the LLVM intermediate representation for verified program transformations (JZ, SN, MMKM, SZ), pp. 427–440.
POPLPOPL-2012-ZhuMKR #approximate #performance #random
Randomized accuracy-aware program transformations for efficient approximate computations (ZAZ, SM, JAK, MCR), pp. 441–454.
IJCARIJCAR-2012-RauSS #correctness #problem #termination
Correctness of Program Transformations as a Termination Problem (CR, DS, MSS), pp. 462–476.
WCREWCRE-2011-Mintchev #integration #legacy
Renovation by Machine-Assisted Program Transformation in Production Reporting and Integration (SM), pp. 406–410.
ICFPICFP-2011-ThamsborgB #logic
A kripke logical relation for effect-based program transformations (JT, LB), pp. 445–456.
PEPMPEPM-2011-Caballero #functional #logic programming #source code
A program transformation for returning states in functional-logic programs (RC), pp. 111–120.
PEPMPEPM-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.
PLDIPLDI-2011-MengKM #editing #generative
Systematic editing: generating program transformations from an example (NM, MK, KSM), pp. 329–342.
SASSAS-2011-MisailovicRR
Probabilistically Accurate Program Transformations (SM, DMR, MCR), pp. 316–333.
ESEC-FSEESEC-FSE-2011-MengKM #named
Sydit: creating and applying a program transformation from an example (NM, MK, KSM), pp. 440–443.
DATEDATE-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.
LICSLICS-2011-Miquel
Forcing as a Program Transformation (AM), pp. 197–206.
ICSMEICSM-2010-Cleve #data-driven #evolution #program analysis
Program analysis and transformation for data-intensive system evolution (AC), pp. 1–6.
PADLPADL-2010-AgarwalBGG #automation
Automating Mathematical Program Transformations (AA, SB, AGG, IEG), pp. 134–148.
LDTALDTA-2010-HoldermansH #on the #type system
On the rôle of minimal typing derivations in type-driven program transformation (SH, JH), p. 2.
OOPSLAOOPSLA-2009-SongT #programming #tool support
Enhancing source-level programming tools with an awareness of transparent program transformations (MS, ET), pp. 301–320.
LOPSTRLOPSTR-2009-PettorossiPS #branch #logic
Deciding Full Branching Time Logic by Program Transformation (AP, MP, VS), pp. 5–21.
PADLPADL-2009-GuzmanCH #execution #towards
Towards a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 224–238.
PEPMPEPM-2009-Martel #precise
Program transformation for numerical precision (MM), pp. 101–110.
PPDPPPDP-2009-BentonKBH #higher-order #relational #semantics
Relational semantics for effect-based program transformations: higher-order store (NB, AK, LB, MH), pp. 301–312.
GTTSEGTTSE-2009-DinizC #architecture #configuration management #embedded
Code Transformations for Embedded Reconfigurable Computing Architectures (PCD, JMPC), pp. 322–344.
ASPLOSASPLOS-2009-AleenC #analysis #commutative #parallel
Commutativity analysis for software parallelization: letting program transformations see the big picture (FA, NC), pp. 241–252.
SCAMSCAM-2008-CeccatoDT #legacy #using
Using Program Transformations to Add Structure to a Legacy Data Model (MC, TRD, PT), pp. 197–206.
SEKESEKE-2008-Fuad #architecture #distributed #self
Code Transformation Techniques and Management Architecture for Self-manageable Distributed Applications (MMF), pp. 315–320.
MODELSMoDELS-2008-RobbesL
Example-Based Program Transformation (RR, ML), pp. 174–188.
MODELSMoDELS-2008-RobbesL
Example-Based Program Transformation (RR, ML), pp. 174–188.
ECOOPECOOP-2008-SevcikA #java #memory management #on the
On Validity of Program Transformations in the Java Memory Model (JS, DA), pp. 27–51.
TOOLSTOOLS-EUROPE-2008-CohenGM #using
Guarded Program Transformations Using JTL (TC, JYG, IM), pp. 100–120.
ICLPICLP-2008-GuzmanCH #execution #sketching
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 795–800.
WCREWCRE-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.
LOPSTRLOPSTR-2007-WeertSD
Aggregates for CHR through Program Transformation (PVW, JS, BD), pp. 59–73.
PPDPPPDP-2007-BentonKBH #relational #semantics
Relational semantics for effect-based program transformations with dynamic allocation (NB, AK, LB, MH), pp. 87–96.
SACSAC-2007-Varma #program analysis #recognition
Generalizing recognition of an individual dialect in program analysis and transformation (PV), pp. 1432–1439.
LDTALDTA-J-2005-WaddingtonY #c #c++
High-fidelity C/C++ code transformation (DGW, BY), pp. 64–78.
DATEDATE-2007-KraemerLAM #interactive #parallel #source code #using
Interactive presentation: SoftSIMD — exploiting subword parallelism using source code transformations (SK, RL, GA, HM), pp. 1349–1354.
TACASTACAS-2007-AnandOH #analysis #execution #symbolic computation
Type-Dependence Analysis and Program Transformation for Symbolic Execution (SA, AO, MJH), pp. 117–133.
ICLPICLP-2007-PettorossiPS #automation #correctness #logic programming #proving
Automatic Correctness Proofs for Logic Program Transformations (AP, MP, VS), pp. 364–379.
ICLPICLP-2007-RochaSL #on the #prolog
On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog (RR, CS, RL), pp. 444–445.
ICSMEICSM-2006-YaoMKB #automation #c #metaprogramming #source code
C Macro Handling in Automated Source Code Transformation Systems (BY, WM, SK, RB), pp. 68–69.
RTARTA-2006-ChibaA #named #term rewriting
RAPT: A Program Transformation System Based on Term Rewriting (YC, TA), pp. 267–276.
LOPSTRLOPSTR-2006-BrasselFH #functional #logic
A Program Transformation for Tracing Functional Logic Computations (BB, SF, FH), pp. 160–176.
PEPMPEPM-2006-LucaAAK
Program transformation by solving recurrences (BL, SA, HA, SCK), pp. 121–129.
GPCEGPCE-2006-TilevichS
Transparent program transformations in the presence of opaque code (ET, YS), pp. 89–94.
ASPLOSASPLOS-2006-SchuchmanV #architecture #quantum
A program transformation and architecture support for quantum uncomputation (ES, TNV), pp. 252–263.
PASTEPASTE-2005-Myers #distributed #program analysis
Making distributed systems secure with program analysis and transformation (ACM), p. 47.
WCREWCRE-2005-AkersBMEL #automation #c++ #component #modelling #re-engineering
Reengineering C++ Component Models via Automatic Program Transformation (RLA, IDB, MM, BJE, KRL), pp. 13–22.
IFLIFL-2005-CunhaPP #framework
A Framework for Point-Free Program Transformation (AC, JSP, JP), pp. 1–18.
POPLPOPL-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.
POPLPOPL-2005-NeubauerT #multi #source code
From sequential programs to multi-tier applications by program transformation (MN, PT), pp. 221–232.
PPDPPPDP-2005-ChibaAT #term rewriting
Program transformation by templates based on term rewriting (YC, TA, YT), pp. 59–69.
GTTSEGTTSE-2005-Chiba #aspect-oriented #programming
Program Transformation with Reflection and Aspect-Oriented Programming (SC), pp. 65–94.
GTTSEGTTSE-2005-WinterB #using
Program Transformation Using HATS 1.84 (VLW, JB), pp. 378–396.
LDTALDTA-2005-WaddingtonY #c #c++
High-Fidelity C/C++ Code Transformation (DGW, BY), pp. 35–56.
CCCC-2005-ShashidharBCJ #equivalence #source code #verification
Verification of Source Code Transformations by Program Equivalence Checking (KCS, MB, FC, GJ), pp. 221–236.
CSMRCSMR-2004-Martin #automation #generative #source code
Automated Source Code Transformations on Fourth Generation Languages (JM), pp. 214–222.
ICSMEICSM-2004-BaxterA #architecture #component #re-engineering
Component Architecture Reengineering by Program Transformation (IDB, RLA), p. 509.
IFLIFL-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.
PEPMPEPM-2004-AkersBM #automation #c++ #component #re-engineering
Invited application paper: re-engineering C++ components via automatic program transformation (RLA, IDB, MM), pp. 51–55.
PEPMPEPM-2004-HulaasB #cpu #java
Program transformations for portable CPU accounting and control in Java (JH, WB), pp. 169–177.
PEPMPEPM-2004-PettorossiP #formal method #logic programming
A theory of totally correct logic program transformations (AP, MP), pp. 159–168.
POPLPOPL-2004-Benton #analysis #correctness #proving #relational
Simple relational correctness proofs for static analyses and program transformations (NB), pp. 14–25.
ICSEICSE-2004-BaxterPM #evolution #scalability
DMS®: Program Transformations for Practical Scalable Software Evolution (IDB, CWP, MM), pp. 625–634.
SACSAC-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.
GPCEGPCE-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.
DATEDATE-DF-2004-BrandoleseFSS #analysis #energy #modelling #source code
Analysis and Modeling of Energy Reducing Source Code Transformations (CB, WF, FS, DS), pp. 306–311.
WCREWCRE-2003-DahnM #c #source code #using
Using Program Transformation to Secure C Programs Against Buffer Overflows (CD, SM), pp. 323–333.
LOPSTRLOPSTR-2003-AlvesF
Linearization by Program Transformation (SA, MF), pp. 160–175.
LOPSTRLOPSTR-2003-Gallagher #analysis #logic programming #source code
A Program Transformation for Backwards Analysis of Logic Programs (JPG), pp. 92–105.
LOPSTRLOPSTR-2003-YokoyamaHT #higher-order
Deterministic Higher-Order Patterns for Program Transformation (TY, ZH, MT), pp. 128–142.
PEPMPEPM-2003-ChenX #implementation
Implementing typeful program transformations (CC, HX), pp. 20–28.
SCAMSCAM-J-2001-BartoliniP02 #embedded
A cache-aware program transformation technique suitable for embedded systems (SB, CAP), pp. 783–795.
ICGTICGT-2002-MensDJ #behaviour #formal method
Formalising Behaviour Preserving Program Transformations (TM, SD, DJ), pp. 286–301.
LOPSTRLOPSTR-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.
LOPSTRLOPSTR-2002-GuoRR
Justification Based on Program Transformation (HFG, CRR, IVR), pp. 158–159.
POPLPOPL-2002-CousotC #abstract interpretation #design #framework
Systematic design of program transformation frameworks by abstract interpretation (PC, RC), pp. 178–190.
DATEDATE-2002-LiverisZSG #performance
A Code Transformation-Based Methodology for Improving I-Cache Performance of DSP Applications (NDL, NDZ, DS, CEG), pp. 977–983.
CAVCAV-2002-BouajjaniT
Extrapolating Tree Transformations (AB, TT), pp. 539–554.
RTARTA-2001-Visser #named #stratego
Stratego: A Language for Program Transformation Based on Rewriting Strategies (EV), pp. 357–362.
LOPSTRLOPSTR-2001-FioravantiPP #infinity #process #set #using #verification
Verification of Sets of Infinite State Processes Using Program Transformation (FF, AP, MP), pp. 111–128.
LDTALDTA-2001-JongeVV #named #tool support
XT: a bundle of program transformation tools (MdJ, EV, JV), pp. 79–86.
CCCC-2001-LaceyM #imperative
Imperative Program Transformation by Rewriting (DL, OdM), pp. 52–68.
DATEDATE-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.
ICLPICLP-2001-Cousot #abstract interpretation #design #semantics
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations (PC), pp. 4–5.
WCREWCRE-2000-Ward #assembly #reverse engineering #specification
Reverse Engineering from Assembler to Formal Specifications via Program Transformations (MPW), p. 11–?.
POPLPOPL-2000-ColcombetF
Enforcing Trace Properties by Program Transformation (TC, PF), pp. 54–66.
DATEDATE-2000-GuptaGMC #analysis #programmable
Analysis of High-Level Address Code Transformations for Programmable Processors (SG, RKG, MM, FC), pp. 9–13.
TACASTACAS-2000-RoychoudhuryKRRS #logic programming #using #verification
Verification of Parameterized Systems Using Logic Program Transformations (AR, KNK, CRR, IVR, SAS), pp. 172–187.
CAVCAV-2000-NamjoshiK #abstraction #automation
Syntactic Program Transformations for Automatic Abstraction (KSN, RPK), pp. 435–449.
FLOPSFLOPS-1999-MoorS #higher-order
Higher Order Matching for Program Transformation (OdM, GS), pp. 209–224.
PPDPPPDP-1999-CorrensonDPR #case study #declarative #deforestation
Declarative Program Transformation: A Deforestation Case-Study (LC, ÉD, DP, GR), pp. 360–377.
ICSMEICSM-1998-Bennett #question #reverse engineering
Do Program Transformations Help Reverse Engineering? (KHB), p. 247–?.
AFPAFP-1998-MoorS98
Generic Program Transformation (OdM, GS), pp. 116–149.
LOPSTRLOPSTR-1998-AyedDFM
Mathematical Foundations for Program Transformations (RBA, JD, MF, AM), pp. 319–321.
ASPLOSASPLOS-1998-GhoshMM #analysis #precise
Precise Miss Analysis for Program Transformations with Caches of Arbitrary Associativity (SG, MM, SM), pp. 228–239.
WPCWPC-1997-YangLC #component #comprehension #identification #reuse
Code Understanding through Program Transformation for Reusable Component Identification (HY, PL, WCC), pp. 148–157.
LOPSTRLOPSTR-1997-BuyukyildizF #logic programming
Generalised Logic Program Transformation Schemas (HB, PF), pp. 49–68.
CCCC-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.
TAPSOFTTAPSOFT-J-1995-Sands96 #automation #correctness #proving #recursion
Proving the Correctness of Recursion-Based Automatic Program Transformations (DS), pp. 193–233.
ESOPESOP-1996-Jones96a #compilation #haskell
Compiling Haskell by Program Transformation: A Report from the Trenches (SLPJ), pp. 18–44.
RTARTA-1995-Bellegarde #automation #named #towards
ASTRE: Towards a Fully Automated Program Transformation System (FB), pp. 403–407.
LOPSTRLOPSTR-1995-FlenerD #logic programming
Logic Program Transformation through Generalization Schemata (PF, YD), pp. 171–173.
LOPSTRLOPSTR-1995-Gluck #on the
On the Mechanics of Metasystem Hierarchies in Program Transformation (RG), pp. 234–251.
LOPSTRLOPSTR-1995-ToniK #approach #logic programming
An Argumentation-Theoretic Approach to Logic Program Transformation (FT, RAK), pp. 61–75.
LOPSTRLOPSTR-1995-WaalT #deduction #problem #program analysis #using
Solving Deductive Planning Problems Using Program Analysis and Transformation (DAdW, MT), pp. 189–203.
POPLPOPL-1995-Sands #correctness
Total Correctness by Local Improvement in Program Transformation (DS), pp. 221–232.
ASEKBSE-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+SDFASF+SDF-1995-BrandEGMOP #asf+sdf #using
Program Transformations using ASF+SDF (MvdB, SME, DKAG, HM, MJFP, HRO), pp. 29–52.
PDPPDP-1995-Kessler #automation #parallel
Pattern-driven automatic program transformation and parallelization (CWK), pp. 76–83.
TAPSOFTTAPSOFT-1995-Sands #automation #correctness #proving #recursion
Proving the Correctness of Recursion-Based Automatic Program Transformations (DS), pp. 681–695.
ICLPILPS-1995-LauOPP #correctness #logic programming #termination
Correctness of Logic Program Transformations Based on Existential Termination (KKL, MO, AP, MP), pp. 480–494.
CAiSECAiSE-1994-SheuY #knowledge-based
A Knowledge-based Program Transformation System (PCYS, SBY), pp. 228–241.
SEKESEKE-1994-SheuY #deduction
A deductive program transformation system (PCYS, SBY), pp. 524–531.
PPDPALP-1994-Paige
Viewing A program Transformation System At Work (RP), p. 5.
LOPSTRLOPSTR-1994-BoulangerB #analysis #logic programming #using
Using Call/Exit Analysis for Logic Program Transformation (DB, MB), pp. 36–50.
PPDPPLILP-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.
PPDPPLILP-1994-Paige
Viewing A Program Transformation System At Work (RP), pp. 5–24.
SACSAC-1994-GallK #reuse
Program transformation to enhance the reuse potential of procedural software (HG, RK), pp. 99–104.
HPDCHPDC-1994-LiHW #performance #program analysis
Program Analysis and Transformations for Fast Data Sharing (AL, GH, LDW), pp. 131–138.
PDPPDP-1994-Dezan #array #generative
Generating Regular Arrays By Program Transformations (CD), pp. 175–179.
CADECADE-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.
ICLPICLP-1994-AzevedoS
Recomputation-Free Lemmatization by Program Transformation (PJdSA, MJS), pp. 739–740.
ICLPICLP-1994-Stuber #modelling
Computing Stable Models by Program Transformation (JS), pp. 58–73.
ICLPILPS-1994-DebrayJ #parallel
A Simple Program Transformation for Parallelism (SKD, MJ), pp. 305–319.
WCREWCRE-1993-WardB #reverse engineering
A Practical Program Transformation System for Reverse Engineering (MW, KB), pp. 212–221.
SEKESEKE-1993-WillisP #machine learning #reuse
Machine Learning for Program Transformations in Software Reuse (CPW, DJP), pp. 275–277.
SACSAC-1993-Kim #problem #set
Program Transformation for the Longest Upsequence Set Problem (HK), pp. 609–613.
PDPPDP-1993-SharpC #algorithm #fourier #functional #performance #synthesis
Synthesis of the fast Fourier transform algorithm by functional language program transformation (DWNS, MC), pp. 136–143.
CSLCSL-1993-SiegW #proving
Program Transformation and Proof Transformation (WS, SSW), pp. 305–317.
PEPMPEPM-1992-Bsaies #framework #logic programming #synthesis
A Framework for Mechanizing Logic Program Transformation: The Synthesis of Eureka-Properties (KB), pp. 108–115.
PEPMPEPM-1992-Burton
Program Transformation by Derivor Manipulations (CTPB), pp. 90–97.
SASWSA-1992-Araragi #reasoning
Program Transformation in a Nonmonotonic Reasoning System (TA), pp. 135–143.
STOCSTOC-1992-KedemPRR #parallel #performance
Efficient Program Transformations for Resilient Parallel Computation via Randomization (ZMK, KVP, MOR, AR), pp. 306–317.
RTARTA-1991-Bellegarde
Program Transformation and Rewriting (FB), pp. 226–239.
LOPSTRLOPSTR-1991-Ameur #evaluation #functional
Program Transformations Directed by the Evaluation of non Functional Properties (YAA), pp. 297–299.
LOPSTRLOPSTR-1991-ParrainDL #prolog
Prolog Program Transformations and Meta-Interpreters (AP, PD, PL), pp. 238–251.
PEPMPEPM-1991-AriolaA #approach
A Syntactic Approach to Program Transformations (ZMA, A), pp. 116–129.
PEPMPEPM-1991-MasonT #component #configuration management
Program Transformations for Configuring Components (IAM, CLT), pp. 297–308.
SASWSA-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.
PPoPPPPoPP-1991-YangC #metalanguage #using
Parallel-Program Transformation Using A Metalanguage (JAY, YiC), pp. 11–20.
ICLPISLP-1991-Nakayama #principle #proving
Program Transformation under the Principle of Proof as Program (HN), pp. 626–640.
PODSPODS-1990-Saraiya #database #deduction #polynomial
Polynomial-Time Program Transformations in Deductive Databases (YPS), pp. 132–144.
POPLPOPL-1990-AikenWW #fault
Program Transformation in the Presence of Errors (AA, JHW, ELW), pp. 210–217.
WAGAWAGA-1990-FengKT #attribute grammar #incremental #multi
Incremental Attribute Evaluation for Multiple Subtree Replacements in Structure-Oriented Environments (AF, TK, KT), pp. 192–206.
WAGAWAGA-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.
WAGAWAGA-1990-Wilhelm #attribute grammar #functional
Tree Transformations, Functional Languages, and Attribute Grammars (RW), pp. 116–129.
ESOPESOP-1990-SteffenKR #graph #representation
The Value Flow Graph: A Program Representation for Optimal Program Transformations (BS, JK, OR), pp. 389–405.
PODSPODS-1989-RamakrishnanSUV #theorem
Proof-Tree Transformation Theorems and Their Applications (RR, YS, JDU, MYV), pp. 172–181.
POPLPOPL-1989-KelseyH #compilation
Realistic Compilation by Program Transformation (RK, PH), pp. 281–292.
ICSEICSE-1989-CarleP #composition #incremental #specification
Modular Specification of Incremental Program Transformation Systems (AC, LLP), pp. 178–187.
ISSTATAV-1989-KotikM #analysis #automation #testing #using
Automating Software Analysis and Testing Using a Program Transformation System (GK, LM), pp. 75–84.
PPDPPLILP-1988-SchreyeB #abstract interpretation
An Application of Abstract Interpretation in Source Level Program Transformation (DDS, MB), pp. 35–57.
CCCCHSC-1988-Alblas
Attributed Tree Transformations with Delayed and Smart Re-Evaluation (HA), pp. 160–174.
CCCCHSC-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.
ESOPESOP-1988-Heckmann #functional #specification
A Functional Language for the Specification of Complex Tree Transformations (RH), pp. 175–190.
ESOPESOP-1988-Heckmann88a #functional #specification
A Functional Language for the Specification of Complex Tree Transformations (RH), p. 380.
CADECADE-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.
TAPSOFTAS-1985-Backus #optimisation #semantics
From Function Level Semantics to Program Transformation and Optimization (JWB), pp. 60–91.
LISPLFP-1984-GivlerK #recognition
Schema Recognition for Program Transformations (JSG, RBK), pp. 74–84.
PLDISCC-1984-KellerPPM #case study #experience
Tree transformation techniques and experiences (SEK, JAP, TFP, SPM), pp. 190–201.
ICLPILPC-1982-Skuce82 #automation #development #generative
Module Development Based on Program Transformation and Automatic Generation of the Input-output Relation (DRS), pp. 116–122.
STOCSTOC-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.
POPLPOPL-1976-BoyerMS #recursion
Primitive Recursive Program Transformations (RSB, JSM, RES), pp. 171–174.
POPLPOPL-1976-Wegbreit
Goal-Directed Program Transformation (BW), pp. 153–170.
POPLPOPL-1975-Gerhart
Correctness-Preserving Program Transformations (SLG), pp. 54–66.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.