transformation language - researchr tag

researchr

You are not signed in
Sign in
Sign up

2012

A Theory of Software Product Line RefinementPaulo Borba, Leopoldo Teixeira, Rohit Gheyi. TCS, (0), 2012. [doi]

Methods and Techniques for the Design and Implementation of Domain-Specific LanguagesZef Hemel. PhD thesis, Delft University of Technology, Delft, The Netherlands, January 2012.

Embedding domain-specific modeling languages into Maude specificationsVlad Rusu. SoSyM, , 2012.

Reconstructing Complex Metamodel EvolutionSander Vermolen, Guido Wachsmuth, Eelco Visser. SLE 2011: 201-221 [doi]

2011

Ambiguity Detection for Programming Language GrammarsBas Basten. PhD thesis, Universiteit van Amsterdam, December 2011.

Iterative Development of Consistency-Preserving Rule-Based RefactoringsBasil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese. ICMT 2011: 123-137

A Graph Query Language for EMF modelsGábor Bergmann, Zoltán Ujhelyi, István Ráth, Dániel Varró. ICMT 2011: 167-182

Proceedings of the Workshop on Intermediate RepresentationsFlorent Bouchez, Sebastian Hack, Eelco Visser, editors, 2011.

Data and Process Abstraction in PIPS Internal RepresentationFabien Coelho, Pierre Jouvelot, Corinne Ancourt, François Irigoin. WIR 2011: 77-84

A Generic Tool for Tracing Executions Back to a DSML's Operational SemanticsBenoit Combemale, Laure Gonnord, Vlad Rusu. In Seventh European Conference on Modelling Foundations and Applications. 2011:

Generic Model Transformations: Write Once, Reuse EverywhereJesús Sánchez Cuadrado, Esther Guerra, Juan de Lara. ICMT 2011: 62-77

Fine-Tuning Model Transformation: Change Propagation in Context of Consistency, Completeness, and Human GuidanceAlexander Egyed, Andreas Demuth, Achraf Ghabi, Roberto Lopez-Herrejon, Patrick Mäder, Alexander Nöhrer, Alexander Reder. ICMT 2011: 1-14

Static consistency checking of web applications with WebDSLZef Hemel, Danny M. Groenewegen, Lennart C. L. Kats, Eelco Visser. JSC, 46(2):150-182, 2011. [doi]

RLSRunner: Linking Rascal with K for Program AnalysisHills, Mark, Klint, P. , Jurgen J. Vinju. In Proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011). 2011:

The GReTL Transformation LanguageTassilo Horn, Jürgen Ebert. ICMT 2011: 183-197 [doi]

The GReTL Transformation LanguageTassilo Horn, Jürgen Ebert. ICMT 2011: 183-197

Declaratively Defining Domain-Specific Language DebuggersRicky T. Lindeman, Lennart C. L. Kats, Eelco Visser. GPCE 2011: 127-136 [doi]

Recovering Grammar Relationships for the Java Language SpecificationRalf Lämmel, Vadim Zaytsev. sqj, 19(2):333-378, March 2011. [doi]

Debugging in domain-specific modellingMannadiar, Raphael, Vangheluwe, Hans. In Proceedings of the Third international conference on Software language engineering. 2011: 276-285

SNQL: A Social Networks Query and Transformation LanguageMauro San Martín, Claudio Gutierrez, Peter T. Wood. amw 2011: [doi]

Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming languageSteffen Mazanek, Michael Hanus. vlc, 22(1):66-89, 2011. [doi]

Embedding domain-specific modelling languages in maude specificationsVlad Rusu. ACM SIGSOFT Software Engineering Notes, 36(1):1-8, January 2011. [doi]

Toward bidirectionalization of ATL with GRoundTramIsao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano. ICMT 2011: 138-151

An Evaluation of the Graphical Modeling Framework (GMF) based on the Development of the CORAS ToolFredrik Seehusen, Atle Refsdal, Ketil Stølen. ICMT 2011: 152-166

Autotuning in an Array Processing Language using High-level Program TransformationsYusuke Shirota, Jun ichi Segawa, Masaya Tarui, Tatsunori Kanai. procedia, 4:2126-2135, 2011. [doi]

Demonstration-based Approach to Support Live Transformations in a Model EditorYu Sun, Jeffrey G. Gray, Christoph Wienands, Michael Golm, Jules White. ICMT 2011: 213-228

Languages as librariesTobin-Hochstadt, Sam, St-Amour, Vincent, Culpepper, Ryan, Flatt, Matthew, Matthias Felleisen. In Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation. 2011: 132-141 [doi]

Performance in Model Transformations: A Comparison Between ATL and QVT Marcel van Amstel, Steven Bosems, Luis Ferreira Pires, Ivan Kurtev. ICMT 2011: 198-212

Generating Database Migration for Evolving Web ApplicationsSander Vermolen, Guido Wachsmuth, Eelco Visser. GPCE 2011: 83-92 [doi]

A Comparison of Rule Inheritance in Model-to-Model Transformation LanguagesManuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schoenboeck, Wieland Schwinger, Dimitris Kolovos, Richard F. Paige, Marius Lauder, Andy Schürr, Dennis Wagelaar. ICMT 2011: 31-46

A Comparison of Rule Inheritance in Model-to-Model Transformation LanguagesManuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Dimitrios S. Kolovos, Richard F. Paige, Marius Lauder, Andy Schürr, Denis Wagelaar. ICMT 2011: 31-46 [doi]

2010

Statistical Transformation of Language and Pronunciation Models for Spontaneous Speech RecognitionYuya Akita, Tatsuya Kawahara. taslp, 18(6):1539-1549, 2010. [doi]

Syntactic Language Extension via an Algebra of Languages and TransformationsJacob Andersen, Claus Brabrand. ENTCS, 253(7):19-35, 2010. [doi]

OCL Constraints Generation from Natural Language SpecificationImran Sarwar Bajwa, , Behzad Bordbar, Mark G. Lee. EDOC, October 2010. [doi]

DSLTrans: A Turing Incomplete Transformation LanguageBruno Barroca, Levi Lucio, Vasco Amaral, Roberto Félix, Vasco Sousa. SLE 2010: 296-305 [doi]

Study of an API migration for two XML APIsThiago Tonelli Bartolomei, Krzysztof Czarnecki, Ralf Lämmel, Tijs van der Storm. In Postproceedings of Software Language Engineering (SLE 2009). 2010:

Modeling the "Ecore to GenModel" Transformation with EMF HenshinEnrico Biermann, Claudia Ermel, Stefan Jurack. TTC 2010:

Domain-Specific Modelling Languages with Algebraic Graph Transformations on RDFBenjamin Braatz, Christoph Brandt. SLE 2010: 82-101 [doi]

Automated generation of program translation and verification tools using annotated grammarsDiego Ordonez Camacho, Kim Mens, Mark G. J. van den Brand, Jurgen J. Vinju. SCP, 75(1-2):3-20, 2010. [doi]

JTL: A Bidirectional and Change Propagating Transformation LanguageAntonio Cicchetti, Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio. SLE 2010: 183-202 [doi]

Transformation of structure-shy programs with application to XPath queries and strategic functionsAlcino Cunha, Joost Visser. SCP, In Press, Corrected Proof, 2010. [doi]

Automating the transformation-based analysis of visual languagesJuan de Lara, Hans Vangheluwe. fac, 22(3-4):297-326, 2010. [doi]

XMorph: A shape-polymorphic, domain-specific XML data transformation languageCurtis E. Dyreson, Sourav S. Bhowmick, Aswani Rao Jannu, Kirankanth Mallampalli, Shuohao Zhang. icde 2010: 844-847 [doi]

Test-driven Language Derivation with Graph Transformation-Based Dynamic Meta ModelingGregor Engels, Christian Soltenborn. eceasst, 30, 2010. [doi]

Can Graph Transformation Make Aspect Languages for BPEL Redundant?Roy Grønmo. edoc 2010: 153-162 [doi]

::::trans::::ML: A Family of Languages to Model Model TransformationsEsther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos. MoDELS 2010: 106-120 [doi]

A Visual Specification Language for Model-to-Model TransformationsEsther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige. vl 2010: 119-126 [doi]

transML: A Family of Languages to Model Model TransformationsEsther Guerra, de Lara, Kolovos, Richard F. Paige, dos Santos. MoDELS 2010:

Code generation by model transformation: a case study in transformation modularityZef Hemel, Lennart C. L. Kats, Danny M. Groenewegen, Eelco Visser. SoSyM, 9(3):375-402, June 2010. [doi]

An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and ModelsMarkus Herrmannsdörfer, Sander Vermolen, Guido Wachsmuth. SLE 2010: 163-182 [doi]

The Spoofax language workbench (poster paper)Lennart C. L. Kats, Eelco Visser. OOPSLA 2010: 237-238 [doi]

Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language PortabilityLennart C. L. Kats, Eelco Visser. SCAM 2010:

The Spoofax language workbench: rules for declarative specification of languages and IDEsLennart C. L. Kats, Eelco Visser. OOPSLA 2010: 444-463 [doi]

Model-driven development of service compositions : transformation from service choreography to service orchestrationsRavi Khadka. August 2010.

Model-driven development of service compositions : transformation from service choreography to service orchestrationsRavi Khadka. August 2010.

EASY Meta-Programming with Rascal. Leveraging the Extract-Analyze-SYnthesize Paradigm for Meta-ProgrammingPaul Klint, Tijs van der Storm, Jurgen J. Vinju. GTTSE 2009:

An Implementation of the Ecore to GenModel Case Study using the Epsilon Transformation LanguageDimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Juan de Lara. TTC 2010:

Ecore to GenModel Case StudyDimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Juan de Lara. TTC 2010:

Application of reflection in a model transformation languageIvan Kurtev. SoSyM, 9(3):311-333, 2010. [doi]

Recovering Grammar Relationships for the Java Language SpecificationRalf Lämmel, Vadim Zaytsev. corr, abs/1008.4188:1-46, August 2010.

Providing Architectural Languages and Tools Interoperability through Model Transformation TechnologiesIvano Malavolta, Henry Muccini, Patrizio Pelliccione, Damien A. Tamburri. TSE, 36(1):119-140, 2010. [doi]

Model-to-Code-Transformation mit der Model to Text Transformation LanguageRoland Petrasch. gi 2010: 950-956

A Programming Language Interface to Describe Transformations and Code GenerationGabe Rudy, Malik Murtaza Khan, Mary W. Hall, Chun Chen, Jacqueline Chame. lcpc 2011: 136-150 [doi]

Synchronization of abstract and concrete syntax in domain-specific modeling languages - By mapping models and live transformationsIstván Ráth, András Ökrös, Dániel Varró. SoSyM, 9(4):453-471, 2010. [doi]

From the Behavior Model of an Animated Visual Language to its Editing Environment Based on Graph TransformationTorsten Strobl, Mark Minas, Andreas Pleuss, Arnd Vitzthum. eceasst, 32, 2010. [doi]

De-/Re-constructing Model Transformation LanguagesEugene Syriani, Hans Vangheluwe. eceasst, 29, 2010. [doi]

Bringing extensibility to verified compilersZachary Tatlock, Sorin Lerner. PLDI 2010: 111-121 [doi]

Transforming Process Models: executable rewrite rules versus a formalized Java programPieter Van Gorp, Eshuis. MoDELS 2010:

Ecore2GenModel with Mitra and GEF3DJens von Pilgrim. TTC 2010:

Module superimposition: a composition technique for rule-based model transformation languagesDennis Wagelaar, Ragnhild Van Der Straeten, Dirk Deridder. SoSyM, 9(3):285-309, 2010. [doi]

Recovery, Convergence and Documentation of LanguagesVadim Zaytsev. PhD thesis, Vrije Universiteit, Amsterdam, The Netherlands, October 2010.

Language Convergence InfrastructureVadim Zaytsev. In Post-proceedings of the 3rd International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009). 2010:

2009

Syntactic Language Extension via an Algebra of Languages and TransformationsJacob Andersen, Claus Brabrand. In Proc. 9th Workshop on Language Descriptions, Tools and Applications, LDTA~'09. 2009:

The SmaCC transformation engine: how to convert your entire code base into a different programming languageJohn Brant, Don Roberts. OOPSLA 2009: 809-810 [doi]

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languagesJacques Carette, Oleg Kiselyov, Chung-chieh Shan. JFP, 19(5):509-543, 2009. [doi]

A transformational language for mutant descriptionAdenilso da Silva Simão, José Carlos Maldonado, Roberto da Silva Bigonha. Comp. Lang., Syst. \& Struct., 35(3):322-339, 2009. [doi]

Methods for Proving Termination of Rewriting-based Programming Languages by TransformationFrancisco DurÃ¡n, Salvador Lucas, JosÃ© Meseguer. ENTCS, 248:93-113, 2009. [doi]

Methodology for Data Conversion from XML Documents to Relations Using Extensible Stylesheet Language TransformationJoseph Fong, Herbert Shiu, Jenny Wong. ijseke, 19(2):249-281, 2009. [doi]

Bidirectional Programming LanguagesJ. Nathan Foster. PhD thesis, University of Pennsylvania, December 2009.

A concept and implementation of higher-level XML transformation languagesDaniel Fötsch, Elke Pulvermüller. kbs, 22(3):186-194, 2009. [doi]

PIL: A Platform Independent Language for Retargetable DSLsZef Hemel, Eelco Visser. SLE 2009: 224-243 [doi]

Model Transformation Languages Relying on Models as ADTsJerÃ³nimo IrazÃ¡bal, Claudia Pons. SLE 2009: 133-143 [doi]

Abstracting Complex Languages through Transformation and CompositionJendrik Johannes, Steffen Zschaler, Miguel A. FernÃ¡ndez, Antonio Castillo, Dimitris Kolovos, Richard F. Paige. MoDELS 2009: 546-550 [doi]

Graphical Template Language for Transformation SynthesisElina Kalnina, Audris Kalnins, Edgars Celms, Agris Sostaks. SLE 2009: 244-253 [doi]

Language model transformation applied to lightly supervised training of acoustic model for congress meetingsTatsuya Kawahara, Masato Mimura, Yuya Akita. icassp 2009: 3853-3856 [doi]

A language and framework for invariant-driven transformationsYanhong A. Liu, Michael Gorbovitski, Scott D. Stoller. GPCE 2009: 55-64 [doi]

A language and framework for invariant-driven transformationsYanhong Liu, Michael Gorbovitski, Scott Stoller. GPCE '09: Proceedings of the eighth international conference on Generative programming and component engineering, , Oct 2009.

A language and framework for invariant-driven transformationsYanhong Liu, Michael Gorbovitski, Scott Stoller. GPCE '09: Proceedings of the eighth international conference on Generative programming and component engineering, , Oct 2009.

Recovering Grammar Relationships for the Java Language SpecificationRalf Lämmel, Vadim Zaytsev. SCAM 2009: 178-186 [doi]

Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation LanguagesRodion Moiseev, Shinpei Hayashi, Motoshi Saeki. MoDELS 2009: 650-664 [doi]

Matrix representations, linear transformations, and kernels for disambiguation in natural languageTapio Pahikkala, Sampo Pyysalo, Jorma Boberg, Jouni JÃ¤rvinen, Tapio Salakoski. ml, 74(2):133-158, 2009. [doi]

Transactional Memory in a Dynamic LanguageLukas Renggli, Oscar Nierstrasz. Journal of Computer Languages, Systems and Structures, 35(1), apr 2009. [doi]

Language Boxes: Bending the Host Language with Modular Language ChangesLukas Renggli, Marcus Denker, Oscar Nierstrasz. In Software Language Engineering: Second International Conference, SLE 2009, Denver, Colorado, October 5-6, 2009. 2009:

Fundamental Limitations in Domain-Specific Language EvolutionJonathan Sprinkle, Jeffrey G. Gray, Marjan Mernik. Technical Report TR-090831, 2009.

Parametricity for Haskell with Imprecise Error SemanticsFlorian Stenger, Janis Voigtländer. tlca 2009: 294-308 [doi]

An embedded declarative data transformation languagePaul Tarau. ppdp 2009: 171-182 [doi]

Application of voice conversion for cross-language rap singing transformationOytun Türk, Osman Büyük, Ali Haznedaroglu, Levent Mustafa Arslan. icassp 2009: 3597-3600 [doi]

Bidirectionalization for free! (Pearl)Janis Voigtländer. POPL 2009: 165-176 [doi]

A Formal Way from Text to Code TemplatesGuido Wachsmuth. FASE 2009: 109-123 [doi]

Language Convergence InfrastructureVadim Zaytsev. In Pre-proceedings of the 3rd International Summer School on Generative and Transformational Techniques in Software Engineering. 2009:

PreviousNext