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: "Journal of Symbolic Computation"
  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: "Mathematical Structures in Computer Science"
  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: "Database Programming Languages, 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers"
  editor:
  - name: "Gavin M. Bierman"
    link: "https://researchr.org/alias/gavin-m.-bierman"
  - name: "Christoph Koch"
    link: "https://researchr.org/alias/christoph-koch"
  volume: "3774"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-30951-9"
  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: "Computer Networks"
  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 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP 91)"
  editor:
  - name: "Samson Abramsky"
    link: "https://researchr.org/alias/samson-abramsky"
  - name: "T. S. E. Maibaum"
    link: "https://researchr.org/alias/t.-s.-e.-maibaum"
  volume: "493"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-53982-4"
  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: "Developments in Language Theory, Foundations, Applications, and Perspectives, Aachen, Germany, 6-9 July 1999"
  editor:
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  - name: "Wolfgang Thomas"
    link: "https://researchr.org/alias/wolfgang-thomas"
  publisher: "World Scientific"
  isbn: "981-02-4380-4"
  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: "World Wide Web"
  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: "J. Web Eng."
  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: "Int. J. Found. Comput. Sci."
  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: "Inf. Process. Lett."
  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: "Financial Cryptography and Data Security, 13th International Conference, FC 2009, Accra Beach, Barbados, February 23-26, 2009. Revised Selected Papers"
  editor:
  - name: "Roger Dingledine"
    link: "https://researchr.org/alias/roger-dingledine"
  - name: "Philippe Golle"
    link: "https://researchr.org/alias/philippe-golle"
  volume: "5628"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  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: "World Wide Web"
  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: "Programming Languages and Systems, 9th European Symposium on Programming, ESOP 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, Proceedings"
  editor:
  - name: "Gert Smolka"
    link: "https://researchr.org/alias/gert-smolka"
  volume: "1782"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67262-1"
  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: "ACM Transactions on Programming Languages and Systems"
  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: "Inf. Process. Lett."
  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: "Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"
  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: "Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA"
  editor:
  - name: "Mats Per Erik Heimdahl"
    link: "https://researchr.org/alias/mats-per-erik-heimdahl"
  publisher: "ACM"
  isbn: "1-58113-262-X"
  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: "Database Theory - ICDT 2005, 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings"
  editor:
  - name: "Thomas Eiter"
    link: "https://researchr.org/alias/thomas-eiter"
  - name: "Leonid Libkin"
    link: "https://researchr.org/alias/leonid-libkin"
  volume: "3363"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-24288-0"
  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: "OOPS Messenger"
  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: "33rd Annual Symposium on Foundations of Computer Science, 24-27 October 1992, Pittsburgh, Pennsylvania, USA"
  publisher: "IEEE"
  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: "ACM SIGCSE Bulletin"
  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: "ACM Transactions on Programming Languages and Systems"
  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"
  volume: "3774"
  series: "LNCS"
  publisher: "Springer-Verlag"
  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: "Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"
  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: "ASIA-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: "Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007"
  editor:
  - name: "Ganesan Ramalingam"
    link: "http://research.microsoft.com/en-us/um/people/grama/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  publisher: "ACM"
  isbn: "978-1-59593-620-2"
  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: "Trees in Algebra and Programming - CAAP 94, 19th International Colloquium, Edinburgh, U.K., April 11-13, 1994, Proceedings"
  editor:
  - name: "Sophie Tison"
    link: "https://researchr.org/alias/sophie-tison"
  volume: "787"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57879-X"
  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: "OOPS Messenger"
  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"
  publisher: "ACM"
  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: "IEEE Trans. Software Eng."
  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: "Web Engineering - 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings"
  editor:
  - name: "Marco Brambilla"
    link: "https://researchr.org/alias/marco-brambilla"
  - name: "Takehiro Tokuda"
    link: "https://researchr.org/alias/takehiro-tokuda"
  - name: "Robert Tolksdorf"
    link: "https://researchr.org/alias/robert-tolksdorf"
  volume: "7387"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-31752-1"
  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/ECOOP"
  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: "Inf. Syst."
  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 Cryptology ePrint Archive"
  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: "Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, PLAS 2007, San Diego, California, USA, June 14, 2007"
  editor:
  - name: "Michael W. Hicks"
    link: "https://researchr.org/alias/michael-w.-hicks"
  publisher: "ACM"
  isbn: "978-1-59593-711-7"
  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 93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993, Proceedings"
  editor:
  - name: "Oscar Nierstrasz"
    link: "http://scg.unibe.ch/staff/oscar"
  volume: "707"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57120-5"
  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"
  address: "New York, NY, USA"
  publisher: "ACM"
  isbn: "1-58113-455-X"
  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: "Automated Software Engineering"
  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"
  note: "Kluwer"
  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: "IEEE Trans. Software Eng."
  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: "J. Comput. Syst. Sci."
  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: "Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers"
  editor:
  - name: "Sheng Yu"
    link: "https://researchr.org/alias/sheng-yu"
  - name: "Andrei Paun"
    link: "https://researchr.org/alias/andrei-paun"
  volume: "2088"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42491-1"
  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: "Compiler Construction, 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings"
  editor:
  - name: "Laurie J. Hendren"
    link: "http://www.sable.mcgill.ca/~hendren/"
  volume: "4959"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78790-7"
  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"
  note: "Elsevier. Also in Proc. 8th International World Wide Web Conference, WWW8"
  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  90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings"
  editor:
  - name: "André Arnold"
    link: "https://researchr.org/alias/andr%C3%A9-arnold"
  volume: "431"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-52590-4"
  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"
  note: "Earlier version in Proc. 10th International Workshop on Database Programming Languages, DBPL~'05, Springer-Verlag LNCS vol.\\ 3774"
  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: "Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE 01, Snowbird, Utah, USA, June 18-19, 2001"
  publisher: "ACM"
  isbn: "1-58113-413-4"
  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: "Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France"
  editor:
  - name: "Henri E. Bal"
    link: "https://researchr.org/alias/henri-e.-bal"
  publisher: "IEEE Computer Society"
  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  92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29 - July 3, 1992, Proceedings"
  editor:
  - name: "Ole Lehrmann Madsen"
    link: "https://researchr.org/alias/ole-lehrmann-madsen"
  volume: "615"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55668-0"
  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: "Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings"
  editor:
  - name: "Radhia Cousot"
    link: "https://researchr.org/alias/radhia-cousot"
  volume: "2694"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40325-6"
  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: "Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE 98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings"
  editor:
  - name: "Egidio Astesiano"
    link: "https://researchr.org/alias/egidio-astesiano"
  volume: "1382"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64303-6"
  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: "Inf. Syst."
  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: "Theoretical Computer Science"
  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: "Science of Computer Programming"
  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"
  note: "Kluwer"
  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: "Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, July 16-20, 1990, Proceedings"
  editor:
  - name: "Mike Paterson"
    link: "https://researchr.org/alias/mike-paterson"
  volume: "443"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-52826-1"
  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: "Electronic Notes in Theoretical Computer Science"
  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 2011 - Object-Oriented Programming - 25th European Conference, Lancaster, UK, July 25-29, 2011 Proceedings"
  editor:
  - name: "Mira Mezini"
    link: "https://researchr.org/alias/mira-mezini"
  volume: "6813"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-22654-0"
  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: "Software - Concepts and Tools"
  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 91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July  15-19, 1991, Proceedings"
  editor:
  - name: "Pierre America"
    link: "https://researchr.org/alias/pierre-america"
  volume: "512"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54262-0"
  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: "Theoretical Computer Science"
  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: "Software: Practice and Experience"
  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: "Inf. Comput."
  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: "Theoretical Computer Science"
  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: "Proceedings of the Conference on Domain-Specific Languages, October 15-17, 1997, Santa Barbara, California, USA"
  publisher: "USENIX"
  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: "Science of Computer Programming"
  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: "Mathematical Foundations of Computer Science 1989, MFCS 89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989, Proceedings"
  editor:
  - name: "Antoni Kreczmar"
    link: "https://researchr.org/alias/antoni-kreczmar"
  - name: "Grazyna Mirkowska"
    link: "https://researchr.org/alias/grazyna-mirkowska"
  volume: "379"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51486-4"
  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"