BibTeX records: Jan Heering

download as .bib file

@article{DBLP:journals/corr/abs-2212-02344,
  author       = {Krzysztof R. Apt and
                  Jan Heering},
  title        = {Characterization of incentive compatible single-parameter mechanisms
                  revisited},
  journal      = {CoRR},
  volume       = {abs/2212.02344},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2212.02344},
  doi          = {10.48550/ARXIV.2212.02344},
  eprinttype    = {arXiv},
  eprint       = {2212.02344},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2212-02344.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Heering15,
  author       = {Jan Heering},
  title        = {Generative software complexity and software understanding},
  journal      = {Sci. Comput. Program.},
  volume       = {97},
  pages        = {82--85},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2013.11.017},
  doi          = {10.1016/J.SCICO.2013.11.017},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Heering15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HeeringM08,
  author       = {Jan Heering and
                  Marjan Mernik},
  editor       = {Kevin J. Sullivan and
                  Rick Kazman},
  title        = {Domain-specific languages as key tools for ulssis engineering},
  booktitle    = {Proceedings of the 2nd international workshop on Ultra-large-scale
                  software-intensive systems, ULSSIS@ICSE 2008, Leipzig, Germany, May
                  10-11, 2008},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1370700.1370701},
  doi          = {10.1145/1370700.1370701},
  timestamp    = {Mon, 08 Jul 2019 09:35:57 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/HeeringM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/MernikHS05,
  author       = {Marjan Mernik and
                  Jan Heering and
                  Anthony M. Sloane},
  title        = {When and how to develop domain-specific languages},
  journal      = {{ACM} Comput. Surv.},
  volume       = {37},
  number       = {4},
  pages        = {316--344},
  year         = {2005},
  url          = {https://doi.org/10.1145/1118890.1118892},
  doi          = {10.1145/1118890.1118892},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/MernikHS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Heering03,
  author       = {Jan Heering},
  title        = {Quantification of structural information: on a question raised by
                  Brooks},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {28},
  number       = {3},
  pages        = {6},
  year         = {2003},
  url          = {https://doi.org/10.1145/773126.773141},
  doi          = {10.1145/773126.773141},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Heering03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/Sloane03,
  author       = {Jan Heering and
                  Marjan Mernik and
                  Anthony M. Sloane},
  title        = {Domain-Specific Languages Minitrack Introduction},
  booktitle    = {36th Hawaii International Conference on System Sciences {(HICSS-36}
                  2003), {CD-ROM} / Abstracts Proceedings, January 6-9, 2003, Big Island,
                  HI, {USA}},
  pages        = {323},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/HICSS.2003.1174888},
  doi          = {10.1109/HICSS.2003.1174888},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/Sloane03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BrandHKO02,
  author       = {Mark van den Brand and
                  Jan Heering and
                  Paul Klint and
                  Pieter A. Olivier},
  title        = {Compiling language definitions: the {ASF+SDF} compiler},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {24},
  number       = {4},
  pages        = {334--368},
  year         = {2002},
  url          = {https://doi.org/10.1145/567097.567099},
  doi          = {10.1145/567097.567099},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/BrandHKO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/HeeringM02,
  author       = {Jan Heering and
                  Marjan Mernik},
  title        = {Minitrack Introduction},
  booktitle    = {35th Hawaii International Conference on System Sciences {(HICSS-35}
                  2002), {CD-ROM} / Abstracts Proceedings, 7-10 January 2002, Big Island,
                  HI, {USA}},
  pages        = {279},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.ieeecomputersociety.org/10.1109/HICSS.2002.10113},
  doi          = {10.1109/HICSS.2002.10113},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/HeeringM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/BrandDHJJKKMOSVVV01,
  author       = {Mark 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},
  editor       = {Reinhard Wilhelm},
  title        = {The {ASF+SDF} Meta-environment: {A} Component-Based Language Development
                  Environment},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {2027},
  pages        = {365--370},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45306-7\_26},
  doi          = {10.1007/3-540-45306-7\_26},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/BrandDHJJKKMOSVVV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrandDHJJKKMOSVVV01,
  author       = {Mark van den Brand and
                  Arie van Deursen and
                  Jan Heering and
                  Hayco 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},
  editor       = {Mark van den Brand and
                  Didier Parigot},
  title        = {The Asf+Sdf Meta-Environment: a Component-Based Language Development
                  Environment},
  booktitle    = {First Workshop on Language Descriptions, Tools and Applications, {LDTA}
                  2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, April 7, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {44},
  number       = {2},
  pages        = {3--8},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)80917-4},
  doi          = {10.1016/S1571-0661(04)80917-4},
  timestamp    = {Tue, 13 Dec 2022 10:44:30 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BrandDHJJKKMOSVVV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/HeeringK00,
  author       = {Jan Heering and
                  Paul Klint},
  title        = {Semantics of Programming Languages: {A} Tool-Oriented Approach},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {35},
  number       = {3},
  pages        = {39--48},
  year         = {2000},
  url          = {https://doi.org/10.1145/351159.351173},
  doi          = {10.1145/351159.351173},
  timestamp    = {Tue, 26 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/HeeringK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sp/DineshHH00,
  author       = {T. B. Dinesh and
                  Magne Haveraaen and
                  Jan Heering},
  title        = {An algebraic programming style for numerical software and its optimization},
  journal      = {Sci. Program.},
  volume       = {8},
  number       = {4},
  pages        = {247--259},
  year         = {2000},
  url          = {https://doi.org/10.1155/2000/494281},
  doi          = {10.1155/2000/494281},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sp/DineshHH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0005002,
  author       = {Jan Heering},
  title        = {Application Software, Domain-Specific Languages, and Language Design
                  Assistants},
  journal      = {CoRR},
  volume       = {cs.PL/0005002},
  year         = {2000},
  url          = {https://arxiv.org/abs/cs/0005002},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-0005002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0007008,
  author       = {Mark van den Brand and
                  Jan Heering and
                  Paul Klint and
                  Pieter A. Olivier},
  title        = {Compiling Language Definitions: The {ASF+SDF} Compiler},
  journal      = {CoRR},
  volume       = {cs.PL/0007008},
  year         = {2000},
  url          = {https://arxiv.org/abs/cs/0007008},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-0007008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-9911001,
  author       = {Jan Heering and
                  Paul Klint},
  title        = {Semantics of Programming Languages: {A} Tool-Oriented Approach},
  journal      = {CoRR},
  volume       = {cs.PL/9911001},
  year         = {1999},
  url          = {https://arxiv.org/abs/cs/9911001},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-9911001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-9903002,
  author       = {T. B. Dinesh and
                  Magne Haveraaen and
                  Jan Heering},
  title        = {An Algebraic Programming Style for Numerical Software and its Optimization},
  journal      = {CoRR},
  volume       = {cs.SE/9903002},
  year         = {1999},
  url          = {https://arxiv.org/abs/cs/9903002},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-SE-9903002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/FieldHD98,
  author       = {John Field and
                  Jan Heering and
                  T. B. Dinesh},
  title        = {Equations as a Uniform Framework for Partial Evaluation and Abstract
                  Interpretation},
  journal      = {{ACM} Comput. Surv.},
  volume       = {30},
  number       = {3es},
  pages        = {2},
  year         = {1998},
  url          = {https://doi.org/10.1145/289121.289123},
  doi          = {10.1145/289121.289123},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/FieldHD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BergstraDFH97,
  author       = {Jan A. Bergstra and
                  T. B. Dinesh and
                  John Field and
                  Jan Heering},
  title        = {Toward a Complete Transformational Toolkit for Compilers},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {19},
  number       = {5},
  pages        = {639--684},
  year         = {1997},
  url          = {https://doi.org/10.1145/265943.265944},
  doi          = {10.1145/265943.265944},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/BergstraDFH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alp/1997,
  editor       = {Michael Hanus and
                  Jan Heering and
                  Karl Meinke},
  title        = {Algebraic and Logic Programming, 6th International Joint Conference,
                  {ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1298},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0026998},
  doi          = {10.1007/BFB0026998},
  isbn         = {3-540-63459-2},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/1997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/amast/DeursenHK96,
  author       = {Arie van Deursen and
                  Jan Heering and
                  Paul Klint},
  title        = {Language Prototyping: An Algebraic Specification Approach},
  series       = {{AMAST} Series in Computing},
  volume       = {5},
  publisher    = {World Scientific},
  year         = {1996},
  url          = {https://doi.org/10.1142/3163},
  doi          = {10.1142/3163},
  isbn         = {978-981-02-2732-6},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/amast/DeursenHK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BergstraDFH96,
  author       = {Jan A. Bergstra and
                  T. B. Dinesh and
                  John Field and
                  Jan Heering},
  editor       = {Hanne Riis Nielson},
  title        = {A Complete Transformational Toolkit for Compilers},
  booktitle    = {Programming Languages and Systems - ESOP'96, 6th European Symposium
                  on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1058},
  pages        = {92--107},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61055-3\_31},
  doi          = {10.1007/3-540-61055-3\_31},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/BergstraDFH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hoa/1995,
  editor       = {Gilles Dowek and
                  Jan Heering and
                  Karl Meinke and
                  Bernhard M{\"{o}}ller},
  title        = {Higher-Order Algebra, Logic, and Term Rewriting, Second International
                  Workshop, {HOA} '95, Paderborn, Germany, September 21-22, 1995, Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1074},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61254-8},
  doi          = {10.1007/3-540-61254-8},
  isbn         = {3-540-61254-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hoa/1995.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BergstraH95,
  author       = {Jan A. Bergstra and
                  Jan Heering},
  title        = {Homomorphism Preserving Algebraic Specifications Require Hidden Sorts},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {1},
  pages        = {119--123},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1079},
  doi          = {10.1006/INCO.1995.1079},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BergstraH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraH94,
  author       = {Jan A. Bergstra and
                  Jan Heering},
  title        = {Which Data Types have omega-complete Initial Algebra Specifications?},
  journal      = {Theor. Comput. Sci.},
  volume       = {124},
  number       = {1},
  pages        = {149--168},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90057-4},
  doi          = {10.1016/0304-3975(94)90057-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HeeringKR94,
  author       = {Jan Heering and
                  Paul Klint and
                  J. Rekers},
  title        = {Lazy and Incremental Program Generation},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {16},
  number       = {3},
  pages        = {1010--1023},
  year         = {1994},
  url          = {https://doi.org/10.1145/177492.177750},
  doi          = {10.1145/177492.177750},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/HeeringKR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hoa/1993,
  editor       = {Jan Heering and
                  Karl Meinke and
                  Bernhard M{\"{o}}ller and
                  Tobias Nipkow},
  title        = {Higher-Order Algebra, Logic, and Term Rewriting, First International
                  Workshop, {HOA} '93, Amsterdam, The Netherlands, September 23-24,
                  1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {816},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58233-9},
  doi          = {10.1007/3-540-58233-9},
  isbn         = {3-540-58233-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hoa/1993.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HeeringKR92,
  author       = {Jan Heering and
                  Paul Klint and
                  J. Rekers},
  title        = {Incremental Generation of Lexical Scanners},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {14},
  number       = {4},
  pages        = {490--520},
  year         = {1992},
  url          = {https://doi.org/10.1145/133233.133240},
  doi          = {10.1145/133233.133240},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/HeeringKR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BergstraHK90,
  author       = {Jan A. Bergstra and
                  Jan Heering and
                  Paul Klint},
  title        = {Module Algebra},
  journal      = {J. {ACM}},
  volume       = {37},
  number       = {2},
  pages        = {335--372},
  year         = {1990},
  url          = {https://doi.org/10.1145/77600.77621},
  doi          = {10.1145/77600.77621},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/BergstraHK90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HeeringKR90,
  author       = {Jan Heering and
                  Paul Klint and
                  J. Rekers},
  title        = {Incremental Generation of Parsers},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {16},
  number       = {12},
  pages        = {1344--1351},
  year         = {1990},
  url          = {https://doi.org/10.1109/32.62443},
  doi          = {10.1109/32.62443},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/HeeringKR90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/HeeringHKR89,
  author       = {Jan Heering and
                  P. R. H. Hendriks and
                  Paul Klint and
                  J. Rekers},
  title        = {The syntax definition formalism {SDF} - reference manual},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {24},
  number       = {11},
  pages        = {43--75},
  year         = {1989},
  url          = {https://doi.org/10.1145/71605.71607},
  doi          = {10.1145/71605.71607},
  timestamp    = {Tue, 26 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/HeeringHKR89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HeeringKR89,
  author       = {Jan Heering and
                  Paul Klint and
                  J. Rekers},
  editor       = {Richard L. Wexelblat},
  title        = {Incremental Generation of Parsers},
  booktitle    = {Proceedings of the {ACM} SIGPLAN'89 Conference on Programming Language
                  Design and Implementation (PLDI), Portland, Oregon, USA, June 21-23,
                  1989},
  pages        = {179--191},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/73141.74834},
  doi          = {10.1145/73141.74834},
  timestamp    = {Fri, 09 Jul 2021 14:03:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/HeeringKR89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/HeeringK86,
  author       = {Jan Heering and
                  Paul Klint},
  title        = {The efficiency of the equation interpreter compared with the {UNH}
                  Prolog interpreter},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {21},
  number       = {2},
  pages        = {18--21},
  year         = {1986},
  url          = {https://doi.org/10.1145/15022.15023},
  doi          = {10.1145/15022.15023},
  timestamp    = {Mon, 12 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/HeeringK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Heering86,
  author       = {Jan Heering},
  title        = {Partial Evaluation and omega-Completeness of Algebraic Specifications},
  journal      = {Theor. Comput. Sci.},
  volume       = {43},
  pages        = {149--167},
  year         = {1986},
  url          = {https://doi.org/10.1016/0304-3975(86)90173-8},
  doi          = {10.1016/0304-3975(86)90173-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Heering86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HeeringK85,
  author       = {Jan Heering and
                  Paul Klint},
  title        = {Towards Monolingual Programming Environments},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {7},
  number       = {2},
  pages        = {183--213},
  year         = {1985},
  url          = {https://doi.org/10.1145/3318.3321},
  doi          = {10.1145/3318.3321},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/HeeringK85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics