researchr - search publication higher-order transformations

researchr

You are not signed in
Sign in
Sign up

197 publication results matching 'higher-order transformations'

Higher-Order Transformations and Type SimulationsMartin C. Henson. cj, 31(6):517-524, 1988.
Higher-Order Transformations for Product LinesJon Oldevik, Øystein Haugen. SPLC 2007: 243-254 [doi]
Higher-order transformation of logic programsSilvija Seres, J. Michael Spivey. LOPSTR 2001: [doi]
Higher-Order Transformation of Logic ProgramsSilvija Seres, J. Michael Spivey. LOPSTR 2001: 57-68 [doi]
Improving Higher-Order Transformations Support in ATLMassimo Tisi, Jordi Cabot, Frédéric Jouault. ICMT 2010: 215-229 [doi]
Higher-order transformations with nested concrete syntaxGiorgios Rob Economopoulos, Bernd Fischer. LDTA 2011: 4 [doi]
Verilog Synthesis in the Higher-Order Transformation Framework of TLVictor L. Winter, Shiraz Hussain. hase 2015: 26-35 [doi]
On the Use of Higher-Order Model TransformationsMassimo Tisi, Frédéric Jouault, Piero Fraternali, Stefano Ceri, Jean Bézivin. ECMDA-FA 2009: 18-33 [doi]
Transformation Language Integration based on Profiles and Higher Order TransformationsPieter Van Gorp, Dirk Janssens.
Transformation Language Integration Based on Profiles and Higher Order TransformationsPieter Van Gorp, Anne Keller, Dirk Janssens. SLE 2008: 208-226 [doi]
Using Higher-Order Transformations to Derive Variability Mechanism for Embedded SystemsGoetz Botterweck, Andreas Polzer, Stefan Kowalewski. MoDELS 2010: 68-82 [doi]
Extending a Model Transformation Language Using Higher Order TransformationsOlaf Muliawan. WCRE 2008: 315-318 [doi]
Higher-order matching for program transformationOege de Moor, Ganesh Sittampalam. TCS, 269(1-2):135-162, 2001. [doi]
Higher Order Matching for Program TransformationOege de Moor, Ganesh Sittampalam. FLOPS 1999: 209-224
Platform-Independent Specification of Model Transformations @ Runtime Using Higher-Order TransformationsMichael Schlereth, Tina Krausser. modellierung 2012: 123-138
A Higher-Order Calculus for Graph TransformationMaribel Fernández, Ian Mackie, Jorge Sousa Pinto. ENTCS, 72(1):45-58, 2007. [doi]
Agile Validation of Higher Order Transformations Using F-AlloyLoïc Gammaitoni, Pierre Kelsen, Qin Ma 0002. tase 2016: 125-131 [doi]
On the Performance of new Higher Order Transformation Functions for Highly Efficient Dense LayersAtharva Gundawar, Srishti Lodha, V. Vijayarajan, Balaji Iyer, V. B. Surya Prasath. npl, 55(8):10655-10668, December 2023. [doi]
Towards Bidirectional Higher-Order Transformation for Model-Driven Co-evolutionBernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka. modelsward 2015: 153-167 [doi]
Higher-order transformations for the generation of synchronization infrastructures in blended modelingMalvina Latifaj, Federico Ciccozzi, Mattias Mohlin. fcomp, 4, 2022. [doi]

Sign in or sign up to see more results.

runs on WebDSL