publications:
- title: "Random Access to Abstract Data Types"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160135.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160135.htm"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/Erwig00"
  cites: 0
  citedby: 0
  pages: "135-149"
  booktitle: "Algebraic Methodology and Software Technology.  8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings"
  editor:
  - name: "Teodor Rus"
    link: "https://researchr.org/alias/teodor-rus"
  volume: "1816"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67530-2"
  kind: "inproceedings"
  key: "Erwig00"
- title: "Inferring templates from spreadsheets"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1134312"
  links:
    doi: "http://doi.acm.org/10.1145/1134312"
  researchr: "https://researchr.org/publication/AbrahamE06%3A1"
  cites: 0
  citedby: 0
  pages: "182-191"
  booktitle: "28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006"
  editor:
  - name: "Leon J. Osterweil"
    link: "https://researchr.org/alias/leon-j.-osterweil"
  - name: "H. Dieter Rombach"
    link: "https://researchr.org/alias/h.-dieter-rombach"
  - name: "Mary Lou Soffa"
    link: "https://researchr.org/alias/mary-lou-soffa"
  publisher: "ACM"
  isbn: "1-59593-375-1"
  kind: "inproceedings"
  key: "AbrahamE06:1"
- title: "Semantics of Visual Languages"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1997"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/Erwig97%3A1"
  cites: 0
  citedby: 0
  pages: "304-311"
  booktitle: "VL"
  kind: "inproceedings"
  key: "Erwig97:1"
- title: "GoalDebug: A Spreadsheet Debugger for End Users"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.39"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.39"
  tags:
  - "debugging"
  researchr: "https://researchr.org/publication/AbrahamE07%3A0"
  cites: 0
  citedby: 0
  pages: "251-260"
  booktitle: "29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "AbrahamE07:0"
- title: "Visual Specification of Spatio-Temporal Developments"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  year: "1999"
  doi: "http://computer.org/proceedings/vl/0216/02160187abs.htm"
  links:
    doi: "http://computer.org/proceedings/vl/0216/02160187abs.htm"
  researchr: "https://researchr.org/publication/ErwigS99%3A1"
  cites: 0
  citedby: 0
  pages: "187-188"
  booktitle: "VL"
  kind: "inproceedings"
  key: "ErwigS99:1"
- title: "A rule-based language for programming software updates"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Deling Ren"
    link: "https://researchr.org/alias/deling-ren"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/570186.570193"
  links:
    doi: "http://doi.acm.org/10.1145/570186.570193"
  tags:
  - "programming languages"
  - "rule-based"
  - "rules"
  - "programming"
  researchr: "https://researchr.org/publication/ErwigR02"
  cites: 0
  citedby: 0
  pages: "67-78"
  booktitle: "Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002"
  editor:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  publisher: "ACM"
  isbn: "1-58113-606-4"
  kind: "inproceedings"
  key: "ErwigR02"
- title: "A DSL for Explaining Probabilistic Reasoning"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Eric Walkingshaw"
    link: "https://researchr.org/alias/eric-walkingshaw"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03034-5_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-03034-5_16"
  tags:
  - "DSL"
  researchr: "https://researchr.org/publication/ErwigW09"
  cites: 0
  citedby: 0
  pages: "335-359"
  booktitle: "Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings"
  editor:
  - name: "Walid Mohamed Taha"
    link: "https://researchr.org/alias/walid-mohamed-taha"
  volume: "5658"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-03033-8"
  kind: "inproceedings"
  key: "ErwigW09"
- title: "Categorical Programming with Abstract Data Types"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1548/15480406.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1548/15480406.htm"
  tags:
  - "data-flow programming"
  - "data-flow"
  - "programming"
  researchr: "https://researchr.org/publication/Erwig98%3A0"
  cites: 0
  citedby: 0
  pages: "406-421"
  booktitle: "Algebraic Methodology and Software Technology, 7th International Conference, AMAST  98, Amazonia, Brasil, January 4-8, 1999, Proceedings"
  editor:
  - name: "Armando Martin Haeberer"
    link: "https://researchr.org/alias/armando-martin-haeberer"
  volume: "1548"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65462-3"
  kind: "inproceedings"
  key: "Erwig98:0"
- title: "Robust Learning for Adaptive Programs by Leveraging Program Structure"
  author:
  - name: "Jervis Pinto"
    link: "https://researchr.org/alias/jervis-pinto"
  - name: "Alan Fern"
    link: "https://researchr.org/alias/alan-fern"
  - name: "Tim Bauer"
    link: "https://researchr.org/alias/tim-bauer"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/ICMLA.2010.150"
  links:
    doi: "http://dx.doi.org/10.1109/ICMLA.2010.150"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icmla/PintoFBE10"
  researchr: "https://researchr.org/publication/PintoFBE10"
  cites: 0
  citedby: 0
  pages: "943-948"
  booktitle: "The Ninth International Conference on Machine Learning and Applications, ICMLA 2010, Washington, DC, USA, 12-14 December 2010"
  editor:
  - name: "Sorin Draghici"
    link: "https://researchr.org/alias/sorin-draghici"
  - name: "Taghi M. Khoshgoftaar"
    link: "https://researchr.org/alias/taghi-m.-khoshgoftaar"
  - name: "Vasile Palade"
    link: "https://researchr.org/alias/vasile-palade"
  - name: "Witold Pedrycz"
    link: "https://researchr.org/alias/witold-pedrycz"
  - name: "M. Arif Wani"
    link: "https://researchr.org/alias/m.-arif-wani"
  - name: "Xingquan Zhu"
    link: "https://researchr.org/alias/xingquan-zhu"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-4300-0"
  kind: "inproceedings"
  key: "PintoFBE10"
- title: "Gencel: a program generator for correct spreadsheets"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Steve Kollmansberger"
    link: "https://researchr.org/alias/steve-kollmansberger"
  - name: "Irene Cooperstein"
    link: "https://researchr.org/alias/irene-cooperstein"
  year: "2006"
  doi: "http://dx.doi.org/10.1017/S0956796805005794"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796805005794"
  researchr: "https://researchr.org/publication/ErwigAKC06"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "16"
  number: "3"
  pages: "293-325"
  kind: "article"
  key: "ErwigAKC06"
- title: "Program fields for continuous software"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Eric Walkingshaw"
    link: "https://researchr.org/alias/eric-walkingshaw"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1882362.1882384"
  links:
    doi: "http://doi.acm.org/10.1145/1882362.1882384"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sigsoft/ErwigW10"
  researchr: "https://researchr.org/publication/ErwigW10-0"
  cites: 0
  citedby: 0
  pages: "105-108"
  booktitle: "Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010"
  editor:
  - name: "Gruia-Catalin Roman"
    link: "https://researchr.org/alias/gruia-catalin-roman"
  - name: "Kevin J. Sullivan"
    link: "https://researchr.org/alias/kevin-j.-sullivan"
  publisher: "ACM"
  isbn: "978-1-4503-0427-6"
  kind: "inproceedings"
  key: "ErwigW10-0"
- title: "Parametric Fortran: program generation in scientific computing"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Zhe Fu"
    link: "https://researchr.org/alias/zhe-fu"
  - name: "Ben Pflaum"
    link: "https://researchr.org/alias/ben-pflaum"
  year: "2007"
  doi: "http://dx.doi.org/10.1002/smr.346"
  links:
    doi: "http://dx.doi.org/10.1002/smr.346"
  researchr: "https://researchr.org/publication/ErwigFP07"
  cites: 0
  citedby: 0
  journal: "Journal of Software Maintenance"
  volume: "19"
  number: "3"
  pages: "155-182"
  kind: "article"
  key: "ErwigFP07"
- title: "A Type System Based on End-User Vocabulary"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Scott Andrew"
    link: "https://researchr.org/alias/scott-andrew"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.6"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.6"
  tags:
  - "rule-based"
  - "type system"
  researchr: "https://researchr.org/publication/AbrahamEA07"
  cites: 0
  citedby: 0
  pages: "215-222"
  booktitle: "2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 23-27 September 2007, Coeur d Alene, Idaho, USA"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-2987-5"
  kind: "inproceedings"
  key: "AbrahamEA07"
- title: "Graphs in Spatial Databases"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1994"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Erwig94%3A0"
  cites: 0
  citedby: 0
  journal: "Datenbank Rundbrief"
  volume: "14"
  pages: "65"
  kind: "article"
  key: "Erwig94:0"
- title: "Causal Reasoning with Neuron Diagrams"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Eric Walkingshaw"
    link: "https://researchr.org/alias/eric-walkingshaw"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/VLHCC.2010.23"
  links:
    doi: "http://dx.doi.org/10.1109/VLHCC.2010.23"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vl/ErwigW10"
  researchr: "https://researchr.org/publication/ErwigW10"
  cites: 0
  citedby: 0
  pages: "101-108"
  booktitle: "IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, Leganés-Madrid, Spain, 21-25 September 2010, Proceedings"
  editor:
  - name: "Christopher D. Hundhausen"
    link: "https://researchr.org/alias/christopher-d.-hundhausen"
  - name: "Emmanuel Pietriga"
    link: "https://researchr.org/alias/emmanuel-pietriga"
  - name: "Paloma Díaz"
    link: "https://researchr.org/alias/paloma-d%C3%ADaz"
  - name: "Mary Beth Rosson"
    link: "https://researchr.org/alias/mary-beth-rosson"
  publisher: "IEEE"
  isbn: "978-0-7695-4206-5"
  kind: "inproceedings"
  key: "ErwigW10"
- title: "SheetDiff: A Tool for Identifying Changes in Spreadsheets"
  author:
  - name: "Chris Chambers"
    link: "https://researchr.org/alias/chris-chambers"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Luckey"
    link: "https://researchr.org/alias/markus-luckey"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/VLHCC.2010.21"
  links:
    doi: "http://dx.doi.org/10.1109/VLHCC.2010.21"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vl/ChambersEL10"
  researchr: "https://researchr.org/publication/ChambersEL10"
  cites: 0
  citedby: 0
  pages: "85-92"
  booktitle: "IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, Leganés-Madrid, Spain, 21-25 September 2010, Proceedings"
  editor:
  - name: "Christopher D. Hundhausen"
    link: "https://researchr.org/alias/christopher-d.-hundhausen"
  - name: "Emmanuel Pietriga"
    link: "https://researchr.org/alias/emmanuel-pietriga"
  - name: "Paloma Díaz"
    link: "https://researchr.org/alias/paloma-d%C3%ADaz"
  - name: "Mary Beth Rosson"
    link: "https://researchr.org/alias/mary-beth-rosson"
  publisher: "IEEE"
  isbn: "978-0-7695-4206-5"
  kind: "inproceedings"
  key: "ChambersEL10"
- title: "ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications"
  author:
  - name: "Gregor Engels"
    link: "https://researchr.org/alias/gregor-engels"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1101908.1101929"
  links:
    doi: "http://doi.acm.org/10.1145/1101908.1101929"
  researchr: "https://researchr.org/publication/EngelsE05"
  cites: 0
  citedby: 0
  pages: "124-133"
  booktitle: "20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA"
  editor:
  - name: "David F. Redmiles"
    link: "https://researchr.org/alias/david-f.-redmiles"
  - name: "Thomas Ellman"
    link: "https://researchr.org/alias/thomas-ellman"
  - name: "Andrea Zisman"
    link: "https://researchr.org/alias/andrea-zisman"
  publisher: "ACM"
  kind: "inproceedings"
  key: "EngelsE05"
- title: "Fully Persistent Graphs - Which One To Choose?"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1997"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1467/14670123.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1467/14670123.htm"
  tags:
  - "persistent"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Erwig97"
  cites: 0
  citedby: 0
  pages: "123-140"
  booktitle: "Implementation of Functional Languages, 9th International Workshop, IFL 97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers"
  editor:
  - name: "Chris Clack"
    link: "https://researchr.org/alias/chris-clack"
  - name: "Kevin Hammond"
    link: "http://www.cs.st-andrews.ac.uk/~kh/"
  - name: "Antony J. T. Davie"
    link: "https://researchr.org/alias/antony-j.-t.-davie"
  volume: "1467"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64849-6"
  kind: "inproceedings"
  key: "Erwig97"
- title: "A visual language for the evolution of spatial relationships and its translation into a spatio-temporal calculus"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S1045-926X(02)00057-5"
  links:
    doi: "http://dx.doi.org/10.1016/S1045-926X(02)00057-5"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/ErwigS03"
  cites: 0
  citedby: 0
  journal: "Journal of Computer Languages"
  volume: "14"
  number: "2"
  pages: "181-211"
  kind: "article"
  key: "ErwigS03"
- title: "UCheck: A spreadsheet type checker for end users"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.jvlc.2006.06.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.jvlc.2006.06.001"
  researchr: "https://researchr.org/publication/AbrahamE07%3A1"
  cites: 0
  citedby: 0
  journal: "Journal of Computer Languages"
  volume: "18"
  number: "1"
  pages: "71-95"
  kind: "article"
  key: "AbrahamE07:1"
- title: "Explanations for regular expressions"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Rahul Gopinath"
    link: "http://people.oregonstate.edu/~gopinatr"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-28872-2_1"
  abstract: "Regular expressions are widely used, but they are inherently hard to understand and (re)use, which is primarily due to the lack of abstraction mechanisms that causes regular expressions to grow large very quickly. The problems with un derstandability and usability are further compounded by the viscosity, redundancy, and terseness of the notation. As a consequence, many different regular expressions for the same problem are floating around, many of them erroneous, making it quite difficult to find and use the right regular expression for a particular problem. Due to the ubiquitous use of regular expressions, the lack of understandability and usability becomes a serious software engineering problem. In this paper we present a range of independent, complementary representations that can serve as explanations of regular expressions. We provide methods to compute those representations, and we describe how these methods and the constructed explanations can be employed in a variety of usage scenarios. In addition to aiding understanding, some of the representations can also help identify faults in regular expressions. Our evaluation shows that our methods are widely applicable and can thus have a significant impact in improving the practice of software engineering."
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-28872-2_1"
  tags:
  - "redundancy"
  - "reuse"
  - "Regular Expressions"
  - "software engineering"
  - "abstraction"
  researchr: "https://researchr.org/publication/ErwigGopinath2012"
  cites: 24
  citedby: 0
  booktitle: "FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering"
  publisher: "Springer-Verlag Berlin, Heidelberg ©2012"
  kind: "inproceedings"
  key: "ErwigGopinath2012"
- title: "Mutation Operators for Spreadsheets"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/TSE.2008.73"
  links:
    doi: "http://dx.doi.org/10.1109/TSE.2008.73"
  researchr: "https://researchr.org/publication/AbrahamE09"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "35"
  number: "1"
  pages: "94-108"
  kind: "article"
  key: "AbrahamE09"
- title: "A Language for Software Variation Research"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-19440-5_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-19440-5_1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/Erwig10"
  researchr: "https://researchr.org/publication/Erwig10"
  cites: 0
  citedby: 0
  pages: "1"
  booktitle: "Software Language Engineering - Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers"
  editor:
  - name: "Brian A. Malloy"
    link: "https://researchr.org/alias/brian-a.-malloy"
  - name: "Steffen Staab"
    link: "https://researchr.org/alias/steffen-staab"
  - name: "Mark van den Brand"
    link: "https://researchr.org/alias/mark-van-den-brand"
  volume: "6563"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-19439-9"
  kind: "inproceedings"
  key: "Erwig10"
- title: "A domain-specific language for experimental game theory"
  author:
  - name: "Eric Walkingshaw"
    link: "https://researchr.org/alias/eric-walkingshaw"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2009"
  doi: "http://dx.doi.org/10.1017/S0956796809990220"
  abstract: "Experimental game theory is increasingly important for research in many fields. Unfortunately, it is poorly supported by computer tools. We have created Hagl, a domain-specific language embedded in Haskell, to reduce the development time of game-theoretic experiments and make the definition and exploration of games and strategies simple and fun."
  links:
    doi: "http://dx.doi.org/10.1017/S0956796809990220"
  tags:
  - "game development"
  - "Haskell"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/WalkingshawE09"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "19"
  number: "6"
  pages: "645-661"
  kind: "article"
  key: "WalkingshawE09"
- title: "Declarative Scripting in Haskell"
  author:
  - name: "Tim Bauer"
    link: "https://researchr.org/alias/tim-bauer"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-12107-4_21"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12107-4_21"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/BauerE09"
  cites: 0
  citedby: 0
  pages: "294-313"
  booktitle: "Software Language Engineering, Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers"
  editor:
  - name: "Mark G. J. van den Brand"
    link: "http://www.win.tue.nl/~mvdbrand/"
  - name: "Dragan Gasevic"
    link: "http://www.sfu.ca/~dgasevic/"
  - name: "Jeffrey G. Gray"
    link: "http://www.gray-area.org/"
  volume: "5969"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-12106-7"
  kind: "inproceedings"
  key: "BauerE09"
- title: "Visually Customizing Inference Rules About Apples and Oranges"
  author:
  - name: "Margaret M. Burnett"
    link: "https://researchr.org/alias/margaret-m.-burnett"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2002"
  doi: "http://computer.org/proceedings/hcc/1644/16440140abs.htm"
  links:
    doi: "http://computer.org/proceedings/hcc/1644/16440140abs.htm"
  tags:
  - "rule-based"
  - "rules"
  researchr: "https://researchr.org/publication/BurnettE02"
  cites: 0
  citedby: 0
  pages: "140-148"
  booktitle: "IEEE Symposia on Human Centric Computing Languages and Environments"
  kind: "inproceedings"
  key: "BurnettE02"
- title: "Active Patterns"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1996"
  researchr: "https://researchr.org/publication/Erwig96"
  cites: 0
  citedby: 0
  pages: "21-40"
  booktitle: "Implementation of Functional Languages, 8th International Workshop, IFL 96, Bad Godesberg, Germany, September 16-18, 1996, Selected Papers"
  editor:
  - name: "Werner E. Kluge"
    link: "https://researchr.org/alias/werner-e.-kluge"
  volume: "1268"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63237-9"
  kind: "inproceedings"
  key: "Erwig96"
- title: "Exploiting Domain-Specific Structures For End-User Programming Support Tools"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2007"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1086"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/1086"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/AbrahamE07"
  cites: 0
  citedby: 0
  booktitle: "End-User Software Engineering, 18.02. - 23.02.2007"
  editor:
  - name: "Margaret M. Burnett"
    link: "https://researchr.org/alias/margaret-m.-burnett"
  - name: "Gregor Engels"
    link: "https://researchr.org/alias/gregor-engels"
  - name: "Brad A. Myers"
    link: "http://www.cs.cmu.edu/~bam/"
  - name: "Gregg Rothermel"
    link: "https://researchr.org/alias/gregg-rothermel"
  volume: "07081"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "inproceedings"
  key: "AbrahamE07"
- title: "Spezifikation von Datenmodellen mittels mehrstufiger Algebra"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1993"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/Erwig93%3A0"
  cites: 0
  citedby: 0
  pages: "45-49"
  booktitle: "Grundlagen von Datenbanken"
  kind: "inproceedings"
  key: "Erwig93:0"
- title: "Programs Are Abstract Data Types"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2001"
  doi: "http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260400abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260400abs.htm"
  tags:
  - "data-flow programming"
  - "data-flow"
  researchr: "https://researchr.org/publication/Erwig01%3A0"
  cites: 0
  citedby: 0
  pages: "400-403"
  booktitle: "16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1426-X"
  kind: "inproceedings"
  key: "Erwig01:0"
- title: "Abstract Syntax and Semantics of Visual Languages"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1998"
  tags:
  - "semantics"
  - "abstract syntax"
  researchr: "https://researchr.org/publication/Erwig98%3A2"
  cites: 0
  citedby: 0
  journal: "Journal of Computer Languages"
  volume: "9"
  number: "5"
  pages: "461-483"
  kind: "article"
  key: "Erwig98:2"
- title: "DEAL - A Language for Depicting Algorithms"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1994"
  researchr: "https://researchr.org/publication/Erwig94"
  cites: 0
  citedby: 0
  pages: "184-185"
  booktitle: "VL"
  kind: "inproceedings"
  key: "Erwig94"
- title: "Functional Programming with Graphs"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1997"
  tags:
  - "functional programming"
  - "graph-rewriting"
  - "programming"
  - "rewriting"
  researchr: "https://researchr.org/publication/Erwig97%3A0"
  cites: 0
  citedby: 0
  pages: "52-65"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "Erwig97:0"
- title: "A generic recursion toolbox for Haskell or: scrap your boilerplate systematically"
  author:
  - name: "Deling Ren"
    link: "https://researchr.org/alias/deling-ren"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1159842.1159845"
  links:
    doi: "http://doi.acm.org/10.1145/1159842.1159845"
  tags:
  - "Haskell"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/RenE06"
  cites: 0
  citedby: 0
  pages: "13-24"
  booktitle: "Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006"
  editor:
  - name: "Andres Löh"
    link: "http://people.cs.uu.nl/andres/"
  publisher: "ACM"
  isbn: "1-59593-489-8"
  kind: "inproceedings"
  key: "RenE06"
- title: "Automatic detection of dimension errors in spreadsheets"
  author:
  - name: "Chris Chambers"
    link: "https://researchr.org/alias/chris-chambers"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.jvlc.2009.04.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.jvlc.2009.04.002"
  researchr: "https://researchr.org/publication/ChambersE09-0"
  cites: 0
  citedby: 0
  journal: "Journal of Computer Languages"
  volume: "20"
  number: "4"
  pages: "269-283"
  kind: "article"
  key: "ChambersE09-0"
- title: "Vague Regions"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  year: "1997"
  doi: "db/conf/ssd/ErwigS97.html"
  researchr: "https://researchr.org/publication/ErwigS97%3A0"
  cites: 0
  citedby: 0
  pages: "298-320"
  booktitle: "Advances in Spatial Databases, 5th International Symposium, SSD 97, Berlin, Germany, July 15-18, 1997, Proceedings"
  editor:
  - name: "Michel Scholl"
    link: "https://researchr.org/alias/michel-scholl"
  - name: "Agnès Voisard"
    link: "https://researchr.org/alias/agn%C3%A8s-voisard"
  volume: "1262"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63238-7"
  kind: "inproceedings"
  key: "ErwigS97:0"
- title: "A visual language for representing and explaining strategies in game theory"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Eric Walkingshaw"
    link: "https://researchr.org/alias/eric-walkingshaw"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/VLHCC.2008.4639067"
  links:
    doi: "http://dx.doi.org/10.1109/VLHCC.2008.4639067"
  researchr: "https://researchr.org/publication/ErwigW08"
  cites: 0
  citedby: 1
  pages: "101-108"
  booktitle: "IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "ErwigW08"
- title: "AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2006.11"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2006.11"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/AbrahamE06"
  cites: 0
  citedby: 0
  pages: "43-50"
  booktitle: "2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 4-8 September 2006, Brighton, UK"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2586-5"
  kind: "inproceedings"
  key: "AbrahamE06"
- title: "A language for software variation research"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1868294.1868296"
  links:
    doi: "http://doi.acm.org/10.1145/1868294.1868296"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/Erwig10"
  researchr: "https://researchr.org/publication/Erwig10-0"
  cites: 0
  citedby: 0
  pages: "3-12"
  booktitle: "Generative Programming And Component Engineering, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, Eindhoven, The Netherlands, October 10-13, 2010"
  editor:
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  - name: "Jaakko Järvi"
    link: "http://parasol.tamu.edu/~jarvi/"
  publisher: "ACM"
  isbn: "978-1-4503-0154-1"
  kind: "inproceedings"
  key: "Erwig10-0"
- title: "Spatio-temporal Models and Languages: An Approach Based on Data Types"
  author:
  - name: "Ralf Hartmut Güting"
    link: "https://researchr.org/alias/ralf-hartmut-g%C3%BCting"
  - name: "Michael H. Böhlen"
    link: "https://researchr.org/alias/michael-h.-b%C3%B6hlen"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Christian S. Jensen"
    link: "https://researchr.org/alias/christian-s.-jensen"
  - name: "Nikos A. Lorentzos"
    link: "https://researchr.org/alias/nikos-a.-lorentzos"
  - name: "Enrico Nardelli"
    link: "https://researchr.org/alias/enrico-nardelli"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  - name: "Jose Ramon Rios Viqueira"
    link: "https://researchr.org/alias/jose-ramon-rios-viqueira"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2520&spage=117"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2520&spage=117"
  tags:
  - "rule-based"
  - "data-flow language"
  - "modeling language"
  - "language modeling"
  - "data-flow"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/GutingBEJLNSV03"
  cites: 0
  citedby: 0
  pages: "117-176"
  booktitle: "Spatio-Temporal Databases: The CHOROCHRONOS Approach"
  editor:
  - name: "Manolis Koubarakis"
    link: "https://researchr.org/alias/manolis-koubarakis"
  - name: "Timos K. Sellis"
    link: "https://researchr.org/alias/timos-k.-sellis"
  - name: "Andrew U. Frank"
    link: "https://researchr.org/alias/andrew-u.-frank"
  - name: "Stéphane Grumbach"
    link: "https://researchr.org/alias/st%C3%A9phane-grumbach"
  - name: "Ralf Hartmut Güting"
    link: "https://researchr.org/alias/ralf-hartmut-g%C3%BCting"
  - name: "Christian S. Jensen"
    link: "https://researchr.org/alias/christian-s.-jensen"
  - name: "Nikos A. Lorentzos"
    link: "https://researchr.org/alias/nikos-a.-lorentzos"
  - name: "Yannis Manolopoulos"
    link: "https://researchr.org/alias/yannis-manolopoulos"
  - name: "Enrico Nardelli"
    link: "https://researchr.org/alias/enrico-nardelli"
  - name: "Barbara Pernici"
    link: "https://researchr.org/alias/barbara-pernici"
  - name: "Hans-Jörg Schek"
    link: "https://researchr.org/alias/hans-j%C3%B6rg-schek"
  - name: "Michel Scholl"
    link: "https://researchr.org/alias/michel-scholl"
  - name: "Babis Theodoulidis"
    link: "https://researchr.org/alias/babis-theodoulidis"
  - name: "Nectaria Tryfona"
    link: "https://researchr.org/alias/nectaria-tryfona"
  volume: "2520"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40552-6"
  kind: "inproceedings"
  key: "GutingBEJLNSV03"
- title: "Test-driven goal-directed debugging in spreadsheets"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/VLHCC.2008.4639073"
  links:
    doi: "http://dx.doi.org/10.1109/VLHCC.2008.4639073"
  tags:
  - "testing"
  - "debugging"
  researchr: "https://researchr.org/publication/AbrahamE08"
  cites: 0
  citedby: 0
  pages: "131-138"
  booktitle: "IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "AbrahamE08"
- title: "Visual explanations of probabilistic reasoning"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Eric Walkingshaw"
    link: "https://researchr.org/alias/eric-walkingshaw"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295309"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295309"
  researchr: "https://researchr.org/publication/ErwigW09-0"
  cites: 0
  citedby: 1
  pages: "23-27"
  booktitle: "IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2009, Corvallis, OR, USA, 20-24 September 2009, Proceedings"
  publisher: "IEEE"
  isbn: "978-1-4244-4876-0"
  kind: "inproceedings"
  key: "ErwigW09-0"
- title: "Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  year: "2000"
  researchr: "https://researchr.org/publication/ErwigS00"
  cites: 0
  citedby: 0
  pages: "199-218"
  booktitle: "Advances in Visual Information Management, proceedings of the Fifth Working Conference on Visual Database Systems (VDB5), Fukuoka, Japan, May 10-12, 2000"
  editor:
  - name: "Hiroshi Arisawa"
    link: "https://researchr.org/alias/hiroshi-arisawa"
  - name: "Tiziana Catarci"
    link: "https://researchr.org/alias/tiziana-catarci"
  volume: "168"
  series: "IFIP Conference Proceedings"
  publisher: "Kluwer"
  isbn: "0-7923-7835-0"
  kind: "inproceedings"
  key: "ErwigS00"
- title: "Automatic generation and maintenance of correct spreadsheets"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Irene Cooperstein"
    link: "https://researchr.org/alias/irene-cooperstein"
  - name: "Steve Kollmansberger"
    link: "https://researchr.org/alias/steve-kollmansberger"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1062455.1062494"
  links:
    doi: "http://doi.acm.org/10.1145/1062455.1062494"
  tags:
  - "maintenance"
  researchr: "https://researchr.org/publication/ErwigACK05"
  cites: 0
  citedby: 0
  pages: "136-145"
  booktitle: "27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA"
  editor:
  - name: "Gruia-Catalin Roman"
    link: "https://researchr.org/alias/gruia-catalin-roman"
  - name: "William G. Griswold"
    link: "https://researchr.org/alias/william-g.-griswold"
  - name: "Bashar Nuseibeh"
    link: "https://researchr.org/alias/bashar-nuseibeh"
  publisher: "ACM"
  kind: "inproceedings"
  key: "ErwigACK05"
- title: "The Honeycomb Model of Spatio-Temporal Partitions"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1678/16780039.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1678/16780039.htm"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "partitioning"
  researchr: "https://researchr.org/publication/ErwigS99%3A0"
  cites: 0
  citedby: 0
  pages: "39-59"
  booktitle: "Spatio-Temporal Database Management, International Workshop STDBM 99, Edinburgh, Scotland, September 10-11, 1999, Proceedings"
  editor:
  - name: "Michael H. Böhlen"
    link: "https://researchr.org/alias/michael-h.-b%C3%B6hlen"
  - name: "Christian S. Jensen"
    link: "https://researchr.org/alias/christian-s.-jensen"
  - name: "Michel Scholl"
    link: "https://researchr.org/alias/michel-scholl"
  volume: "1678"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66401-7"
  kind: "inproceedings"
  key: "ErwigS99:0"
- title: "ClassSheets - model-based, object-oriented design of spreadsheet applications"
  author:
  - name: "Jan-Christopher Bals"
    link: "https://researchr.org/alias/jan-christopher-bals"
  - name: "Fabian Christ"
    link: "https://researchr.org/alias/fabian-christ"
  - name: "Gregor Engels"
    link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2007"
  doi: "http://www.jot.fm/issues/issue_2007_10/paper19/index.html"
  links:
    doi: "http://www.jot.fm/issues/issue_2007_10/paper19/index.html"
  tags:
  - "rule-based"
  - "object-role modeling"
  - "design"
  researchr: "https://researchr.org/publication/BalsCEE07"
  cites: 0
  citedby: 0
  journal: "Journal of Object Technology"
  volume: "6"
  number: "9"
  pages: "383-398"
  kind: "article"
  key: "BalsCEE07"
- title: "Spatio-Temporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Ralf Hartmut Güting"
    link: "https://researchr.org/alias/ralf-hartmut-g%C3%BCting"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  - name: "Michalis Vazirgiannis"
    link: "https://researchr.org/alias/michalis-vazirgiannis"
  year: "1999"
  tags:
  - "modeling"
  - "object-role modeling"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/ErwigGSV99"
  cites: 0
  citedby: 0
  journal: "GeoInformatica"
  volume: "3"
  number: "3"
  pages: "269-296"
  kind: "article"
  key: "ErwigGSV99"
- title: "Partition and Conquer"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  year: "1997"
  tags:
  - "partitioning"
  researchr: "https://researchr.org/publication/ErwigS97"
  cites: 0
  citedby: 0
  pages: "389-407"
  booktitle: "Spatial Information Theory: A Theoretical Basis for GIS, International Conference COSIT  97, Laurel Highlands, Pennsylvania, USA, October 15-18, 1997, Proceedings"
  editor:
  - name: "Stephen C. Hirtle"
    link: "https://researchr.org/alias/stephen-c.-hirtle"
  - name: "Andrew U. Frank"
    link: "https://researchr.org/alias/andrew-u.-frank"
  volume: "1329"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63623-4"
  kind: "inproceedings"
  key: "ErwigS97"
- title: "Software Engineering for Spreadsheets"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2009.140"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2009.140"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/Erwig09"
  cites: 0
  citedby: 0
  journal: "IEEE Software"
  volume: "26"
  number: "5"
  pages: "25-30"
  kind: "article"
  key: "Erwig09"
- title: "Adding Apples and Oranges"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Margaret M. Burnett"
    link: "https://researchr.org/alias/margaret-m.-burnett"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2257/22570173.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2257/22570173.htm"
  researchr: "https://researchr.org/publication/ErwigB02"
  cites: 0
  citedby: 0
  pages: "173-191"
  booktitle: "Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings"
  editor:
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "C. R. Ramakrishnan"
    link: "https://researchr.org/alias/c.-r.-ramakrishnan"
  volume: "2257"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43092-X"
  kind: "inproceedings"
  key: "ErwigB02"
- title: "Programming Type-Safe Program Updates"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Deling Ren"
    link: "https://researchr.org/alias/deling-ren"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2618/26180269.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2618/26180269.htm"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/ErwigR03"
  cites: 0
  citedby: 0
  pages: "269-283"
  booktitle: "Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings"
  editor:
  - name: "Pierpaolo Degano"
    link: "https://researchr.org/alias/pierpaolo-degano"
  volume: "2618"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00886-1"
  kind: "inproceedings"
  key: "ErwigR03"
- title: "Specifying Type Systems with Multi-Level Order-Sorted Algebra"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1993"
  tags:
  - "type system"
  - " algebra"
  researchr: "https://researchr.org/publication/Erwig93"
  cites: 0
  citedby: 0
  pages: "177-184"
  booktitle: "Algebraic Methodology and Software Technology (AMAST  93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993"
  editor:
  - name: "Maurice Nivat"
    link: "https://researchr.org/alias/maurice-nivat"
  - name: "Charles Rattray"
    link: "https://researchr.org/alias/charles-rattray"
  - name: "Teodor Rus"
    link: "https://researchr.org/alias/teodor-rus"
  - name: "Giuseppe Scollo"
    link: "https://researchr.org/alias/giuseppe-scollo"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19852-0"
  kind: "inproceedings"
  key: "Erwig93"
- title: "Monadification of functional programs"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Deling Ren"
    link: "https://researchr.org/alias/deling-ren"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.scico.2004.03.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2004.03.004"
  tags:
  - "functional programming"
  researchr: "https://researchr.org/publication/ErwigR04"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "52"
  pages: "101-129"
  kind: "article"
  key: "ErwigR04"
- title: "Heterogeneous Visual Languages-Integrating Visual and Textual Programming"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Bernd Meyer"
    link: "https://researchr.org/alias/bernd-meyer"
  year: "1995"
  doi: "http://computer.org/proceedings/vl/7045/70450318abs.htm"
  links:
    doi: "http://computer.org/proceedings/vl/7045/70450318abs.htm"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/ErwigM95"
  cites: 0
  citedby: 0
  pages: "318-325"
  booktitle: "VL"
  kind: "inproceedings"
  key: "ErwigM95"
- title: "Graph Algorithms = Iteration + Data Structures? The Structure of Graph Algorithms and a Corresponding Style of Programming"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1992"
  tags:
  - "data-flow programming"
  - "data-flow"
  - "graph-rewriting"
  - "programming"
  - "rewriting"
  researchr: "https://researchr.org/publication/Erwig92"
  cites: 0
  citedby: 0
  pages: "277-292"
  booktitle: "Graph-Theoretic Concepts in Computer Science, 18th International Workshop, WG  92, Wiesbaden-Naurod, Germany, June 19-20, 1992, Proceedings"
  editor:
  - name: "Ernst W. Mayr"
    link: "https://researchr.org/alias/ernst-w.-mayr"
  volume: "657"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56402-0"
  kind: "inproceedings"
  key: "Erwig92"
- title: "Inductive graphs and functional graph algorithms"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2001"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Erwig01"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "11"
  number: "5"
  pages: "467-492"
  kind: "article"
  key: "Erwig01"
- title: "A Functional DBPL Revealing High Level Optimizations"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Udo W. Lipeck"
    link: "https://researchr.org/alias/udo-w.-lipeck"
  year: "1991"
  doi: "db/conf/dbpl/ErwigL91.html"
  tags:
  - "optimization"
  researchr: "https://researchr.org/publication/ErwigL91"
  cites: 0
  citedby: 0
  pages: "306-321"
  booktitle: "Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, August 27-30, 1991, Nafplion, Greece, Proceedings"
  editor:
  - name: "Paris C. Kanellakis"
    link: "https://researchr.org/alias/paris-c.-kanellakis"
  - name: "Joachim W. Schmidt"
    link: "https://researchr.org/alias/joachim-w.-schmidt"
  publisher: "Morgan Kaufmann"
  isbn: "1-55860-242-9"
  kind: "inproceedings"
  key: "ErwigL91"
- title: "The state of the art in end-user software engineering"
  author:
  - name: "Andrew J. Ko"
    link: "https://researchr.org/alias/andrew-j.-ko"
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Laura Beckwith"
    link: "https://researchr.org/alias/laura-beckwith"
  - name: "Alan F. Blackwell"
    link: "https://researchr.org/alias/alan-f.-blackwell"
  - name: "Margaret M. Burnett"
    link: "https://researchr.org/alias/margaret-m.-burnett"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Christopher Scaffidi"
    link: "https://researchr.org/alias/christopher-scaffidi"
  - name: "Joseph Lawrance"
    link: "https://researchr.org/alias/joseph-lawrance"
  - name: "Henry Lieberman"
    link: "https://researchr.org/alias/henry-lieberman"
  - name: "Brad A. Myers"
    link: "https://researchr.org/alias/brad-a.-myers"
  - name: "Mary Beth Rosson"
    link: "https://researchr.org/alias/mary-beth-rosson"
  - name: "Gregg Rothermel"
    link: "https://researchr.org/alias/gregg-rothermel"
  - name: "Mary Shaw"
    link: "https://researchr.org/alias/mary-shaw"
  - name: "Susan Wiedenbeck"
    link: "https://researchr.org/alias/susan-wiedenbeck"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1922649.1922658"
  links:
    doi: "http://doi.acm.org/10.1145/1922649.1922658"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/csur/KoABBBESLLMRRSW11"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/KoABBBESLLMRRSW11"
  cites: 0
  citedby: 0
  journal: "ACM Computing Surveys"
  volume: "43"
  number: "3"
  pages: "21"
  kind: "article"
  key: "KoABBBESLLMRRSW11"
- title: "A rule-based language for programming software updates"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Deling Ren"
    link: "https://researchr.org/alias/deling-ren"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/636517.636530"
  links:
    doi: "http://doi.acm.org/10.1145/636517.636530"
  tags:
  - "programming languages"
  - "rule-based"
  - "rules"
  - "programming"
  researchr: "https://researchr.org/publication/ErwigR02%3A0"
  cites: 0
  citedby: 0
  journal: "SIGPLAN Notices"
  volume: "37"
  number: "12"
  pages: "88-97"
  kind: "article"
  key: "ErwigR02:0"
- title: "Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  - name: "Ralf Hartmut Güting"
    link: "https://researchr.org/alias/ralf-hartmut-g%C3%BCting"
  year: "1998"
  doi: "db/conf/er/ErwigSG98.html"
  tags:
  - "data-flow"
  - "object-role modeling"
  researchr: "https://researchr.org/publication/ErwigSG98"
  cites: 0
  citedby: 0
  pages: "454-465"
  booktitle: "Advances in Database Technologies, ER  98 Workshops on Data Warehousing and Data Mining, Mobile Data Access, and Collaborative Work Support and Spatio-Temporal Data Management, Singapore, November 19-20, 1998, Proceedings"
  editor:
  - name: "Yahiko Kambayashi"
    link: "https://researchr.org/alias/yahiko-kambayashi"
  - name: "Dik Lun Lee"
    link: "https://researchr.org/alias/dik-lun-lee"
  - name: "Ee-Peng Lim"
    link: "https://researchr.org/alias/ee-peng-lim"
  - name: "Mukesh K. Mohania"
    link: "https://researchr.org/alias/mukesh-k.-mohania"
  - name: "Yoshifumi Masunaga"
    link: "https://researchr.org/alias/yoshifumi-masunaga"
  volume: "1552"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65690-1"
  kind: "inproceedings"
  key: "ErwigSG98"
- title: "Escape from Zurg: an exercise in logic programming"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2004"
  doi: "http://dx.doi.org/10.1017/S0956796804005040"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796804005040"
  tags:
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/Erwig04"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "14"
  number: "3"
  pages: "253-261"
  kind: "article"
  key: "Erwig04"
- title: "A Visual Language for XML"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2000"
  doi: "http://www.computer.org/proceedings/vl/0840/08400047abs.htm"
  links:
    doi: "http://www.computer.org/proceedings/vl/0840/08400047abs.htm"
  tags:
  - "XML"
  - "XML Schema"
  researchr: "https://researchr.org/publication/Erwig00%3A0"
  cites: 0
  citedby: 0
  pages: "47-54"
  booktitle: "VL"
  kind: "inproceedings"
  key: "Erwig00:0"
- title: "Übersetzerbau - Techniken, Werkzeuge, Anwendungen"
  author:
  - name: "Ralf Hartmut Güting"
    link: "https://researchr.org/alias/ralf-hartmut-g%C3%BCting"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1999"
  researchr: "https://researchr.org/publication/GutingE99"
  cites: 0
  citedby: 0
  publisher: "Springer"
  isbn: "3-540-65389-9"
  kind: "book"
  key: "GutingE99"
- title: "Spatio-Temporal Predicates"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  year: "2002"
  doi: "http://www.computer.org:80/tkde/tk2002/k0881abs.htm"
  links:
    doi: "http://www.computer.org:80/tkde/tk2002/k0881abs.htm"
  researchr: "https://researchr.org/publication/ErwigS02"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Knowl. Data Eng."
  volume: "14"
  number: "4"
  pages: "881-901"
  kind: "article"
  key: "ErwigS02"
- title: "Goal-Directed Debugging of Spreadsheets"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2005.42"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2005.42"
  tags:
  - "debugging"
  researchr: "https://researchr.org/publication/AbrahamE05%3A0"
  cites: 0
  citedby: 0
  pages: "37-44"
  booktitle: "2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2443-5"
  kind: "inproceedings"
  key: "AbrahamE05:0"
- title: "Visual Graphs"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1999"
  doi: "http://computer.org/proceedings/vl/0216/02160122abs.htm"
  links:
    doi: "http://computer.org/proceedings/vl/0216/02160122abs.htm"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Erwig99"
  cites: 0
  citedby: 0
  pages: "122-129"
  booktitle: "VL"
  kind: "inproceedings"
  key: "Erwig99"
- title: "Automatically Inferring ClassSheet Models from Spreadsheets"
  author:
  - name: "Jacome Cunha"
    link: "https://researchr.org/alias/jacome-cunha"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "João Saraiva"
    link: "http://di.uminho.pt/~jas"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/VLHCC.2010.22"
  links:
    doi: "http://dx.doi.org/10.1109/VLHCC.2010.22"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vl/CunhaES10"
  researchr: "https://researchr.org/publication/CunhaES10"
  cites: 0
  citedby: 0
  pages: "93-100"
  booktitle: "IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, Leganés-Madrid, Spain, 21-25 September 2010, Proceedings"
  editor:
  - name: "Christopher D. Hundhausen"
    link: "https://researchr.org/alias/christopher-d.-hundhausen"
  - name: "Emmanuel Pietriga"
    link: "https://researchr.org/alias/emmanuel-pietriga"
  - name: "Paloma Díaz"
    link: "https://researchr.org/alias/paloma-d%C3%ADaz"
  - name: "Mary Beth Rosson"
    link: "https://researchr.org/alias/mary-beth-rosson"
  publisher: "IEEE"
  isbn: "978-0-7695-4206-5"
  kind: "inproceedings"
  key: "CunhaES10"
- title: "Xing: a visual XML query language"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S1045-926X(02)00074-5"
  links:
    doi: "http://dx.doi.org/10.1016/S1045-926X(02)00074-5"
  tags:
  - "XML"
  - "XML Schema"
  - "query language"
  researchr: "https://researchr.org/publication/Erwig03%3A0"
  cites: 0
  citedby: 0
  journal: "Journal of Computer Languages"
  volume: "14"
  number: "1"
  pages: "5-45"
  kind: "article"
  key: "Erwig03:0"
- title: "Abstract and Discrete Modeling of Spatio-Temporal Data Types"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Ralf Hartmut Güting"
    link: "https://researchr.org/alias/ralf-hartmut-g%C3%BCting"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  - name: "Michalis Vazirgiannis"
    link: "https://researchr.org/alias/michalis-vazirgiannis"
  year: "1998"
  doi: "db/conf/gis/ErwigGSV98.html"
  tags:
  - "modeling"
  - "data-flow"
  researchr: "https://researchr.org/publication/ErwigGSV98"
  cites: 0
  citedby: 0
  pages: "131-136"
  booktitle: "ACM-GIS  98, Proceedings of the 6th international symposium on Advances in Geographic Information Systems, November 6-7, 1998, Washington, DC, USA"
  editor:
  - name: "Robert Laurini"
    link: "https://researchr.org/alias/robert-laurini"
  - name: "Kia Makki"
    link: "https://researchr.org/alias/kia-makki"
  - name: "Niki Pissinou"
    link: "https://researchr.org/alias/niki-pissinou"
  publisher: "ACM"
  kind: "inproceedings"
  key: "ErwigGSV98"
- title: "Generic programming in Fortran"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Zhe Fu"
    link: "https://researchr.org/alias/zhe-fu"
  - name: "Ben Pflaum"
    link: "https://researchr.org/alias/ben-pflaum"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1111542.1111564"
  links:
    doi: "http://doi.acm.org/10.1145/1111542.1111564"
  tags:
  - "generic programming"
  - "programming"
  researchr: "https://researchr.org/publication/ErwigFP06"
  cites: 0
  citedby: 0
  pages: "130-139"
  booktitle: "Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006"
  editor:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Frank Tip"
    link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/tip.index.html"
  publisher: "ACM"
  isbn: "1-59593-196-1"
  kind: "inproceedings"
  key: "ErwigFP06"
- title: "Functional Pearls: Probabilistic functional programming in Haskell"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Steve Kollmansberger"
    link: "https://researchr.org/alias/steve-kollmansberger"
  year: "2006"
  doi: "http://dx.doi.org/10.1017/S0956796805005721"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796805005721"
  tags:
  - "functional programming"
  - "Haskell"
  - "programming"
  researchr: "https://researchr.org/publication/ErwigK06%3A0"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "16"
  number: "1"
  pages: "21-34"
  kind: "article"
  key: "ErwigK06:0"
- title: "Type inference for spreadsheets"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1140335.1140346"
  links:
    doi: "http://doi.acm.org/10.1145/1140335.1140346"
  tags:
  - "type inference"
  researchr: "https://researchr.org/publication/AbrahamE06%3A0"
  cites: 0
  citedby: 0
  pages: "73-84"
  booktitle: "Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy"
  editor:
  - name: "Annalisa Bossi"
    link: "https://researchr.org/alias/annalisa-bossi"
  - name: "Michael J. Maher"
    link: "https://researchr.org/alias/michael-j.-maher"
  publisher: "ACM"
  isbn: "1-59593-388-3"
  kind: "inproceedings"
  key: "AbrahamE06:0"
- title: "The graph Voronoi diagram with applications"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2000"
  doi: "http://dx.doi.org/10.1002/1097-0037(200010)36:3<156::AID-NET2>3.0.CO;2-L"
  links:
    doi: "http://dx.doi.org/10.1002/1097-0037(200010)36:3<156::AID-NET2>3.0.CO;2-L"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Erwig00%3A1"
  cites: 0
  citedby: 0
  journal: "Networks"
  volume: "36"
  number: "3"
  pages: "156-163"
  kind: "article"
  key: "Erwig00:1"
- title: "Diets for Fat Sets"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1998"
  researchr: "https://researchr.org/publication/Erwig98"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "8"
  number: "6"
  pages: "627-632"
  kind: "article"
  key: "Erwig98"
- title: "Adaptation-based programming in java"
  author:
  - name: "Tim Bauer"
    link: "https://researchr.org/alias/tim-bauer"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Alan Fern"
    link: "https://researchr.org/alias/alan-fern"
  - name: "Jervis Pinto"
    link: "https://researchr.org/alias/jervis-pinto"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1929501.1929518"
  links:
    doi: "http://doi.acm.org/10.1145/1929501.1929518"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/BauerEFP11"
  tags:
  - "rule-based"
  - "Java"
  - "programming"
  researchr: "https://researchr.org/publication/BauerEFP11"
  cites: 0
  citedby: 0
  pages: "81-90"
  booktitle: "Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011"
  editor:
  - name: "Siau-Cheng Khoo"
    link: "https://researchr.org/alias/siau-cheng-khoo"
  - name: "Jeremy G. Siek"
    link: "http://homes.soic.indiana.edu/jsiek/"
  publisher: "ACM"
  isbn: "978-1-4503-0485-6"
  kind: "inproceedings"
  key: "BauerEFP11"
- title: "An update calculus for expressing type-safe program updates"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Deling Ren"
    link: "https://researchr.org/alias/deling-ren"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.scico.2007.01.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2007.01.003"
  researchr: "https://researchr.org/publication/ErwigR07"
  cites: 1
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "67"
  number: "2-3"
  pages: "199-222"
  kind: "article"
  key: "ErwigR07"
- title: "Modellierung von Netzen in Geo-Datenbanken"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Ralf Hartmut Güting"
    link: "https://researchr.org/alias/ralf-hartmut-g%C3%BCting"
  year: "1992"
  researchr: "https://researchr.org/publication/ErwigG92"
  cites: 0
  citedby: 0
  pages: "27-29"
  booktitle: "Grundlagen von Datenbanken"
  kind: "inproceedings"
  key: "ErwigG92"
- title: "Visual Semantics - Or: What You See is What You Compute"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "1998"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/Erwig98%3A1"
  cites: 0
  citedby: 0
  pages: "96-97"
  booktitle: "VL"
  kind: "inproceedings"
  key: "Erwig98:1"
- title: "Toward the Automatic Derivation of XML Transformations"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2814&spage=342"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2814&spage=342"
  tags:
  - "XML"
  - "XML Schema"
  - "transformation"
  researchr: "https://researchr.org/publication/Erwig03"
  cites: 0
  citedby: 0
  pages: "342-354"
  booktitle: "Conceptual Modeling for Novel Application Domains, ER 2003 Workshops ECOMO, IWCMQ, AOIS, and XSDM, Chicago, IL, USA, October 13, 2003, Proceedings"
  editor:
  - name: "Manfred A. Jeusfeld"
    link: "https://researchr.org/alias/manfred-a.-jeusfeld"
  - name: "Oscar Pastor"
    link: "https://researchr.org/alias/oscar-pastor"
  volume: "2814"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20257-9"
  kind: "inproceedings"
  key: "Erwig03"
- title: "Combining spatial and semantic label analysis"
  author:
  - name: "Chris Chambers"
    link: "https://researchr.org/alias/chris-chambers"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295258"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295258"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/ChambersE09"
  cites: 0
  citedby: 0
  pages: "225-232"
  booktitle: "IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2009, Corvallis, OR, USA, 20-24 September 2009, Proceedings"
  publisher: "IEEE"
  isbn: "978-1-4244-4876-0"
  kind: "inproceedings"
  key: "ChambersE09"
- title: "Varying Domain Representations in Hagl"
  author:
  - name: "Eric Walkingshaw"
    link: "https://researchr.org/alias/eric-walkingshaw"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03034-5_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-03034-5_15"
  tags:
  - "DSL"
  researchr: "https://researchr.org/publication/WalkingshawE09-0"
  cites: 0
  citedby: 0
  pages: "310-334"
  booktitle: "Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings"
  editor:
  - name: "Walid Mohamed Taha"
    link: "https://researchr.org/alias/walid-mohamed-taha"
  volume: "5658"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-03033-8"
  kind: "inproceedings"
  key: "WalkingshawE09-0"
- title: "Visual Specifications of Correct Spreadsheets"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Steve Kollmansberger"
    link: "https://researchr.org/alias/steve-kollmansberger"
  - name: "Ethan Seifert"
    link: "https://researchr.org/alias/ethan-seifert"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2005.70"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2005.70"
  researchr: "https://researchr.org/publication/AbrahamEKS05"
  cites: 0
  citedby: 0
  pages: "189-196"
  booktitle: "2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2443-5"
  kind: "inproceedings"
  key: "AbrahamEKS05"
- title: "How to communicate unit error messages in spreadsheets"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1082983.1083243"
  links:
    doi: "http://doi.acm.org/10.1145/1082983.1083243"
  researchr: "https://researchr.org/publication/AbrahamE05"
  cites: 0
  citedby: 0
  journal: "ACM SIGSOFT Software Engineering Notes"
  volume: "30"
  number: "4"
  pages: "1-5"
  kind: "article"
  key: "AbrahamE05"
- title: "Visual type inference"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.jvlc.2005.04.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.jvlc.2005.04.004"
  tags:
  - "type inference"
  researchr: "https://researchr.org/publication/Erwig06"
  cites: 0
  citedby: 0
  journal: "Journal of Computer Languages"
  volume: "17"
  number: "2"
  pages: "161-186"
  kind: "article"
  key: "Erwig06"
- title: "Developments in Spatio-Temporal Query Languages"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  year: "1999"
  doi: "http://computer.org/conferen/proceed/dexa/0281/02810441abs.htm"
  links:
    doi: "http://computer.org/conferen/proceed/dexa/0281/02810441abs.htm"
  tags:
  - "query language"
  researchr: "https://researchr.org/publication/ErwigS99"
  cites: 0
  citedby: 0
  pages: "441-449"
  booktitle: "DEXA Workshop"
  kind: "inproceedings"
  key: "ErwigS99"
- title: "Dimension inference in spreadsheets"
  author:
  - name: "Chris Chambers"
    link: "https://researchr.org/alias/chris-chambers"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/VLHCC.2008.4639072"
  links:
    doi: "http://dx.doi.org/10.1109/VLHCC.2008.4639072"
  researchr: "https://researchr.org/publication/ChambersE08"
  cites: 0
  citedby: 0
  pages: "123-130"
  booktitle: "IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "ChambersE08"
- title: "Header and Unit Inference for Spreadsheets Through Spatial Analyses"
  author:
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2004"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2004.29"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2004.29"
  researchr: "https://researchr.org/publication/AbrahamE04"
  cites: 0
  citedby: 0
  pages: "165-172"
  booktitle: "2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 26-29 September 2004, Rome, Italy"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "AbrahamE04"
- title: "Pattern Guards and Transformational Patterns"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2000"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/76/33/show/Products/notes/index.htt#012"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/76/33/show/Products/notes/index.htt#012"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/ErwigJ00"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "41"
  number: "1"
  pages: "3"
  kind: "article"
  key: "ErwigJ00"
- title: "KeyQuery - A Front End for the Automatic Translation of Keywords into Structured Queries"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Jianglin He"
    link: "https://researchr.org/alias/jianglin-he"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2736&spage=494"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2736&spage=494"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/ErwigH03"
  cites: 0
  citedby: 0
  pages: "494-503"
  booktitle: "Database and Expert Systems Applications, 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings"
  editor:
  - name: "Vladimír Marík"
    link: "https://researchr.org/alias/vladim%C3%ADr-mar%C3%ADk"
  - name: "Werner Retschitzegger"
    link: "https://researchr.org/alias/werner-retschitzegger"
  - name: "Olga Stepánková"
    link: "https://researchr.org/alias/olga-step%C3%A1nkov%C3%A1"
  volume: "2736"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40806-1"
  kind: "inproceedings"
  key: "ErwigH03"
- title: "Modeling Genome Evolution with a DSEL for Probabilistic Programming"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Steve Kollmansberger"
    link: "https://researchr.org/alias/steve-kollmansberger"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11603023_10"
  links:
    doi: "http://dx.doi.org/10.1007/11603023_10"
  tags:
  - "modeling"
  - "programming"
  researchr: "https://researchr.org/publication/ErwigK06"
  cites: 0
  citedby: 0
  pages: "134-149"
  booktitle: "Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings"
  editor:
  - name: "Pascal Van Hentenryck"
    link: "https://researchr.org/alias/pascal-van-hentenryck"
  volume: "3819"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-30947-0"
  kind: "inproceedings"
  key: "ErwigK06"
- title: "Sharing reasoning about faults in spreadsheets: An empirical study"
  author:
  - name: "Joseph Lawrance"
    link: "https://researchr.org/alias/joseph-lawrance"
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  - name: "Margaret M. Burnett"
    link: "https://researchr.org/alias/margaret-m.-burnett"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2006.43"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2006.43"
  tags:
  - "empirical"
  researchr: "https://researchr.org/publication/LawranceABE06"
  cites: 0
  citedby: 0
  pages: "35-42"
  booktitle: "2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 4-8 September 2006, Brighton, UK"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2586-5"
  kind: "inproceedings"
  key: "LawranceABE06"
- title: "Reasoning about spreadsheets with labels and dimensions"
  author:
  - name: "Chris Chambers"
    link: "https://researchr.org/alias/chris-chambers"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.jvlc.2010.08.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.jvlc.2010.08.004"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/vlc/ChambersE10"
  researchr: "https://researchr.org/publication/ChambersE10-0"
  cites: 0
  citedby: 0
  journal: "Journal of Computer Languages"
  volume: "21"
  number: "5"
  pages: "249-262"
  kind: "article"
  key: "ChambersE10-0"
- title: "Software reuse for scientific computing through program generation"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Zhe Fu"
    link: "https://researchr.org/alias/zhe-fu"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1061254.1061257"
  links:
    doi: "http://doi.acm.org/10.1145/1061254.1061257"
  tags:
  - "reuse"
  researchr: "https://researchr.org/publication/ErwigF05"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Software Engineering Methodology"
  volume: "14"
  number: "2"
  pages: "168-198"
  kind: "article"
  key: "ErwigF05"
- title: "A foundation for representing and quering moving objects"
  author:
  - name: "Ralf Hartmut Güting"
    link: "https://researchr.org/alias/ralf-hartmut-g%C3%BCting"
  - name: "Michael H. Böhlen"
    link: "https://researchr.org/alias/michael-h.-b%C3%B6hlen"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Christian S. Jensen"
    link: "https://researchr.org/alias/christian-s.-jensen"
  - name: "Nikos A. Lorentzos"
    link: "https://researchr.org/alias/nikos-a.-lorentzos"
  - name: "Markus Schneider"
    link: "https://researchr.org/alias/markus-schneider"
  - name: "Michalis Vazirgiannis"
    link: "https://researchr.org/alias/michalis-vazirgiannis"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/352958.352963"
  links:
    doi: "http://doi.acm.org/10.1145/352958.352963"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/GutingBEJLSV00"
  cites: 0
  citedby: 0
  journal: "ACM Trans. Database Syst."
  volume: "25"
  number: "1"
  pages: "1-42"
  kind: "article"
  key: "GutingBEJLSV00"
- title: "Understanding and Building Spreadsheet Tools"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Robin Abraham"
    link: "https://researchr.org/alias/robin-abraham"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.57"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.57"
  researchr: "https://researchr.org/publication/ErwigA07"
  cites: 0
  citedby: 0
  pages: "7"
  booktitle: "2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 23-27 September 2007, Coeur d Alene, Idaho, USA"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-2987-5"
  kind: "inproceedings"
  key: "ErwigA07"
- title: "Explicit Graphs in a Functional Model for Spatial Databases"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Ralf Hartmut Güting"
    link: "https://researchr.org/alias/ralf-hartmut-g%C3%BCting"
  year: "1994"
  doi: "db/journals/tkde/ErwigG94.html"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/ErwigG94"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Knowl. Data Eng."
  volume: "6"
  number: "5"
  pages: "787-804"
  kind: "article"
  key: "ErwigG94"
- title: "Visually Customizing Inference Rules About Apples and Oranges"
  author:
  - name: "Margaret M. Burnett"
    link: "https://researchr.org/alias/margaret-m.-burnett"
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  year: "2002"
  doi: "http://csdl.computer.org/comp/proceedings/hcc/2002/1644/00/16440140abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/hcc/2002/1644/00/16440140abs.htm"
  tags:
  - "rule-based"
  - "rules"
  researchr: "https://researchr.org/publication/BurnettE02%3A0"
  cites: 0
  citedby: 0
  pages: "140-148"
  booktitle: "2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 3-6 September 2002, Arlington, VA, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1644-0"
  kind: "inproceedings"
  key: "BurnettE02:0"
- title: "Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions"
  author:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Zhe Fu"
    link: "https://researchr.org/alias/zhe-fu"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3057&spage=209"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3057&spage=209"
  tags:
  - "generic programming"
  researchr: "https://researchr.org/publication/ErwigF04"
  cites: 0
  citedby: 0
  pages: "209-223"
  booktitle: "Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings"
  editor:
  - name: "Bharat Jayaraman"
    link: "https://researchr.org/alias/bharat-jayaraman"
  volume: "3057"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22253-7"
  kind: "inproceedings"
  key: "ErwigF04"
- title: "6th International Conference on Software Language Engineering, Proceedings (SLE 2013)"
  year: "2013"
  researchr: "https://researchr.org/publication/sle-2013"
  cites: 0
  citedby: 0
  booktitle: "6th International Conference on Software Language Engineering, Proceedings (SLE 2013)"
  conference: "SLE"
  editor:
  - name: "Martin Erwig"
    link: "http://web.engr.oregonstate.edu/~erwig/"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Eric {Van Wyk}"
    link: "http://www-users.cs.umn.edu/~evw/"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  kind: "proceedings"
  key: "sle-2013"