publications:
- title: "Injectivity of Composite Functions"
  author:
  - name: "Kim S. Larsen"
    link: "https://researchr.org/alias/kim-s.-larsen"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1994"
  researchr: "https://researchr.org/publication/LarsenS94"
  cites: 0
  citedby: 0
  journal: "JSC"
  volume: "17"
  number: "5"
  pages: "393-408"
  kind: "article"
  key: "LarsenS94"
- title: "Efficient Recursive Subtyping"
  author:
  - name: "Dexter Kozen"
    link: "https://researchr.org/alias/dexter-kozen"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1995"
  tags:
  - "subtyping"
  researchr: "https://researchr.org/publication/KozenPS95"
  cites: 0
  citedby: 0
  journal: "mscs"
  volume: "5"
  number: "1"
  pages: "113-125"
  kind: "article"
  key: "KozenPS95"
- title: "Dual Syntax for XML Languages"
  author:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11601524_2"
  links:
    doi: "http://dx.doi.org/10.1007/11601524_2"
  tags:
  - "XML"
  - "XML Schema"
  researchr: "https://researchr.org/publication/BrabrandMS05"
  cites: 0
  citedby: 0
  pages: "27-41"
  booktitle: "DBPL"
  kind: "inproceedings"
  key: "BrabrandMS05"
- title: "Static Program Analysis"
  author:
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2020"
  month: "November"
  doi: "https://cs.au.dk/~amoeller/spa/"
  abstract: "Static program analysis is the art of reasoning about the behavior of computer programs without actually running them. This is useful not only in optimizing compilers for producing efficient code but also for automatic error detection and other tools that can help programmers. As known from Turing and Rice, all interesting properties of the behavior of programs written in common programming languages are mathematically undecidable. This means that automated reasoning of software generally must involve approximation. It is also well known that testing may reveal errors but not show their absence. In contrast, static program analysis can - with the right kind of approximations - check all possible executions of the programs and provide guarantees about their properties. The challenge when developing such analyses is how to ensure high precision and efficiency to be practically useful. This teaching material concisely presents the essential principles and algorithms for static program analysis. We emphasize a constraint-based approach where suitable constraint systems conceptually divide analysis into a front-end that generates constraints from program code and a back-end that solves the constraints to produce the analysis results. The style of presentation is intended to be precise but not overly formal. The readers are assumed to be familiar with advanced programming language concepts and the basics of compiler construction. The concepts are explained using a tiny imperative programming language, TIP, which suffices to illustrate the main challenges that arise with mainstream languages. "
  links:
    doi: "https://cs.au.dk/~amoeller/spa/"
  researchr: "https://researchr.org/publication/MoellerS20"
  cites: 0
  citedby: 0
  organization: "Department of Computer Science, Aarhus University"
  kind: "book"
  key: "MoellerS20"
- title: "A Runtime System for Interactive Web Services"
  author:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Anders Sandholm"
    link: "https://researchr.org/alias/anders-sandholm"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1999"
  doi: "http://dx.doi.org/10.1016/S1389-1286(99)00025-0"
  links:
    doi: "http://dx.doi.org/10.1016/S1389-1286(99)00025-0"
  tags:
  - "web service"
  - "web services"
  researchr: "https://researchr.org/publication/BrabrandMSS99"
  cites: 0
  citedby: 0
  journal: "cn"
  volume: "31"
  number: "11-16"
  pages: "1391-1401"
  kind: "article"
  key: "BrabrandMSS99"
- title: "Type Inference with Inequalities"
  author:
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1991"
  tags:
  - "type inference"
  researchr: "https://researchr.org/publication/Schwartzbach91"
  cites: 0
  citedby: 0
  pages: "441-455"
  booktitle: "tapsoft"
  kind: "inproceedings"
  key: "Schwartzbach91"
- title: "Yakyak: parsing with logical side constraints"
  author:
  - name: "Nils Klarlund"
    link: "https://researchr.org/alias/nils-klarlund"
  - name: "Niels Damgaard"
    link: "https://researchr.org/alias/niels-damgaard"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1999"
  tags:
  - "constraints"
  - "parsing"
  researchr: "https://researchr.org/publication/KlarlundDS99"
  cites: 0
  citedby: 0
  pages: "286-301"
  booktitle: "dlt"
  kind: "inproceedings"
  key: "KlarlundDS99"
- title: "Language-Based Caching of Dynamiclly Generated HTML"
  author:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Steffan Olesen"
    link: "https://researchr.org/alias/steffan-olesen"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2002"
  tags:
  - "rule-based"
  - "caching"
  researchr: "https://researchr.org/publication/BrabrandMOS02"
  cites: 0
  citedby: 0
  journal: "www"
  volume: "5"
  number: "4"
  pages: "305-324"
  kind: "article"
  key: "BrabrandMOS02"
- title: "Contracts for Cooperation between Web Service Programmers and HTML Designers"
  author:
  - name: "Henning Böttger"
    link: "https://researchr.org/alias/henning-b%C3%B6ttger"
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2006"
  tags:
  - "contracts"
  - "web service"
  researchr: "https://researchr.org/publication/BottgerMS06"
  cites: 0
  citedby: 0
  journal: "jwe"
  volume: "5"
  number: "1"
  pages: "65-90"
  kind: "article"
  key: "BottgerMS06"
- title: "MONA Implementation Secrets"
  author:
  - name: "Nils Klarlund"
    link: "https://researchr.org/alias/nils-klarlund"
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2002"
  doi: "http://dx.doi.org/10.1142/S012905410200128X"
  links:
    doi: "http://dx.doi.org/10.1142/S012905410200128X"
  researchr: "https://researchr.org/publication/KlarlundMS02%3A0"
  cites: 0
  citedby: 0
  journal: "ijfcs"
  volume: "13"
  number: "4"
  pages: "571-586"
  kind: "article"
  key: "KlarlundMS02:0"
- title: "Safety Analysis Versus Type Inference for Partial Types"
  author:
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1992"
  tags:
  - "type inference"
  - "analysis"
  researchr: "https://researchr.org/publication/PalsbergS92"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "43"
  number: "4"
  pages: "175-180"
  kind: "article"
  key: "PalsbergS92"
- title: "Secure Multiparty Computation Goes Live"
  author:
  - name: "Peter Bogetoft"
    link: "https://researchr.org/alias/peter-bogetoft"
  - name: "Dan Lund Christensen"
    link: "https://researchr.org/alias/dan-lund-christensen"
  - name: "Ivan Damgård"
    link: "https://researchr.org/alias/ivan-damg%C3%A3%C2%A5rd"
  - name: "Martin Geisler"
    link: "https://researchr.org/alias/martin-geisler"
  - name: "Thomas P. Jakobsen"
    link: "https://researchr.org/alias/thomas-p.-jakobsen"
  - name: "Mikkel Krøigaard"
    link: "https://researchr.org/alias/mikkel-kr%C3%A3%C2%B8igaard"
  - name: "Janus Dam Nielsen"
    link: "https://researchr.org/alias/janus-dam-nielsen"
  - name: "Jesper Buus Nielsen"
    link: "https://researchr.org/alias/jesper-buus-nielsen"
  - name: "Kurt Nielsen"
    link: "https://researchr.org/alias/kurt-nielsen"
  - name: "Jakob Pagter"
    link: "https://researchr.org/alias/jakob-pagter"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  - name: "Tomas Toft"
    link: "https://researchr.org/alias/tomas-toft"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03549-4_20"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-03549-4_20"
  researchr: "https://researchr.org/publication/BogetoftCDGJKNNNPST09"
  cites: 0
  citedby: 0
  pages: "325-343"
  booktitle: "fc"
  kind: "inproceedings"
  key: "BogetoftCDGJKNNNPST09"
- title: "PowerForms: Declarative client-side form field validation"
  author:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Mikkel Ricky"
    link: "https://researchr.org/alias/mikkel-ricky"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2000"
  researchr: "https://researchr.org/publication/BrabrandMRS00"
  cites: 0
  citedby: 0
  journal: "www"
  volume: "3"
  number: "4"
  pages: "205-214"
  kind: "article"
  key: "BrabrandMRS00"
- title: "Compile-Time Debugging of C Programs Working on Trees"
  author:
  - name: "Jacob Elgaard"
    link: "https://researchr.org/alias/jacob-elgaard"
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1782/17820119.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1782/17820119.htm"
  tags:
  - "C++"
  - "debugging"
  - "compiler"
  researchr: "https://researchr.org/publication/ElgaardMS00"
  cites: 0
  citedby: 0
  pages: "119-134"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "ElgaardMS00"
- title: "Extending Java for high-level Web service construction"
  author:
  - name: "Aske Simon Christensen"
    link: "https://researchr.org/alias/aske-simon-christensen"
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/945885.945890"
  links:
    doi: "http://doi.acm.org/10.1145/945885.945890"
  tags:
  - "Java"
  - "web service"
  researchr: "https://researchr.org/publication/ChristensenMS03%3A0"
  cites: 0
  citedby: 0
  journal: "TOPLAS"
  volume: "25"
  number: "6"
  pages: "814-875"
  kind: "article"
  key: "ChristensenMS03:0"
- title: "A New Formalism for Relational Algebra"
  author:
  - name: "Kim S. Larsen"
    link: "https://researchr.org/alias/kim-s.-larsen"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  - name: "Erik Meineche Schmidt"
    link: "https://researchr.org/alias/erik-meineche-schmidt"
  year: "1992"
  tags:
  - "relational algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/LarsenSS92"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "41"
  number: "3"
  pages: "163-168"
  kind: "article"
  key: "LarsenSS92"
- title: "Graph Types"
  author:
  - name: "Nils Klarlund"
    link: "https://researchr.org/alias/nils-klarlund"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1993"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/KlarlundS93"
  cites: 0
  citedby: 0
  pages: "196-205"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "KlarlundS93"
- title: "DSD: A schema language for XML"
  author:
  - name: "Nils Klarlund"
    link: "https://researchr.org/alias/nils-klarlund"
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/349360.351158"
  links:
    doi: "http://doi.acm.org/10.1145/349360.351158"
  tags:
  - "XML"
  - "XML Schema"
  researchr: "https://researchr.org/publication/KlarlundMS00"
  cites: 0
  citedby: 0
  pages: "101-111"
  booktitle: "fmsp"
  kind: "inproceedings"
  key: "KlarlundMS00"
- title: "The Design Space of Type Checkers for XML Transformation Languages"
  author:
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3363&spage=17"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3363&spage=17"
  tags:
  - "XML"
  - "XML Schema"
  - "transformation language"
  - "language design"
  - "design"
  - "transformation"
  researchr: "https://researchr.org/publication/MollerS05"
  cites: 0
  citedby: 0
  pages: "17-36"
  booktitle: "icdt"
  kind: "inproceedings"
  key: "MollerS05"
- title: "Types for the language designer (abstract)"
  author:
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  year: "1993"
  researchr: "https://researchr.org/publication/SchwartzbachP93"
  cites: 0
  citedby: 0
  journal: "oopsm"
  volume: "4"
  number: "2"
  pages: "219"
  kind: "article"
  key: "SchwartzbachP93"
- title: "Efficient Inference of Partial Types"
  author:
  - name: "Dexter Kozen"
    link: "https://researchr.org/alias/dexter-kozen"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1992"
  tags:
  - "type inference"
  researchr: "https://researchr.org/publication/KozenPS92"
  cites: 0
  citedby: 0
  pages: "363-371"
  booktitle: "focs"
  kind: "inproceedings"
  key: "KozenPS92"
- title: "A singular choice for multiple choice"
  author:
  - name: "Gudmund Skovbjerg Frandsen"
    link: "https://researchr.org/alias/gudmund-skovbjerg-frandsen"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1189136.1189164"
  abstract: "How should multiple choice tests be scored and graded, in particular when students are allowed to check several boxes to convey partial knowledge? Many strategies may seem reasonable, but we demonstrate that five self-evident axioms are sufficient to determine completely the correct strategy. We also discuss how to measure robustness of the obtained grades. Our results have practical advantages and also suggest criteria for designing multiple choice questions. "
  links:
    doi: "http://doi.acm.org/10.1145/1189136.1189164"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/FrandsenS06"
  cites: 0
  citedby: 0
  journal: "SIGCSE"
  volume: "38"
  number: "4"
  pages: "34-38"
  kind: "article"
  key: "FrandsenS06"
- title: "Static validation of XSL transformations"
  author:
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Mads Østerby Olesen"
    link: "https://researchr.org/alias/mads-%C3%B8sterby-olesen"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1255450.1255454"
  links:
    doi: "http://doi.acm.org/10.1145/1255450.1255454"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/MollerOS07"
  cites: 0
  citedby: 0
  journal: "TOPLAS"
  volume: "29"
  number: "4"
  pages: "21"
  kind: "article"
  key: "MollerOS07"
- title: "Dual Syntax for XML Languages"
  author:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Anders M\\o{}ller"
    link: "https://researchr.org/alias/anders-m%5Ebo%7B%7Dller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2005"
  month: "August"
  tags:
  - "XML"
  - "XML Schema"
  researchr: "https://researchr.org/publication/xsugar2005"
  cites: 0
  citedby: 0
  booktitle: "Proc. 10th International Workshop on Database Programming Languages, DBPL~'05"
  kind: "inproceedings"
  key: "xsugar2005"
- title: "The metafront System: Safe and Extensible Parsing and Transformation"
  author:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.scico.2005.06.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2005.06.007"
  tags:
  - "transformation system"
  - "parsing"
  - "transformation"
  researchr: "https://researchr.org/publication/metafront2007"
  cites: 0
  citedby: 1
  journal: "Science of Computer Programming Journal (SCP)"
  volume: "68"
  number: "1"
  kind: "article"
  key: "metafront2007"
- title: "Efficient Recursive Subtyping"
  author:
  - name: "Dexter Kozen"
    link: "https://researchr.org/alias/dexter-kozen"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1993"
  tags:
  - "subtyping"
  researchr: "https://researchr.org/publication/KozenPS93"
  cites: 0
  citedby: 0
  pages: "419-428"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "KozenPS93"
- title: "The <bigwig> project"
  author:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/514183.514184"
  links:
    doi: "http://doi.acm.org/10.1145/514183.514184"
  researchr: "https://researchr.org/publication/BrabrandMS02"
  cites: 0
  citedby: 1
  journal: "ACM Trans. Internet Techn."
  volume: "2"
  number: "2"
  pages: "79-114"
  kind: "article"
  key: "BrabrandMS02"
- title: "Growing languages with metamorphic syntax macros"
  author:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/503032.503035"
  links:
    doi: "http://doi.acm.org/10.1145/503032.503035"
  tags:
  - "macros"
  researchr: "https://researchr.org/publication/BrabrandS02"
  cites: 0
  citedby: 1
  pages: "31-40"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "BrabrandS02"
- title: "XML graphs in program analysis"
  author:
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1244381.1244383"
  links:
    doi: "http://doi.acm.org/10.1145/1244381.1244383"
  tags:
  - "program analysis"
  - "XML"
  - "XML Schema"
  - "analysis"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/MollerS07"
  cites: 0
  citedby: 0
  pages: "1-10"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "MollerS07"
- title: "Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract)"
  author:
  - name: "Nils Klarlund"
    link: "https://researchr.org/alias/nils-klarlund"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1994"
  tags:
  - "rule-based"
  - "constraints"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/KalrlundS94"
  cites: 0
  citedby: 0
  pages: "187-201"
  booktitle: "caap"
  kind: "inproceedings"
  key: "KalrlundS94"
- title: "Three discussions on object-oriented typing"
  author:
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1992"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/PalsbergS92%3A0"
  cites: 0
  citedby: 0
  journal: "oopsm"
  volume: "3"
  number: "2"
  pages: "31-38"
  kind: "article"
  key: "PalsbergS92:0"
- title: "Growing Languages with Metamorphic Syntax Macros"
  author:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2002"
  tags:
  - "macros"
  researchr: "https://researchr.org/publication/macro2002"
  cites: 0
  citedby: 0
  booktitle: "Proc. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, PEPM~'02"
  kind: "inproceedings"
  key: "macro2002"
- title: "A Domain-Specific Language for Regular Sets of Strings and Trees"
  author:
  - name: "Nils Klarlund"
    link: "https://researchr.org/alias/nils-klarlund"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1999"
  doi: "http://computer.org/tse/ts1999/e0378abs.htm"
  links:
    doi: "http://computer.org/tse/ts1999/e0378abs.htm"
  tags:
  - "domain-specific language"
  researchr: "https://researchr.org/publication/KlarlundS99"
  cites: 0
  citedby: 1
  journal: "TSE"
  volume: "25"
  number: "3"
  pages: "378-386"
  kind: "article"
  key: "KlarlundS99"
- title: "WebSelF: A Web Scraping Framework"
  author:
  - name: "Jakob G. Thomsen"
    link: "https://researchr.org/alias/jakob-g.-thomsen"
  - name: "Erik Ernst"
    link: "https://researchr.org/alias/erik-ernst"
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-31753-8_28"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-31753-8_28"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icwe/ThomsenEBS12"
  researchr: "https://researchr.org/publication/ThomsenEBS12"
  cites: 0
  citedby: 0
  pages: "347-361"
  booktitle: "ICWE"
  kind: "inproceedings"
  key: "ThomsenEBS12"
- title: "Type Substitution for Object-Oriented Programming"
  author:
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1990"
  tags:
  - "object-oriented programming"
  - "meta programming"
  - "programming"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "feature-oriented programming"
  - "meta-objects"
  researchr: "https://researchr.org/publication/PalsbergS90"
  cites: 0
  citedby: 0
  pages: "151-160"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "PalsbergS90"
- title: "Information systems preface"
  author:
  - name: "Marcelo Arenas"
    link: "https://researchr.org/alias/marcelo-arenas"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.is.2009.06.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.is.2009.06.001"
  researchr: "https://researchr.org/publication/ArenasS09"
  cites: 0
  citedby: 0
  journal: "is"
  volume: "34"
  number: "7"
  pages: "577"
  kind: "article"
  key: "ArenasS09"
- title: "Multiparty Computation Goes Live"
  author:
  - name: "Peter Bogetoft"
    link: "https://researchr.org/alias/peter-bogetoft"
  - name: "Dan Lund Christensen"
    link: "https://researchr.org/alias/dan-lund-christensen"
  - name: "Ivan Damgård"
    link: "https://researchr.org/alias/ivan-damg%C3%A5rd"
  - name: "Martin Geisler"
    link: "https://researchr.org/alias/martin-geisler"
  - name: "Thomas P. Jakobsen"
    link: "https://researchr.org/alias/thomas-p.-jakobsen"
  - name: "Mikkel Krøigaard"
    link: "https://researchr.org/alias/mikkel-kr%C3%B8igaard"
  - name: "Janus Dam Nielsen"
    link: "https://researchr.org/alias/janus-dam-nielsen"
  - name: "Jesper Buus Nielsen"
    link: "https://researchr.org/alias/jesper-buus-nielsen"
  - name: "Kurt Nielsen"
    link: "https://researchr.org/alias/kurt-nielsen"
  - name: "Jakob Pagter"
    link: "https://researchr.org/alias/jakob-pagter"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  - name: "Tomas Toft"
    link: "https://researchr.org/alias/tomas-toft"
  year: "2008"
  doi: "http://eprint.iacr.org/2008/068"
  links:
    doi: "http://eprint.iacr.org/2008/068"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/iacr/BogetoftCDGJKNNNPST08"
  researchr: "https://researchr.org/publication/BogetoftCDGJKNNNPST08"
  cites: 0
  citedby: 0
  journal: "iacr"
  volume: "2008"
  pages: "68"
  kind: "article"
  key: "BogetoftCDGJKNNNPST08"
- title: "A domain-specific programming language for secure multiparty computation"
  author:
  - name: "Janus Dam Nielsen"
    link: "https://researchr.org/alias/janus-dam-nielsen"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1255329.1255333"
  links:
    doi: "http://doi.acm.org/10.1145/1255329.1255333"
  tags:
  - "programming languages"
  - "programming"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/NielsenS07"
  cites: 0
  citedby: 0
  pages: "21-30"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "NielsenS07"
- title: "Type Inference of SELF"
  author:
  - name: "Ole Agesen"
    link: "https://researchr.org/alias/ole-agesen"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1993"
  doi: "http://link.springer.de/link/service/series/0558/bibs/0707/07070247.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/0707/07070247.htm"
  tags:
  - "type inference"
  researchr: "https://researchr.org/publication/AgesenPS93"
  cites: 0
  citedby: 0
  pages: "247-267"
  booktitle: "ECOOP"
  kind: "inproceedings"
  key: "AgesenPS93"
- title: "Growing languages with metamorphic syntax macros"
  author:
  - name: "Brabrand, Claus"
    link: "https://researchr.org/alias/brabrand%2C-claus"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/503032.503035"
  links:
    doi: "http://doi.acm.org/10.1145/503032.503035"
  tags:
  - "macros"
  researchr: "https://researchr.org/publication/503035"
  cites: 0
  citedby: 0
  booktitle: "PEPM '02: Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation"
  kind: "inproceedings"
  key: "503035"
- title: "The DSD Schema Language"
  author:
  - name: "Nils Klarlund"
    link: "https://researchr.org/alias/nils-klarlund"
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2002"
  tags:
  - "XML"
  - "XML Schema"
  researchr: "https://researchr.org/publication/KlarlundMS02"
  cites: 0
  citedby: 0
  journal: "ASE"
  volume: "9"
  number: "3"
  pages: "285-319"
  kind: "article"
  key: "KlarlundMS02"
- title: "Language-Based Caching of Dynamically Generated HTML"
  author:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Anders M\\o{}ller"
    link: "https://researchr.org/alias/anders-m%5Ebo%7B%7Dller"
  - name: "Steffan Olesen"
    link: "https://researchr.org/alias/steffan-olesen"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2002"
  tags:
  - "rule-based"
  - "caching"
  researchr: "https://researchr.org/publication/caching2002"
  cites: 0
  citedby: 0
  journal: "World Wide Web Journal"
  volume: "5"
  number: "4"
  kind: "article"
  key: "caching2002"
- title: "Formal Design Constraints"
  author:
  - name: "Nils Klarlund"
    link: "https://researchr.org/alias/nils-klarlund"
  - name: "Jari Koistinen"
    link: "https://researchr.org/alias/jari-koistinen"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1996"
  tags:
  - "constraints"
  - "design"
  researchr: "https://researchr.org/publication/KlarlundKS96"
  cites: 0
  citedby: 0
  pages: "370-383"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "KlarlundKS96"
- title: "Automatic Verification of Pointer Programs using Monadic Second-Order Logic"
  author:
  - name: "Jakob L. Jensen"
    link: "https://researchr.org/alias/jakob-l.-jensen"
  - name: "Michael E. Jørgensen"
    link: "https://researchr.org/alias/michael-e.-j%C3%B8rgensen"
  - name: "Nils Klarlund"
    link: "https://researchr.org/alias/nils-klarlund"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1997"
  tags:
  - "program verification"
  - "logic programming"
  - "e-science"
  - "logic"
  researchr: "https://researchr.org/publication/JensenJKS97"
  cites: 0
  citedby: 0
  pages: "226-236"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "JensenJKS97"
- title: "Object-oriented type systems"
  author:
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1994"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/daglib/0070753"
  tags:
  - "meta-model"
  - "type system"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/PalsbergSchwartzbach94"
  cites: 0
  citedby: 0
  series: "Wiley professional computing"
  publisher: "Wiley"
  isbn: "978-0-471-94128-6"
  kind: "book"
  key: "PalsbergSchwartzbach94"
- title: "Static Analysis of XML Transformations in Java"
  author:
  - name: "Christian Kirkegaard"
    link: "https://researchr.org/alias/christian-kirkegaard"
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2004"
  doi: "http://csdl.computer.org/comp/trans/ts/2004/03/e0181abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/trans/ts/2004/03/e0181abs.htm"
  tags:
  - "Java"
  - "XML"
  - "XML Schema"
  - "analysis"
  - "static analysis"
  - "transformation"
  researchr: "https://researchr.org/publication/KirkegaardMS04"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "30"
  number: "3"
  pages: "181-192"
  kind: "article"
  key: "KirkegaardMS04"
- title: "Efficient Inference of Partial Types"
  author:
  - name: "Dexter Kozen"
    link: "https://researchr.org/alias/dexter-kozen"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1994"
  tags:
  - "type inference"
  researchr: "https://researchr.org/publication/KozenPS94"
  cites: 0
  citedby: 0
  journal: "jcss"
  volume: "49"
  number: "2"
  pages: "306-324"
  kind: "article"
  key: "KozenPS94"
- title: "An introduction to XML and web technologies"
  author:
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2006"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/daglib/0017330"
  tags:
  - "XML"
  - "XML Schema"
  researchr: "https://researchr.org/publication/0017330"
  cites: 0
  citedby: 0
  publisher: "Addison-Wesley"
  isbn: "978-0-321-26966-9"
  kind: "book"
  key: "0017330"
- title: "Static Validation of Dynamically Generated HTML"
  author:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Anders M\\o{}ller"
    link: "https://researchr.org/alias/anders-m%5Ebo%7B%7Dller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2001"
  month: "June"
  researchr: "https://researchr.org/publication/valid2001"
  cites: 0
  citedby: 0
  booktitle: "Proc. ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE~'01"
  kind: "inproceedings"
  key: "valid2001"
- title: "MONA Implementation Secrets"
  author:
  - name: "Nils Klarlund"
    link: "https://researchr.org/alias/nils-klarlund"
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2088/20880182.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2088/20880182.htm"
  researchr: "https://researchr.org/publication/KlarlundMS00%3A0"
  cites: 0
  citedby: 0
  pages: "182-194"
  booktitle: "wia"
  kind: "inproceedings"
  key: "KlarlundMS00:0"
- title: "Object-Oriented Type Inference"
  author:
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1991"
  tags:
  - "type inference"
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/PalsbergS91"
  cites: 0
  citedby: 0
  pages: "146-161"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "PalsbergS91"
- title: "Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation"
  author:
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78791-4_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78791-4_1"
  tags:
  - "compiler"
  - "design"
  researchr: "https://researchr.org/publication/Schwartzbach08"
  cites: 0
  citedby: 0
  pages: "1-15"
  booktitle: "CC"
  kind: "inproceedings"
  key: "Schwartzbach08"
- title: "A Runtime System for Interactive {W}eb Services"
  author:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Anders M\\o{}ller"
    link: "https://researchr.org/alias/anders-m%5Ebo%7B%7Dller"
  - name: "Anders Sandholm"
    link: "https://researchr.org/alias/anders-sandholm"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1999"
  month: "May"
  researchr: "https://researchr.org/publication/runtime1999"
  cites: 0
  citedby: 0
  journal: "Computer Networks"
  volume: "31"
  number: "11-16"
  kind: "article"
  key: "runtime1999"
- title: "Infinite Values in Hierarchical Imperative Types"
  author:
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1990"
  researchr: "https://researchr.org/publication/Schwartzbach90"
  cites: 0
  citedby: 0
  pages: "254-268"
  booktitle: "caap"
  kind: "inproceedings"
  key: "Schwartzbach90"
- title: "Dual Syntax for XML Languages"
  author:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Anders M\\o{}ller"
    link: "https://researchr.org/alias/anders-m%5Ebo%7B%7Dller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2008"
  month: "June"
  tags:
  - "XML"
  - "XML Schema"
  researchr: "https://researchr.org/publication/xsugar2008"
  cites: 0
  citedby: 0
  journal: "Information Systems"
  volume: "33"
  number: "4"
  kind: "article"
  key: "xsugar2008"
- title: "Static validation of dynamically generated HTML"
  author:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2001"
  doi: "http://doi.acm.org/10.1145/379605.379657"
  links:
    doi: "http://doi.acm.org/10.1145/379605.379657"
  researchr: "https://researchr.org/publication/BrabandMS01"
  cites: 0
  citedby: 0
  pages: "38-45"
  booktitle: "PASTE"
  kind: "inproceedings"
  key: "BrabandMS01"
- title: "Binding-time Analysis: Abstract Interpretation versus Type Inference"
  author:
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1994"
  doi: "http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=288372&tag=1"
  abstract: "Binding-time analysis is important in partial evaluators. Its task is to determine which parts of a program can be evaluated if some of the expected input is known. Two approaches to do this are abstract interpretation and type inference. We compare two specific such analyses to see which one determines most program ports to be eliminable. The first is a an abstract interpretation approach based on closure analysis and the second is the type inference approach of Gomard and Jones (1991). Both apply to the pure λ-calculus. We prove that the abstract interpretation approach is more powerful than that of Gomard and Jones: the former determines the same and possibly more program parts to be eliminable as the latter."
  links:
    doi: "http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=288372&tag=1"
  tags:
  - "type inference"
  - "rule-based"
  - "program analysis"
  - "analysis"
  - "binding-time"
  - "partial evaluation"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/PalsbergS94"
  cites: 0
  citedby: 0
  pages: "277-288"
  booktitle: "iccl"
  kind: "inproceedings"
  key: "PalsbergS94"
- title: "Making Type Inference Practical"
  author:
  - name: "Nicholas Oxhøj"
    link: "https://researchr.org/alias/nicholas-oxh%C3%B8j"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1992"
  doi: "http://link.springer.de/link/service/series/0558/bibs/0615/06150329.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/0615/06150329.htm"
  tags:
  - "type inference"
  researchr: "https://researchr.org/publication/OxhojPS92"
  cites: 0
  citedby: 0
  pages: "329-349"
  booktitle: "ECOOP"
  kind: "inproceedings"
  key: "OxhojPS92"
- title: "Precise Analysis of String Expressions"
  author:
  - name: "Aske Simon Christensen"
    link: "https://researchr.org/alias/aske-simon-christensen"
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2694/26940001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2694/26940001.htm"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/ChristensenMS03"
  cites: 0
  citedby: 1
  pages: "1-18"
  booktitle: "SAS"
  kind: "inproceedings"
  key: "ChristensenMS03"
- title: "Distributed Safety Controllers for Web Services"
  author:
  - name: "Anders Sandholm"
    link: "https://researchr.org/alias/anders-sandholm"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1382/13820270.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1382/13820270.htm"
  tags:
  - "web service"
  - "web services"
  researchr: "https://researchr.org/publication/SandholmS98"
  cites: 0
  citedby: 0
  pages: "270-284"
  booktitle: "FASE"
  kind: "inproceedings"
  key: "SandholmS98"
- title: "Dual syntax for XML languages"
  author:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.is.2008.01.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.is.2008.01.006"
  tags:
  - "XML"
  - "XML Schema"
  researchr: "https://researchr.org/publication/BrabrandMS08"
  cites: 0
  citedby: 0
  journal: "is"
  volume: "33"
  number: "4-5"
  pages: "385-406"
  kind: "article"
  key: "BrabrandMS08"
- title: "Editorial"
  author:
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1995"
  researchr: "https://researchr.org/publication/PalsbergS95%3A0"
  cites: 0
  citedby: 0
  journal: "tapos"
  volume: "1"
  number: "3"
  pages: "149"
  kind: "article"
  key: "PalsbergS95:0"
- title: "Static Correctness of Hierarchical Procedures"
  author:
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1996"
  doi: "http://dx.doi.org/10.1016/0304-3975(95)00086-0"
  links:
    doi: "http://dx.doi.org/10.1016/0304-3975(95)00086-0"
  researchr: "https://researchr.org/publication/Schwartzbach96"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "156"
  number: "1&amp;2"
  pages: "177-201"
  kind: "article"
  key: "Schwartzbach96"
- title: "Static Typing for Object-Oriented Programming"
  author:
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1994"
  tags:
  - "object-oriented programming"
  - "meta programming"
  - "programming"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "feature-oriented programming"
  - "meta-objects"
  researchr: "https://researchr.org/publication/PalsbergS94%3A0"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "23"
  number: "1"
  pages: "19-53"
  kind: "article"
  key: "PalsbergS94:0"
- title: "{PowerForms}: Declarative Client-Side Form Field Validation"
  author:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Anders M\\o{}ller"
    link: "https://researchr.org/alias/anders-m%5Ebo%7B%7Dller"
  - name: "Mikkel Ricky"
    link: "https://researchr.org/alias/mikkel-ricky"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2000"
  month: "December"
  researchr: "https://researchr.org/publication/powerforms2000"
  cites: 0
  citedby: 0
  journal: "World Wide Web Journal"
  volume: "3"
  number: "4"
  kind: "article"
  key: "powerforms2000"
- title: "Static Correctness of Hierarchical Procedures"
  author:
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1990"
  researchr: "https://researchr.org/publication/Schwartzbach90%3A0"
  cites: 0
  citedby: 0
  pages: "32-45"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "Schwartzbach90:0"
- title: "The metafront System: Extensible Parsing and Transformation"
  author:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  - name: "Mads Vanggaard"
    link: "https://researchr.org/alias/mads-vanggaard"
  year: "2003"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/133/52/show/Products/notes/index.htt#009"
  links:
    doi: "http://www1.elsevier.com/gej-ng/31/29/23/133/52/show/Products/notes/index.htt#009"
    successor: "https://researchr.org/publication/metafront2007"
  tags:
  - "transformation system"
  - "parsing"
  - "transformation"
  researchr: "https://researchr.org/publication/BrabrandSV03"
  cites: 0
  citedby: 1
  journal: "ENTCS"
  volume: "82"
  number: "3"
  pages: "592-611"
  kind: "article"
  key: "BrabrandSV03"
- title: "Related Types"
  author:
  - name: "Johnni Winther"
    link: "https://researchr.org/alias/johnni-winther"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-22655-7_21"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-22655-7_21"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/WintherS11"
  researchr: "https://researchr.org/publication/WintherS11"
  cites: 0
  citedby: 0
  pages: "434-458"
  booktitle: "ECOOP"
  kind: "inproceedings"
  key: "WintherS11"
- title: "Type Inference for Turbo Pascal"
  author:
  - name: "Ole I. Hougaard"
    link: "https://researchr.org/alias/ole-i.-hougaard"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  - name: "Hosein Askari"
    link: "https://researchr.org/alias/hosein-askari"
  year: "1995"
  tags:
  - "type inference"
  - "Pascal"
  researchr: "https://researchr.org/publication/HougaardSA95"
  cites: 0
  citedby: 0
  journal: "stp"
  volume: "16"
  number: "4"
  pages: "160-169"
  kind: "article"
  key: "HougaardSA95"
- title: "A Type System for Dynamic Web Documents"
  author:
  - name: "Anders Sandholm"
    link: "https://researchr.org/alias/anders-sandholm"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/325694.325733"
  links:
    doi: "http://doi.acm.org/10.1145/325694.325733"
  tags:
  - "type system"
  researchr: "https://researchr.org/publication/SandholmS00"
  cites: 0
  citedby: 1
  pages: "290-301"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "SandholmS00"
- title: "What is Type-Safe Code Reuse?"
  author:
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1991"
  doi: "http://link.springer.de/link/service/series/0558/bibs/0512/05120325.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/0512/05120325.htm"
  tags:
  - "reuse"
  researchr: "https://researchr.org/publication/PalsbergS91%3A0"
  cites: 0
  citedby: 0
  pages: "325-341"
  booktitle: "ECOOP"
  kind: "inproceedings"
  key: "PalsbergS91:0"
- title: "Foreword: Special Volume of TAPSOFT 1995 Papers"
  author:
  - name: "Peter D. Mosses"
    link: "https://pdmosses.github.io"
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1996"
  researchr: "https://researchr.org/publication/MossesNS96"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "167"
  number: "1&amp;2"
  pages: "1"
  kind: "article"
  key: "MossesNS96"
- title: "Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance"
  author:
  - name: "Ole Agesen"
    link: "https://researchr.org/alias/ole-agesen"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1995"
  tags:
  - "type inference"
  - "analysis"
  researchr: "https://researchr.org/publication/AgesenPS95"
  cites: 0
  citedby: 0
  journal: "SPE"
  volume: "25"
  number: "9"
  pages: "975-995"
  kind: "article"
  key: "AgesenPS95"
- title: "Safety Analysis versus Type Inference"
  author:
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1995"
  month: "April"
  tags:
  - "type inference"
  - "analysis"
  researchr: "https://researchr.org/publication/PalsbergS95"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "118"
  number: "1"
  pages: "128-141"
  kind: "article"
  key: "PalsbergS95"
- title: "The Pointer Assertion Logic Engine"
  author:
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2001"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/MollerS01"
  cites: 0
  citedby: 0
  pages: "221-231"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "MollerS01"
- title: "Interpretations of Recursively Defined Types"
  author:
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1992"
  researchr: "https://researchr.org/publication/Schwartzbach92"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "106"
  number: "1"
  pages: "119-134"
  kind: "article"
  key: "Schwartzbach92"
- title: "A Domain-Specific Language for Regular Sets of Strings and Trees"
  author:
  - name: "Nils Klarlund"
    link: "https://researchr.org/alias/nils-klarlund"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1997"
  doi: "http://www.usenix.org/publications/library/proceedings/dsl97/klarlund.html"
  links:
    doi: "http://www.usenix.org/publications/library/proceedings/dsl97/klarlund.html"
  tags:
  - "DSL"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/KlarlundS97"
  cites: 0
  citedby: 0
  booktitle: "DSL"
  kind: "inproceedings"
  key: "KlarlundS97"
- title: "XML graphs in program analysis"
  author:
  - name: "Anders Møller"
    link: "https://researchr.org/alias/anders-m%C3%B8ller"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "2011"
  doi: "http://dx.doi.org/10.1016/j.scico.2009.11.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2009.11.007"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/MollerS11"
  tags:
  - "program analysis"
  - "XML"
  - "XML Schema"
  - "analysis"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/MollerS11"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "76"
  number: "6"
  pages: "492-515"
  kind: "article"
  key: "MollerS11"
- title: "An Imperative Type Hierarchy with Partial Products"
  author:
  - name: "Erik Meineche Schmidt"
    link: "https://researchr.org/alias/erik-meineche-schmidt"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  year: "1989"
  researchr: "https://researchr.org/publication/SchmidtS89"
  cites: 0
  citedby: 0
  pages: "458-470"
  booktitle: "mfcs"
  kind: "inproceedings"
  key: "SchmidtS89"
- title: "Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedi"
  year: "2000"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/tacas%3A2000"
  cites: 0
  citedby: 0
  booktitle: "Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedi"
  conference: "TACAS"
  editor:
  - name: "Susanne Graf"
    link: "https://researchr.org/alias/susanne-graf"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  volume: "1785"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67282-6"
  kind: "proceedings"
  key: "tacas:2000"
- title: "Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers"
  year: "2007"
  tags:
  - "programming languages"
  - "programming"
  - "database"
  researchr: "https://researchr.org/publication/dbpl%3A2007"
  cites: 0
  citedby: 0
  booktitle: "Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers"
  conference: "DBPL"
  editor:
  - name: "Marcelo Arenas"
    link: "https://researchr.org/alias/marcelo-arenas"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  volume: "4797"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-75986-7"
  kind: "proceedings"
  key: "dbpl:2007"
- title: "Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00722-4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00722-4"
  tags:
  - "compiler"
  researchr: "https://researchr.org/publication/cc%3A2009"
  cites: 0
  citedby: 0
  booktitle: "Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings"
  conference: "CC"
  editor:
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  volume: "5501"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00721-7"
  kind: "proceedings"
  key: "cc:2009"
- title: "TAPSOFT 95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings"
  year: "1995"
  researchr: "https://researchr.org/publication/tapsoft%3A1995"
  cites: 0
  citedby: 0
  booktitle: "TAPSOFT 95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings"
  conference: "tapsoft"
  editor:
  - name: "Peter D. Mosses"
    link: "https://pdmosses.github.io"
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  volume: "915"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-59293-8"
  kind: "proceedings"
  key: "tapsoft:1995"
- title: "Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006"
  year: "2006"
  tags:
  - "programming languages"
  - "language design"
  - "programming"
  - "design"
  researchr: "https://researchr.org/publication/pldi%3A2006"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006"
  conference: "PLDI"
  editor:
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  - name: "Thomas Ball"
    link: "https://researchr.org/alias/thomas-ball"
  publisher: "ACM"
  isbn: "1-59593-320-4"
  kind: "proceedings"
  key: "pldi:2006"