@article{LarsenS94,
  title = {Injectivity of Composite Functions},
  author = {Kim S. Larsen and Michael I. Schwartzbach},
  year = {1994},
  researchr = {https://researchr.org/publication/LarsenS94},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Computation},
  volume = {17},
  number = {5},
  pages = {393-408},
}

@article{KozenPS95,
  title = {Efficient Recursive Subtyping},
  author = {Dexter Kozen and Jens Palsberg and Michael I. Schwartzbach},
  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},
}

@inproceedings{BrabrandMS05,
  title = {Dual Syntax for XML Languages},
  author = {Claus Brabrand and Anders Møller and Michael I. Schwartzbach},
  year = {2005},
  doi = {10.1007/11601524_2},
  url = {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 = {Gavin M. Bierman and Christoph Koch},
  volume = {3774},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30951-9},
}

@book{MoellerS20,
  title = {Static Program Analysis},
  author = {Anders Møller and Michael I. Schwartzbach},
  year = {2020},
  month = {November},
  url = {https://cs.au.dk/~amoeller/spa/},
  researchr = {https://researchr.org/publication/MoellerS20},
  cites = {0},
  citedby = {0},
  organization = {Department of Computer Science, Aarhus University},
}

@article{BrabrandMSS99,
  title = {A Runtime System for Interactive Web Services},
  author = {Claus Brabrand and Anders Møller and Anders Sandholm and Michael I. Schwartzbach},
  year = {1999},
  doi = {10.1016/S1389-1286(99)00025-0},
  url = {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},
}

@inproceedings{Schwartzbach91,
  title = {Type Inference with Inequalities},
  author = {Michael I. Schwartzbach},
  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 = {Samson Abramsky and T. S. E. Maibaum},
  volume = {493},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-53982-4},
}

@inproceedings{KlarlundDS99,
  title = {Yakyak: parsing with logical side constraints},
  author = {Nils Klarlund and Niels Damgaard and Michael I. Schwartzbach},
  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 = {Grzegorz Rozenberg and Wolfgang Thomas},
  publisher = {World Scientific},
  isbn = {981-02-4380-4},
}

@article{BrabrandMOS02,
  title = {Language-Based Caching of Dynamiclly Generated HTML},
  author = {Claus Brabrand and Anders Møller and Steffan Olesen and Michael I. Schwartzbach},
  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},
}

@article{BottgerMS06,
  title = {Contracts for Cooperation between Web Service Programmers and HTML Designers},
  author = {Henning Böttger and Anders Møller and Michael I. Schwartzbach},
  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},
}

@article{KlarlundMS02:0,
  title = {MONA Implementation Secrets},
  author = {Nils Klarlund and Anders Møller and Michael I. Schwartzbach},
  year = {2002},
  doi = {10.1142/S012905410200128X},
  url = {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},
}

@article{PalsbergS92,
  title = {Safety Analysis Versus Type Inference for Partial Types},
  author = {Jens Palsberg and Michael I. Schwartzbach},
  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},
}

@inproceedings{BogetoftCDGJKNNNPST09,
  title = {Secure Multiparty Computation Goes Live},
  author = {Peter Bogetoft and Dan Lund Christensen and Ivan Damgård and Martin Geisler and Thomas P. Jakobsen and Mikkel Krøigaard and Janus Dam Nielsen and Jesper Buus Nielsen and Kurt Nielsen and Jakob Pagter and Michael I. Schwartzbach and Tomas Toft},
  year = {2009},
  doi = {10.1007/978-3-642-03549-4_20},
  url = {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 = {Roger Dingledine and Philippe Golle},
  volume = {5628},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
}

@article{BrabrandMRS00,
  title = {PowerForms: Declarative client-side form field validation},
  author = {Claus Brabrand and Anders Møller and Mikkel Ricky and Michael I. Schwartzbach},
  year = {2000},
  researchr = {https://researchr.org/publication/BrabrandMRS00},
  cites = {0},
  citedby = {0},
  journal = {World Wide Web},
  volume = {3},
  number = {4},
  pages = {205-214},
}

@inproceedings{ElgaardMS00,
  title = {Compile-Time Debugging of C Programs Working on Trees},
  author = {Jacob Elgaard and Anders Møller and Michael I. Schwartzbach},
  year = {2000},
  url = {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 = {Gert Smolka},
  volume = {1782},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67262-1},
}

@article{ChristensenMS03:0,
  title = {Extending Java for high-level Web service construction},
  author = {Aske Simon Christensen and Anders Møller and Michael I. Schwartzbach},
  year = {2003},
  doi = {10.1145/945885.945890},
  url = {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},
}

@article{LarsenSS92,
  title = {A New Formalism for Relational Algebra},
  author = {Kim S. Larsen and Michael I. Schwartzbach and 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},
}

@inproceedings{KlarlundS93,
  title = {Graph Types},
  author = {Nils Klarlund and Michael I. Schwartzbach},
  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},
}

@inproceedings{KlarlundMS00,
  title = {DSD: A schema language for XML},
  author = {Nils Klarlund and Anders Møller and Michael I. Schwartzbach},
  year = {2000},
  doi = {10.1145/349360.351158},
  url = {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 = {Mats Per Erik Heimdahl},
  publisher = {ACM},
  isbn = {1-58113-262-X},
}

@inproceedings{MollerS05,
  title = {The Design Space of Type Checkers for XML Transformation Languages},
  author = {Anders Møller and Michael I. Schwartzbach},
  year = {2005},
  url = {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 = {Thomas Eiter and Leonid Libkin},
  volume = {3363},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-24288-0},
}

@article{SchwartzbachP93,
  title = {Types for the language designer (abstract)},
  author = {Michael I. Schwartzbach and Jens Palsberg},
  year = {1993},
  researchr = {https://researchr.org/publication/SchwartzbachP93},
  cites = {0},
  citedby = {0},
  journal = {OOPS Messenger},
  volume = {4},
  number = {2},
  pages = {219},
}

@inproceedings{KozenPS92,
  title = {Efficient Inference of Partial Types},
  author = {Dexter Kozen and Jens Palsberg and Michael I. Schwartzbach},
  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},
}

@article{FrandsenS06,
  title = {A singular choice for multiple choice},
  author = {Gudmund Skovbjerg Frandsen and Michael I. Schwartzbach},
  year = {2006},
  doi = {10.1145/1189136.1189164},
  url = {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},
}

@article{MollerOS07,
  title = {Static validation of XSL transformations},
  author = {Anders Møller and Mads Østerby Olesen and Michael I. Schwartzbach},
  year = {2007},
  doi = {10.1145/1255450.1255454},
  url = {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},
}

@inproceedings{xsugar2005,
  title = {Dual Syntax for XML Languages},
  author = {Claus Brabrand and Anders M\o{}ller and Michael I. Schwartzbach},
  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},
}

@article{metafront2007,
  title = {The metafront System: Safe and Extensible Parsing and Transformation},
  author = {Claus Brabrand and Michael I. Schwartzbach},
  year = {2007},
  doi = {10.1016/j.scico.2005.06.007},
  url = {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},
}

@inproceedings{KozenPS93,
  title = {Efficient Recursive Subtyping},
  author = {Dexter Kozen and Jens Palsberg and Michael I. Schwartzbach},
  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},
}

@article{BrabrandMS02,
  title = {The \texttt{<}bigwig\texttt{>} project},
  author = {Claus Brabrand and Anders Møller and Michael I. Schwartzbach},
  year = {2002},
  doi = {10.1145/514183.514184},
  url = {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},
}

@inproceedings{BrabrandS02,
  title = {Growing languages with metamorphic syntax macros},
  author = {Claus Brabrand and Michael I. Schwartzbach},
  year = {2002},
  doi = {10.1145/503032.503035},
  url = {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},
}

@inproceedings{MollerS07,
  title = {XML graphs in program analysis},
  author = {Anders Møller and Michael I. Schwartzbach},
  year = {2007},
  doi = {10.1145/1244381.1244383},
  url = {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 = {Ganesan Ramalingam and Eelco Visser},
  publisher = {ACM},
  isbn = {978-1-59593-620-2},
}

@inproceedings{KalrlundS94,
  title = {Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract)},
  author = {Nils Klarlund and Michael I. Schwartzbach},
  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 = {Sophie Tison},
  volume = {787},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57879-X},
}

@article{PalsbergS92:0,
  title = {Three discussions on object-oriented typing},
  author = {Jens Palsberg and Michael I. Schwartzbach},
  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},
}

@inproceedings{macro2002,
  title = {Growing Languages with Metamorphic Syntax Macros},
  author = {Claus Brabrand and Michael I. Schwartzbach},
  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},
}

@article{KlarlundS99,
  title = {A Domain-Specific Language for Regular Sets of Strings and Trees},
  author = {Nils Klarlund and Michael I. Schwartzbach},
  year = {1999},
  url = {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},
}

@inproceedings{ThomsenEBS12,
  title = {WebSelF: A Web Scraping Framework},
  author = {Jakob G. Thomsen and Erik Ernst and Claus Brabrand and Michael I. Schwartzbach},
  year = {2012},
  doi = {10.1007/978-3-642-31753-8_28},
  url = {http://dx.doi.org/10.1007/978-3-642-31753-8_28},
  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 = {Marco Brambilla and Takehiro Tokuda and Robert Tolksdorf},
  volume = {7387},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-31752-1},
}

@inproceedings{PalsbergS90,
  title = {Type Substitution for Object-Oriented Programming},
  author = {Jens Palsberg and Michael I. Schwartzbach},
  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},
}

@article{ArenasS09,
  title = {Information systems preface},
  author = {Marcelo Arenas and Michael I. Schwartzbach},
  year = {2009},
  doi = {10.1016/j.is.2009.06.001},
  url = {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},
}

@article{BogetoftCDGJKNNNPST08,
  title = {Multiparty Computation Goes Live},
  author = {Peter Bogetoft and Dan Lund Christensen and Ivan Damgård and Martin Geisler and Thomas P. Jakobsen and Mikkel Krøigaard and Janus Dam Nielsen and Jesper Buus Nielsen and Kurt Nielsen and Jakob Pagter and Michael I. Schwartzbach and Tomas Toft},
  year = {2008},
  url = {http://eprint.iacr.org/2008/068},
  researchr = {https://researchr.org/publication/BogetoftCDGJKNNNPST08},
  cites = {0},
  citedby = {0},
  journal = {IACR Cryptology ePrint Archive},
  volume = {2008},
  pages = {68},
}

@inproceedings{NielsenS07,
  title = {A domain-specific programming language for secure multiparty computation},
  author = {Janus Dam Nielsen and Michael I. Schwartzbach},
  year = {2007},
  doi = {10.1145/1255329.1255333},
  url = {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 = {Michael W. Hicks},
  publisher = {ACM},
  isbn = {978-1-59593-711-7},
}

@inproceedings{AgesenPS93,
  title = {Type Inference of SELF},
  author = {Ole Agesen and Jens Palsberg and Michael I. Schwartzbach},
  year = {1993},
  url = {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 = {Oscar Nierstrasz},
  volume = {707},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57120-5},
}

@inproceedings{503035,
  title = {Growing languages with metamorphic syntax macros},
  author = {Brabrand, Claus and Michael I. Schwartzbach},
  year = {2002},
  doi = {10.1145/503032.503035},
  url = {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},
}

@article{KlarlundMS02,
  title = {The DSD Schema Language},
  author = {Nils Klarlund and Anders Møller and Michael I. Schwartzbach},
  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},
}

@article{caching2002,
  title = {Language-Based Caching of Dynamically Generated HTML},
  author = {Claus Brabrand and Anders M\o{}ller and Steffan Olesen and Michael I. Schwartzbach},
  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},
}

@inproceedings{KlarlundKS96,
  title = {Formal Design Constraints},
  author = {Nils Klarlund and Jari Koistinen and Michael I. Schwartzbach},
  year = {1996},
  tags = {constraints, design},
  researchr = {https://researchr.org/publication/KlarlundKS96},
  cites = {0},
  citedby = {0},
  pages = {370-383},
  booktitle = {OOPSLA},
}

@inproceedings{JensenJKS97,
  title = {Automatic Verification of Pointer Programs using Monadic Second-Order Logic},
  author = {Jakob L. Jensen and Michael E. Jørgensen and Nils Klarlund and Michael I. Schwartzbach},
  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},
}

@book{PalsbergSchwartzbach94,
  title = {Object-oriented type systems},
  author = {Jens Palsberg and Michael I. Schwartzbach},
  year = {1994},
  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},
}

@article{KirkegaardMS04,
  title = {Static Analysis of XML Transformations in Java},
  author = {Christian Kirkegaard and Anders Møller and Michael I. Schwartzbach},
  year = {2004},
  url = {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},
}

@article{KozenPS94,
  title = {Efficient Inference of Partial Types},
  author = {Dexter Kozen and Jens Palsberg and Michael I. Schwartzbach},
  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},
}

@book{0017330,
  title = {An introduction to XML and web technologies},
  author = {Anders Møller and Michael I. Schwartzbach},
  year = {2006},
  tags = {XML, XML Schema},
  researchr = {https://researchr.org/publication/0017330},
  cites = {0},
  citedby = {0},
  publisher = {Addison-Wesley},
  isbn = {978-0-321-26966-9},
}

@inproceedings{valid2001,
  title = {Static Validation of Dynamically Generated HTML},
  author = {Claus Brabrand and Anders M\o{}ller and Michael I. Schwartzbach},
  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},
}

@inproceedings{KlarlundMS00:0,
  title = {MONA Implementation Secrets},
  author = {Nils Klarlund and Anders Møller and Michael I. Schwartzbach},
  year = {2000},
  url = {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 = {Sheng Yu and Andrei Paun},
  volume = {2088},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42491-1},
}

@inproceedings{PalsbergS91,
  title = {Object-Oriented Type Inference},
  author = {Jens Palsberg and Michael I. Schwartzbach},
  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},
}

@inproceedings{Schwartzbach08,
  title = {Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation},
  author = {Michael I. Schwartzbach},
  year = {2008},
  doi = {10.1007/978-3-540-78791-4_1},
  url = {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 = {Laurie J. Hendren},
  volume = {4959},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78790-7},
}

@article{runtime1999,
  title = {A Runtime System for Interactive {W}eb Services},
  author = {Claus Brabrand and Anders M\o{}ller and Anders Sandholm and Michael I. Schwartzbach},
  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},
}

@inproceedings{Schwartzbach90,
  title = {Infinite Values in Hierarchical Imperative Types},
  author = {Michael I. Schwartzbach},
  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 = {André Arnold},
  volume = {431},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-52590-4},
}

@article{xsugar2008,
  title = {Dual Syntax for XML Languages},
  author = {Claus Brabrand and Anders M\o{}ller and Michael I. Schwartzbach},
  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},
}

@inproceedings{BrabandMS01,
  title = {Static validation of dynamically generated HTML},
  author = {Claus Brabrand and Anders Møller and Michael I. Schwartzbach},
  year = {2001},
  doi = {10.1145/379605.379657},
  url = {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},
}

@inproceedings{PalsbergS94,
  title = {Binding-time Analysis: Abstract Interpretation versus Type Inference},
  author = {Jens Palsberg and Michael I. Schwartzbach},
  year = {1994},
  url = {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 = {Henri E. Bal},
  publisher = {IEEE Computer Society},
}

@inproceedings{OxhojPS92,
  title = {Making Type Inference Practical},
  author = {Nicholas Oxhøj and Jens Palsberg and Michael I. Schwartzbach},
  year = {1992},
  url = {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 = {Ole Lehrmann Madsen},
  volume = {615},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55668-0},
}

@inproceedings{ChristensenMS03,
  title = {Precise Analysis of String Expressions},
  author = {Aske Simon Christensen and Anders Møller and Michael I. Schwartzbach},
  year = {2003},
  url = {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 = {Radhia Cousot},
  volume = {2694},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40325-6},
}

@inproceedings{SandholmS98,
  title = {Distributed Safety Controllers for Web Services},
  author = {Anders Sandholm and Michael I. Schwartzbach},
  year = {1998},
  url = {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 = {Egidio Astesiano},
  volume = {1382},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64303-6},
}

@article{BrabrandMS08,
  title = {Dual syntax for XML languages},
  author = {Claus Brabrand and Anders Møller and Michael I. Schwartzbach},
  year = {2008},
  doi = {10.1016/j.is.2008.01.006},
  url = {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},
}

@article{PalsbergS95:0,
  title = {Editorial},
  author = {Jens Palsberg and Michael I. Schwartzbach},
  year = {1995},
  researchr = {https://researchr.org/publication/PalsbergS95%3A0},
  cites = {0},
  citedby = {0},
  journal = {TAPOS},
  volume = {1},
  number = {3},
  pages = {149},
}

@article{Schwartzbach96,
  title = {Static Correctness of Hierarchical Procedures},
  author = {Michael I. Schwartzbach},
  year = {1996},
  doi = {10.1016/0304-3975(95)00086-0},
  url = {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},
}

@article{PalsbergS94:0,
  title = {Static Typing for Object-Oriented Programming},
  author = {Jens Palsberg and Michael I. Schwartzbach},
  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},
}

@article{powerforms2000,
  title = {{PowerForms}: Declarative Client-Side Form Field Validation},
  author = {Claus Brabrand and Anders M\o{}ller and Mikkel Ricky and Michael I. Schwartzbach},
  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},
}

@inproceedings{Schwartzbach90:0,
  title = {Static Correctness of Hierarchical Procedures},
  author = {Michael I. Schwartzbach},
  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 = {Mike Paterson},
  volume = {443},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-52826-1},
}

@article{BrabrandSV03,
  title = {The metafront System: Extensible Parsing and Transformation},
  author = {Claus Brabrand and Michael I. Schwartzbach and Mads Vanggaard},
  year = {2003},
  url = {http://www1.elsevier.com/gej-ng/31/29/23/133/52/show/Products/notes/index.htt#009},
  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},
}

@inproceedings{WintherS11,
  title = {Related Types},
  author = {Johnni Winther and Michael I. Schwartzbach},
  year = {2011},
  doi = {10.1007/978-3-642-22655-7_21},
  url = {http://dx.doi.org/10.1007/978-3-642-22655-7_21},
  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 = {Mira Mezini},
  volume = {6813},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-22654-0},
}

@article{HougaardSA95,
  title = {Type Inference for Turbo Pascal},
  author = {Ole I. Hougaard and Michael I. Schwartzbach and 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},
}

@inproceedings{SandholmS00,
  title = {A Type System for Dynamic Web Documents},
  author = {Anders Sandholm and Michael I. Schwartzbach},
  year = {2000},
  doi = {10.1145/325694.325733},
  url = {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},
}

@inproceedings{PalsbergS91:0,
  title = {What is Type-Safe Code Reuse?},
  author = {Jens Palsberg and Michael I. Schwartzbach},
  year = {1991},
  url = {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 = {Pierre America},
  volume = {512},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54262-0},
}

@article{MossesNS96,
  title = {Foreword: Special Volume of TAPSOFT 1995 Papers},
  author = {Peter D. Mosses and Mogens Nielsen and Michael I. Schwartzbach},
  year = {1996},
  researchr = {https://researchr.org/publication/MossesNS96},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {167},
  number = {1&amp;2},
  pages = {1},
}

@article{AgesenPS95,
  title = {Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance},
  author = {Ole Agesen and Jens Palsberg and Michael I. Schwartzbach},
  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},
}

@article{PalsbergS95,
  title = {Safety Analysis versus Type Inference},
  author = {Jens Palsberg and Michael I. Schwartzbach},
  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},
}

@inproceedings{MollerS01,
  title = {The Pointer Assertion Logic Engine},
  author = {Anders Møller and Michael I. Schwartzbach},
  year = {2001},
  tags = {logic},
  researchr = {https://researchr.org/publication/MollerS01},
  cites = {0},
  citedby = {0},
  pages = {221-231},
  booktitle = {PLDI},
}

@article{Schwartzbach92,
  title = {Interpretations of Recursively Defined Types},
  author = {Michael I. Schwartzbach},
  year = {1992},
  researchr = {https://researchr.org/publication/Schwartzbach92},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {106},
  number = {1},
  pages = {119-134},
}

@inproceedings{KlarlundS97,
  title = {A Domain-Specific Language for Regular Sets of Strings and Trees},
  author = {Nils Klarlund and Michael I. Schwartzbach},
  year = {1997},
  url = {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},
}

@article{MollerS11,
  title = {XML graphs in program analysis},
  author = {Anders Møller and Michael I. Schwartzbach},
  year = {2011},
  doi = {10.1016/j.scico.2009.11.007},
  url = {http://dx.doi.org/10.1016/j.scico.2009.11.007},
  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},
}

@inproceedings{SchmidtS89,
  title = {An Imperative Type Hierarchy with Partial Products},
  author = {Erik Meineche Schmidt and Michael I. Schwartzbach},
  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 = {Antoni Kreczmar and Grazyna Mirkowska},
  volume = {379},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-51486-4},
}
@proceedings{tacas:2000,
  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 = {Susanne Graf and Michael I. Schwartzbach},
  volume = {1785},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67282-6},
}

@proceedings{dbpl:2007,
  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 = {Marcelo Arenas and Michael I. Schwartzbach},
  volume = {4797},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-75986-7},
}

@proceedings{cc:2009,
  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 = {10.1007/978-3-642-00722-4},
  url = {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 = {Oege de Moor and Michael I. Schwartzbach},
  volume = {5501},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00721-7},
}

@proceedings{tapsoft:1995,
  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 = {Peter D. Mosses and Mogens Nielsen and Michael I. Schwartzbach},
  volume = {915},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-59293-8},
}

@proceedings{pldi:2006,
  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 = {Michael I. Schwartzbach and Thomas Ball},
  publisher = {ACM},
  isbn = {1-59593-320-4},
}