@article{BrandHKO02, title = {Compiling language definitions: the ASF+SDF compiler}, author = {Mark G. J. van den Brand and Jan Heering and Paul Klint and Pieter A. Olivier}, year = {2002}, doi = {10.1145/567097.567099}, url = {http://doi.acm.org/10.1145/567097.567099}, tags = {SDF, compiler, ASF+SDF}, researchr = {https://researchr.org/publication/BrandHKO02}, cites = {1}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {24}, number = {4}, pages = {334-368}, } @inproceedings{HeeringKR89, title = {Incremental Generation of Parsers}, author = {Jan Heering and Paul Klint and Jan Rekers}, year = {1989}, tags = {parsing, incremental}, researchr = {https://researchr.org/publication/HeeringKR89}, cites = {0}, citedby = {0}, pages = {179-191}, booktitle = {PLDI}, } @article{HeeringK85, title = {Towards Monolingual Programming Environments}, author = {Jan Heering and Paul Klint}, year = {1985}, doi = {10.1145/3318.3321}, url = {http://doi.acm.org/10.1145/3318.3321}, tags = {meta programming, meta-model, programming, Meta-Environment}, researchr = {https://researchr.org/publication/HeeringK85}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {7}, number = {2}, pages = {183-213}, } @article{cs-SE-9903002, title = {An Algebraic Programming Style for Numerical Software and its Optimization}, author = {T. B. Dinesh and Magne Haveraaen and Jan Heering}, year = {1999}, url = {http://arxiv.org/abs/cs.SE/9903002}, note = {informal publication}, tags = {optimization, algebra, programming, program optimization}, researchr = {https://researchr.org/publication/cs-SE-9903002}, cites = {0}, citedby = {1}, journal = {CoRR}, volume = {cs.SE/9903002}, } @inproceedings{HeeringM02, title = {Minitrack Introduction}, author = {Jan Heering and Marjan Mernik}, year = {2002}, url = {http://csdl.computer.org/comp/proceedings/hicss/2002/1435/09/14350279.pdf}, researchr = {https://researchr.org/publication/HeeringM02}, cites = {0}, citedby = {0}, pages = {279}, booktitle = {HICSS}, } @article{BergstraDFH97, title = {Toward a Complete Transformational Toolkit for Compilers}, author = {Jan A. Bergstra and T. B. Dinesh and John Field and Jan Heering}, year = {1997}, doi = {10.1145/265943.265944}, url = {http://doi.acm.org/10.1145/265943.265944}, tags = {completeness, compiler, transformation}, researchr = {https://researchr.org/publication/BergstraDFH97}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {19}, number = {5}, pages = {639-684}, } @article{cs-PL-0005002, title = {Application Software, Domain-Specific Languages, and Language Design Assistants}, author = {Jan Heering}, year = {2000}, url = {http://arxiv.org/abs/cs.PL/0005002}, note = {informal publication}, tags = {language design, design, domain-specific language}, researchr = {https://researchr.org/publication/cs-PL-0005002}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {cs.PL/0005002}, } @article{BergstraH94, title = {Which Data Types have omega-complete Initial Algebra Specifications?}, author = {Jan A. Bergstra and Jan Heering}, year = {1994}, tags = {completeness, data-flow, algebraic specification, algebra}, researchr = {https://researchr.org/publication/BergstraH94}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {124}, number = {1}, pages = {149-168}, } @article{cs-PL-9911001, title = {Semantics of Programming Languages: A Tool-Oriented Approach}, author = {Jan Heering and Paul Klint}, year = {1999}, url = {http://arxiv.org/abs/cs.PL/9911001}, note = {informal publication}, tags = {programming languages, object-oriented programming, semantics, programming, subject-oriented programming, systematic-approach, feature-oriented programming}, researchr = {https://researchr.org/publication/cs-PL-9911001}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {cs.PL/9911001}, } @article{HeeringKR92, title = {Incremental Generation of Lexical Scanners}, author = {Jan Heering and Paul Klint and Jan Rekers}, year = {1992}, doi = {10.1145/133233.133240}, url = {http://doi.acm.org/10.1145/133233.133240}, tags = {incremental}, researchr = {https://researchr.org/publication/HeeringKR92}, cites = {0}, citedby = {1}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {14}, number = {4}, pages = {490-520}, } @article{MernikHS05, title = {When and how to develop domain-specific languages}, author = {Marjan Mernik and Jan Heering and Anthony M. Sloane}, year = {2005}, doi = {10.1145/1118890.1118892}, url = {http://doi.acm.org/10.1145/1118890.1118892}, tags = {programming languages, DSL engineering, program analysis, pattern language, DSL implementation approach, dsl examples, language engineering, points-to analysis, domain analysis, analysis, language design, source-to-source, survey, DSL, programming, design, systematic-approach, open-source, domain-specific language}, researchr = {https://researchr.org/publication/MernikHS05}, cites = {154}, citedby = {3}, journal = {ACM Computing Surveys}, volume = {37}, number = {4}, pages = {316-344}, } @article{BergstraH95, title = {Homomorphism Preserving Algebraic Specifications Require Hidden Sorts}, author = {Jan A. Bergstra and Jan Heering}, year = {1995}, month = {May}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/BergstraH95}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {119}, number = {1}, pages = {119-123}, } @inproceedings{BergstraDFH96, title = {A Complete Transformational Toolkit for Compilers}, author = {Jan A. Bergstra and T. B. Dinesh and John Field and Jan Heering}, year = {1996}, tags = {completeness, compiler, transformation}, researchr = {https://researchr.org/publication/BergstraDFH96}, cites = {0}, citedby = {0}, pages = {92-107}, booktitle = {Programming Languages and Systems - ESOP 96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings}, editor = {Hanne Riis Nielson}, volume = {1058}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-61055-3}, } @article{cs-PL-0007008, title = {Compiling Language Definitions: The ASF+SDF Compiler}, author = {Mark G. J. van den Brand and Jan Heering and Paul Klint and Pieter A. Olivier}, year = {2000}, url = {http://arxiv.org/abs/cs.PL/0007008}, note = {informal publication}, tags = {SDF, compiler, ASF+SDF}, researchr = {https://researchr.org/publication/cs-PL-0007008}, cites = {0}, citedby = {0}, journal = {CoRR}, volume = {cs.PL/0007008}, } @article{HeeringK00, title = {Semantics of Programming Languages: A Tool-Oriented Approach}, author = {Jan Heering and Paul Klint}, year = {2000}, tags = {programming languages, object-oriented programming, semantics, programming, subject-oriented programming, systematic-approach, feature-oriented programming}, researchr = {https://researchr.org/publication/HeeringK00}, cites = {0}, citedby = {0}, journal = {SIGPLAN Notices}, volume = {35}, number = {3}, pages = {39-48}, } @article{HeeringKR90, title = {Incremental Generation of Parsers}, author = {Jan Heering and Paul Klint and Jan Rekers}, year = {1990}, url = {http://www.computer.org/tse/ts1990/e1344abs.htm}, tags = {parsing, incremental}, researchr = {https://researchr.org/publication/HeeringKR90}, cites = {0}, citedby = {1}, journal = {IEEE Trans. Software Eng.}, volume = {16}, number = {12}, pages = {1344-1351}, } @article{HeeringHKR89, title = {The syntax definition formalism {SDF} - reference manual}, author = {Jan Heering and P. R. H. Hendriks and Paul Klint and Jan Rekers}, year = {1989}, doi = {10.1145/71605.71607}, url = {http://doi.acm.org/10.1145/71605.71607}, tags = {programming languages, syntax definition, SDF, lexical syntax, abstract syntax, disambiguation, language design, C++, programming, context-aware, incremental, design, ASF+SDF}, researchr = {https://researchr.org/publication/HeeringHKR89}, cites = {0}, citedby = {4}, journal = {SIGPLAN Notices}, volume = {24}, number = {11}, pages = {43-75}, } @article{FieldHD98, title = {Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation}, author = {John Field and Jan Heering and T. B. Dinesh}, year = {1998}, doi = {10.1145/289121.289123}, url = {http://doi.acm.org/10.1145/289121.289123}, tags = {partial evaluation}, researchr = {https://researchr.org/publication/FieldHD98}, cites = {0}, citedby = {0}, journal = {ACM Computing Surveys}, volume = {30}, number = {3es}, pages = {2}, } @article{Heering86, title = {Partial Evaluation and omega-Completeness of Algebraic Specifications}, author = {Jan Heering}, year = {1986}, tags = {completeness, algebraic specification, algebra, partial evaluation}, researchr = {https://researchr.org/publication/Heering86}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {43}, pages = {149-167}, } @article{Heering03, title = {Quantification of structural information: on a question raised by Brooks}, author = {Jan Heering}, year = {2003}, doi = {10.1145/773126.773141}, url = {http://doi.acm.org/10.1145/773126.773141}, researchr = {https://researchr.org/publication/Heering03}, cites = {0}, citedby = {0}, journal = {ACM SIGSOFT Software Engineering Notes}, volume = {28}, number = {3}, pages = {6}, } @article{DineshHH00, title = {An algebraic programming style for numerical software and its optimization}, author = {T. B. Dinesh and Magne Haveraaen and Jan Heering}, year = {2000}, tags = {optimization, algebra, programming, program optimization}, researchr = {https://researchr.org/publication/DineshHH00}, cites = {0}, citedby = {0}, journal = {Scientific Programming}, volume = {8}, number = {4}, pages = {247-259}, } @article{HeeringKR94, title = {Lazy and Incremental Program Generation}, author = {Jan Heering and Paul Klint and Jan Rekers}, year = {1994}, doi = {10.1145/177492.177750}, url = {http://doi.acm.org/10.1145/177492.177750}, tags = {laziness, incremental}, researchr = {https://researchr.org/publication/HeeringKR94}, cites = {0}, citedby = {1}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {16}, number = {3}, pages = {1010-1023}, } @inproceedings{BrandDHJ01, title = {The {ASF+SDF} Meta-environment: A Component-Based Language Development Environment}, author = {Mark G. J. van den Brand and Arie van Deursen and Jan Heering and H. A. de Jong and Merijn de Jonge and Tobias Kuipers and Paul Klint and Leon Moonen and Pieter A. Olivier and Jeroen Scheerder and Jurgen J. Vinju and Eelco Visser and Joost Visser}, year = {2001}, doi = {10.1016/S1571-0661(04)80917-4}, url = {https://doi.org/10.1016/S1571-0661(04)80917-4}, tags = {programming languages, rule-based, meta programming, SDF, meta-model, architecture, model-driven development, source-to-source, DSL, metaprogramming, Meta-Environment, Cobol, ASF+SDF, open-source, meta-objects}, researchr = {https://researchr.org/publication/BrandDHJ01}, cites = {0}, citedby = {3}, pages = {365-370}, booktitle = {Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings}, editor = {Reinhard Wilhelm}, volume = {2027}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-41861-X}, } @article{BergstraHK90, title = {Module Algebra}, author = {Jan A. Bergstra and Jan Heering and Paul Klint}, year = {1990}, month = {April}, doi = {10.1145/77600.77621}, url = {http://doi.acm.org/10.1145/77600.77621}, tags = {rule-based, meta-model, modeling, algebra, Meta-Environment}, researchr = {https://researchr.org/publication/BergstraHK90}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {37}, number = {2}, pages = {335-372}, } @proceedings{hoa:1993, title = {Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA 93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers}, year = {1994}, tags = {term rewriting, graph-rewriting, algebra, logic, rewriting logic, rewriting}, researchr = {https://researchr.org/publication/hoa%3A1993}, cites = {0}, citedby = {0}, booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA 93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers}, conference = {hoa}, editor = {Jan Heering and Karl Meinke and Bernhard Möller and Tobias Nipkow}, volume = {816}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-58233-9}, } @proceedings{alp:1997, title = {Algebraic and Logic Programming, 6th International Joint Conference, ALP 97 - HOA 97, Southampton, U.K., Spetember 3-5, 1997, Proceedings}, year = {1997}, tags = {logic programming, algebra, programming, logic}, researchr = {https://researchr.org/publication/alp%3A1997}, cites = {0}, citedby = {0}, booktitle = {Algebraic and Logic Programming, 6th International Joint Conference, ALP 97 - HOA 97, Southampton, U.K., Spetember 3-5, 1997, Proceedings}, conference = {icalp}, editor = {Michael Hanus and Jan Heering and Karl Meinke}, volume = {1298}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-63459-2}, } @proceedings{hoa:1995, title = {Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA 95, Paderborn, Germany, September 21-22, 1995, Selected Papers}, year = {1996}, tags = {term rewriting, graph-rewriting, algebra, logic, rewriting logic, rewriting}, researchr = {https://researchr.org/publication/hoa%3A1995}, cites = {0}, citedby = {0}, booktitle = {Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA 95, Paderborn, Germany, September 21-22, 1995, Selected Papers}, conference = {hoa}, editor = {Gilles Dowek and Jan Heering and Karl Meinke and Bernhard Möller}, volume = {1074}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-61254-8}, } @book{DHP:1996, title = {Language Prototyping. An Algebraic Specification Approach}, year = {1996}, month = {September}, tags = {algebraic specification, algebra, systematic-approach}, researchr = {https://researchr.org/publication/DHP%3A1996}, cites = {0}, citedby = {2}, editor = {Arie van Deursen and Jan Heering and Paul Klint}, volume = {5}, series = {AMAST Series in Computing}, address = {Singapore}, publisher = {World Scientific}, }