Recovery, Convergence and Documentation of Languages

concrete

[1]  Erhard Rahm,et al.  A survey of approaches to automatic schema matching , 2001, The VLDB Journal.

[2]  Murray Hill,et al.  Yacc: Yet Another Compiler-Compiler , 1978 .

[3]  Ralf Lämmel,et al.  Semi‐automatic grammar recovery , 2001, Softw. Pract. Exp..

[4]  Alaa A. Kharbouch,et al.  Three models for the description of language , 1956, IRE Trans. Inf. Theory.

[5]  Walter H. Burkhardt,et al.  Metalanguage and syntax specification , 1965, CACM.

[6]  Bryan Ford,et al.  Parsing expression grammars: a recognition-based syntactic foundation , 2004, POPL '04.

[7]  S.-Y. Kuroda,et al.  Classes of Languages and Linear-Bounded Automata , 1964, Inf. Control..

[8]  Niels P. Veerman.  Revitalizing modifiability of legacy assets , 2004, J. Softw. Maintenance Res. Pract..

[9]  Jean Bézivin,et al.  Model-based DSL frameworks , 2006, OOPSLA '06.

[10]  Leon Moonen,et al.  Generating robust parsers using island grammars , 2001, Proceedings Eighth Working Conference on Reverse Engineering.

[11]  Ralf Lämmel,et al.  A Unified Format for Language Documents , 2010, SLE.

[12]  Dan Jonsson.  Next: the elimination of Goto-patches? , 1989, SIGP.

[13]  Mark van den Brand,et al.  An architecture for context-sensitive formatting , 2005, 21st IEEE International Conference on Software Maintenance (ICSM'05).

[14]  RAINER KOPPLER.  A Systematic Approach to Fuzzy Parsing , 1997, Softw. Pract. Exp..

[15]  Dennis J. Frailey,et al.  An intermediate language for source and target independent code optimization , 1979, SIGPLAN '79.

[16]  Eelco Visser,et al.  Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking , 2007, LDTA@ETAPS.

[17]  F. L. Bauer,et al.  Revised report on the algorithmic languageAlgol 60 , 1962 .

[18]  Thomas B. Steel,et al.  Formal language description languages for computer programming : proceedings of the IFIP Working Conference on Formal Language Description Languages , 1966 .

[19]  Edsger W. Dijkstra,et al.  Go To Statement Considered Harmful , 2022, Software Pioneers.

[20]  Robert Grimm rgrimm.  Practical Packrat Parsing , 2004 .

[21]  Robert W. Floyd,et al.  A Note on Mathematical Induction on Phrase Structure Grammars , 1961, Inf. Control..

[22]  J. Clark,et al.  RELAX NG specification , 2001 .

[23]  Anthony Cleve,et al.  Co-transformations in Database Applications Evolution , 2005, GTTSE.

[24]  Eelco Visser,et al.  Scannerless Generalized-LR Parsing , 1997 .

[25]  William E. Howden.  Contemporary software development environments , 1982, CACM.

[26]  Erhard Rahm,et al.  Matching large schemas: Approaches and evaluation , 2007, Inf. Syst..

[27]  Brian A. Malloy,et al.  Applying software engineering techniques to parser design: the development of a C # parser , 2002 .

[28]  Ralf Lämmel,et al.  Controllable Combinatorial Coverage in Grammar-Based Testing , 2006, TestCom.

[29]  Donald E. Knuth,et al.  backus normal form vs. Backus Naur form , 1964, CACM.

[30]  Sander Vermolen,et al.  Heterogeneous Coupled Evolution of Software Languages , 2008, MoDELS.

[31]  John Levine,et al.  flex & bison , 2009 .

[32]  Merijn de Jonge,et al.  Cost-effective maintenance tools for proprietary languages , 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.

[33]  Eelco Visser,et al.  Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9 , 2003, Domain-Specific Program Generation.

[34]  Wolfgang Lohmann.  Format Evolution , 2001 .

[35]  Daniel H. Younger,et al.  Recognition and Parsing of Context-Free Languages in Time n^3 , 1967, Inf. Control..

[36]  Clémentine Nebut,et al.  Metamodel Matching for Automatic Model Transformation Generation , 2008, MoDELS.

[37]  Perdita Stevens,et al.  Bidirectional model transformations in QVT: semantic issues and open questions , 2007, MODELS'07.

[38]  Ralf Lämmel,et al.  Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment , 2001, LDTA@ETAPS.

[39]  Ralf Lämmel,et al.  Grammar Adaptation , 2001, FME.

[40]  Paul Klint,et al.  The syntax definition formalism SDF—reference manual— , 1989, SIGP.

[41]  Brian A. Malloy,et al.  Grammar Recovery from Parse Trees and Metrics-Guided Grammar Refactoring , 2009, IEEE Transactions on Software Engineering.

[42]  Colin Runciman,et al.  Haskell and XML: generic combinators or type-based translation? , 1999, ICFP '99.

[43]  Fred L. Drake,et al.  The Python Language Reference Manual , 1999 .

[44]  Jean-Marie Favre,et al.  Preprocessors from an abstract point of view , 1996, 1996 Proceedings of International Conference on Software Maintenance.

[45]  Ralf Lämmel,et al.  Mappings Make Data Processing Go 'Round , 2005, GTTSE.

[46]  Kenneth E. Iverson.  A method of syntax specification , 1964, CACM.

[47]  Antonio Cicchetti,et al.  Automating Co-evolution in Model-Driven Engineering , 2008, 2008 12th International IEEE Enterprise Distributed Object Computing Conference.

[48]  Richard C. Holt,et al.  Hierarchic syntax error repair for LR grammars , 1982, International Journal of Computer & Information Sciences.

[49]  Ralf Lämmel,et al.  Cracking the 500-Language Problem , 2001, IEEE Softw..

[50]  Loe Feijs,et al.  A relational approach to support software architecture analysis , 1998 .

[51]  Derick Wood,et al.  Normal form algorithms for extended context-free grammars , 2001, Theor. Comput. Sci..

[52]  Günter Riedewald,et al.  Semantics-preserving migration of semantic rules after left recursion removal in attribute grammars , 2022 .

[53]  Ernst-jan Verhoeven.  COBOL Island Grammars in SDF , 2000 .

[54]  Joost Visser,et al.  Coupled schema transformation and data conversion for XML and SQL , 2007 .

[55]  Marjan Mernik,et al.  On defining quality based grammar metrics , 2009, 2009 International Multiconference on Computer Science and Information Technology.

[56]  Niels Veerman.  Revitalizing modifiability of legacy assets: Research Articles , 2004 .

[57]  Ralf Lämmel,et al.  Deriving tolerant grammars from a base-line grammar , 2003, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings..

[58]  James R. Cordy,et al.  The TXL source transformation language , 2006, Sci. Comput. Program..

[59]  Sophia Drossopoulou,et al.  Java is Type Safe - Probably , 1997, ECOOP.

[60]  Eelco Visser,et al.  Disambiguation Filters for Scannerless Generalized LR Parsers , 2002, CC.

[61]  Arie van Deursen,et al.  The ASF+SDF Meta-environment: A Component-Based Language Development Environment , 2001 .

[62]  Ralf Lämmel.  The Amsterdam Toolkit for Language Archaeology , 2005, Electron. Notes Theor. Comput. Sci..

[63]  Bryan Ford,et al.  Packrat parsing:: simple, powerful, lazy, linear time, functional pearl , 2002, ICFP '02.

[64]  Paul Klint.  A Meta-Environment for Generating Programming Environments , 1989, Algebraic Methods.

[65]  Emin Gün Sirer,et al.  Using production grammars in software testing , 1999, DSL '99.

[66]  Saul Gorn,et al.  Specification languages for mechanical languages and their processors a baker's dozen , 1961, Commun. ACM.

[67]  Peyton Jones,et al.  Haskell 98 language and libraries : the revised report , 2003 .

[68]  W. M. McKeeman,et al.  Differential Testing for Software , 1998, Digit. Tech. J..

[69]  Dean Jin,et al.  Where's the schema? A taxonomy of patterns for software exchange , 2002, Proceedings 10th International Workshop on Program Comprehension.

[70]  William F. Opdyke,et al.  Refactoring object-oriented frameworks , 1992 .

[71]  Eelco Visser,et al.  Generation of formatters for context-free languages , 1996, TSEM.

[72]  Jean-Marie Favre,et al.  Towards a Megamodel to Model Software Evolution Through Transformations , 2005, SETra@ICGT.

[73]  James Clark,et al.  XSL Transformations (XSLT) Version 1.0 , 1999 .

[74]  Eelco Visser,et al.  Syntax definition for language prototyping , 1997 .

[75]  Ralf Lämmel,et al.  Towards generic refactoring , 2002, RULE '02.

[76]  Kevin A. Schneider,et al.  Grammar programming in TXL , 2002, Proceedings. Second IEEE International Workshop on Source Code Analysis and Manipulation.

[77]  Darius Blasband,et al.  Parsing in a hostile world , 2001, Proceedings Eighth Working Conference on Reverse Engineering.

[78]  José Nuno Oliveira,et al.  Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion , 2005, FM.

[79]  Donald E. Knuth,et al.  Structured Programming with go to Statements , 1974, CSUR.

[80]  John W. Backus,et al.  The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference , 1959, IFIP Congress.

[81]  Ralf Lämmel,et al.  An Introduction to Grammar Convergence , 2009, IFM.

[82]  하수철,et al.  [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .

[83]  Jácome Cunha,et al.  From spreadsheets to relational databases and back , 2009, PEPM '09.

[84]  C. M. Sperberg-McQueen,et al.  W3C XML Schema Definition Language (XSD) 1.1 Part 1: Structures , 2012 .

[85]  Günter Riedewald,et al.  Semantics-preserving Migration of Semantic Rules During Left Recursion Removal in Attribute Grammars , 2004, Electron. Notes Theor. Comput. Sci..

[86]  Ralf Lämmel,et al.  Recovering grammar relationships for the Java Language Specification , 2009, 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation.

[87]  Alpana Dubey,et al.  Learning context-free grammar rules from a set of program , 2008, IET Softw..

[88]  Donald E. Knuth,et al.  On the Translation of Languages from Left to Right , 1965, Inf. Control..

[89]  Carroll Morgan,et al.  Programming from specifications , 1990, Prentice Hall International Series in computer science.

[90]  Robert C. Moore.  Removing Left Recursion from Context-Free Grammars , 2000, ANLP.

[91]  Paul Klint,et al.  Compiling language definitions: the ASF+SDF compiler , 2000, TOPL.

[92]  Gerald M. Weinberg,et al.  Psychology of computer programming , 1971 .

[93]  Massimiliano Di Penta,et al.  Towards the automatic evolution of reengineering tools , 2005, Ninth European Conference on Software Maintenance and Reengineering.

[94]  Joshua Kerievsky,et al.  Refactoring to Patterns , 2004, XP/Agile Universe.

[95]  Stephen R. Davis,et al.  The C++ Preprocessor , 2011 .

[96]  M. Howard Williams,et al.  A Flexible Notation for Syntactic Definitions , 1982, TOPL.

[97]  Udo Kelter,et al.  Analyzing model evolution , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[98]  Frank DeRemer,et al.  Efficient computation of LALR(1) look-ahead sets , 1979, SIGPLAN '79.

[99]  J. Rekers,et al.  Parser Generation for Interactive Environments , 1992 .

[100]  David S. Wile,et al.  Abstract Syntax from Concrete Syntax , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[101]  I. Guilfanov,et al.  Simple type system for program reengineering , 2001, Proceedings Eighth Working Conference on Reverse Engineering.

[102]  Chris Verhoef,et al.  Current parsing techniques in software renovation considered harmful , 1998, Proceedings. 6th International Workshop on Program Comprehension. IWPC'98 (Cat. No.98TB100242).

[103]  Ralf Lämmel,et al.  Grammar Testing , 2001, FASE.

[104]  Brian W. Kernighan,et al.  The C Programming Language , 1978 .

[105]  T. Dean,et al.  Agile Parsing Techniques for Web Applications , 2005 .

[106]  Pierre-Etienne Moreau,et al.  Environments for Term Rewriting Engines for Free! , 2003, RTA.

[107]  Guy L. Steele,et al.  The Java Language Specification , 1996 .

[108]  Vadim Zaytsev.  Language Convergence Infrastructure , 2009, GTTSE.

[109]  C. A. R. Hoare,et al.  Proof of correctness of data representations , 1972, Acta Informatica.

[110]  Niklaus Wirth,et al.  What can we do about the unnecessary diversity of notation for syntactic definitions? , 1977, Commun. ACM.

[111]  Leon Moonen.  Lightweight impact analysis using island grammars , 2002, Proceedings 10th International Workshop on Program Comprehension.

[112]  Alpana Dubey,et al.  Technique for extracting keyword based rules from a set of programs , 2005, Ninth European Conference on Software Maintenance and Reengineering.

[113]  John J. Donovan,et al.  A formal system for the specification of the syntax and translation of computer languages , 1899, AFIPS '67 (Fall).

[114]  Masaru Tomita,et al.  LR Parsers For Natural Languages , 1984, Annual Meeting of the Association for Computational Linguistics.

[115]  Joost Visser,et al.  A Case Study in Grammar Engineering , 2008, SLE.

[116]  James R. Cordy.  Generalized Selective XML Markup of Source Code Using Agile Parsing , 2003, IWPC.

[117]  Ralf Lämmel,et al.  Towards an engineering discipline for GRAMMARWARE Draft as of August 17 , 2003 , 2003 .

[118]  Manuel Wimmer,et al.  Bridging Grammarware and Modelware , 2005, MoDELS Satellite Events.

[119]  Steven Pemberton,et al.  Cascading Style Sheets Level 2 Revision 1 (CSS 2.1) Specification , 2010 .

[120]  Ceriel J. H. Jacobs,et al.  Parsing Techniques - A Practical Guide , 2007, Monographs in Computer Science.

[121]  Harry M. Sneed,et al.  Restructuring of COBOL/CICS legacy systems , 2002, Sci. Comput. Program..

[122]  Faizan Javed,et al.  Extracting grammar from programs: evolutionary approach , 2005, SIGP.

[123]  Ralf Lämmel,et al.  Revealing the X/O Impedance Mismatch - (Changing Lead into Gold) , 2006, SSDGP.

[124]  Jean Bézivin,et al.  TCS:: a DSL for the specification of textual concrete syntaxes in model engineering , 2006, GPCE '06.

[125]  Ralf Lämmel,et al.  The Grammar Deployment Kit - System Demonstration , 2002, Electron. Notes Theor. Comput. Sci..

[126]  A. CornelisH.,et al.  The Grammar Workbench : A First Step towardsLingware , 2007 .

[127]  Robert W. Floyd,et al.  The Syntax of Programming Languages-A Survey , 1964, IEEE Trans. Electron. Comput..

[128]  Guido Wachsmuth,et al.  Metamodel Adaptation and Model Co-adaptation , 2007, ECOOP.

[129]  Paul B. Mann.  A translational BNF grammar notation (TBNF) , 2006, SIGP.

[130]  Peter Pepper,et al.  Lr Parsing = Grammar Transformation + Ll Parsing Making Lr Parsing More Understandable and More Eecient , 1999 .

[131]  Arie van Deursen,et al.  Language Prototyping: An Algebraic Specification Approach , 1996, AMAST Series in Computing.

[132]  Brian A. Malloy,et al.  An infrastructure to support interoperability in reverse engineering , 2007, Inf. Softw. Technol..

[133]  Donald E. Knuth,et al.  Literate Programming , 1984, Comput. J..

[134]  Jean-Luc Hainaut,et al.  Schema Transformation Techniques for Database Reverse Engineering , 1993, ER.

[135]  R. Lämmel.  Coupled Software Transformations — Extended , 2022 .

[136]  Peter A. Darnell,et al.  The C Preprocessor , 1991 .

[138]  Gregor von Bochmann,et al.  A Sampler of Formal Definitions , 1976, CSUR.

[139]  James R. Cordy,et al.  Robust multilingual parsing using island grammars , 2003, CASCON.

[140]  Ajay Chander,et al.  JavaScript instrumentation for browser security , 2007, POPL '07.

[141]  Viljem Zumer,et al.  Can a parser be generated from examples? , 2003, SAC '03.

[142]  Chris Verhoef,et al.  Generation of software renovation factories from compilers , 1999, Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360).

[143]  William M. Waite,et al.  Maptool - Supporting Modular Syntax Development , 1996, CC.

[144]  Kevin A. Schneider,et al.  Agile Parsing in TXL , 2004, Automated Software Engineering.

[145]  Chris Verhoef,et al.  Development, assessment, and reengineering of language descriptions , 2000, Proceedings of the Fourth European Conference on Software Maintenance and Reengineering.

[146]  Paul Graham.  ANSI Common Lisp , 1995 .

[147]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[148]  Chris Verhoef,et al.  Obtaining a COBOL grammar from legacy code for reengineering purposes , 1997 .

[149]  Christopher Exton,et al.  Comparisons between CORBA IDL & COM/DCOM MIDL: interfaces for distributed computing , 1997, Proceedings. Technology of Object-Oriented Languages and Systems, TOOLS 25 (Cat. No.97TB100239).

[150]  Oscar Nierstrasz,et al.  Example-Driven Reconstruction of Software Models , 2007, 11th European Conference on Software Maintenance and Reengineering (CSMR'07).

[151]  Terence Parr.  The Reuse of Grammars with Embedded Semantic Actions , 2008, 2008 16th IEEE International Conference on Program Comprehension.

[152]  Hans Leiß,et al.  To CNF or not to CNF? An Efficient Yet Presentable Version of the CYK Algorithm , 2009, Informatica Didact..

[153]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[154]  F. L. Deremer,et al.  Practical translators for LR(k) languages , 1969 .

[155]  Dave A. Thomas.  The Impedance Imperative - Tuples + Objects + Infosets = Too Much Stuff! , 2003, J. Object Technol..

[156]  Niels P. Veerman,et al.  Automated Mass Maintenance of Software Assets , 2007, 11th European Conference on Software Maintenance and Reengineering (CSMR'07).

[157]  Jérôme Euzenat,et al.  Ten Challenges for Ontology Matching , 2008, OTM Conferences.

[158]  Tobias Nipkow,et al.  Javalight is type-safe—definitely , 1998, POPL '98.

[159]  José Nuno Oliveira.  Transforming Data by Calculation , 2007, GTTSE.

[160]  Alpana Dubey,et al.  Inferring Grammar Rules of Programming Language Dialects , 2006, ICGI.

[161]  Eleni Stroulia,et al.  Refactoring Detection based on UMLDiff Change-Facts Queries , 2006, 2006 13th Working Conference on Reverse Engineering.

[162]  J. W. Backus,et al.  The Fortran Automatic Coding System for the IBM 704 EDPM , 1956 .

[163]  René L. Krikhaar,et al.  Architecture analysis tools to support evolution of large industrial systems , 2002, International Conference on Software Maintenance, 2002. Proceedings..

[164]  Eric Allen.  Bug Patterns in Java , 2002 .

[165]  David W. Binkley,et al.  Program slicing , 2008, 2008 Frontiers of Software Maintenance.

[166]  T. Capers Jones,et al.  Estimating software costs , 1998 .

[167]  Brian A. Malloy,et al.  An Automated Approach to Grammar Recovery for a Dialect of the C++ Language , 2007, 14th Working Conference on Reverse Engineering (WCRE 2007).

[168]  C. M. Sperberg-McQueen,et al.  Extensible markup language , 1997 .

[169]  Capers Jones.  The year 2000 software problem: Quantifying the cost and addressing the consequences , 2005, AI & SOCIETY.

[170]  Mark Dowson,et al.  The Ariane 5 software failure , 1997, SOEN.

[171]  Bruce A. Tate.  Bitter Java , 2002 .

[172]  Brian L Meek.  The programming language standards scene, ten years on , 1994 .

[173]  Grady Booch,et al.  Object-Oriented Analysis and Design with Applications , 1990 .

[174]  Norman J. Walsh,et al.  DocBook: The Definitive Guide , 1999 .

[175]  Jan A. Bergstra,et al.  The algebraic specification formalism ASF , 1989 .

[176]  Alpana Dubey,et al.  A deterministic technique for extracting keyword based grammar rules from programs , 2006, SAC '06.

[177]  Brett McLaughlin.  Java and XML Data binding , 2002 .

[178]  Ralf Lämmel,et al.  Software Language Processing Suite , 2011 .

[179]  Luigi Troiano,et al.  Search-based inference of dialect grammars , 2007, Soft Comput..