@inproceedings{Bagge10,
  title = {Language description for front end implementation},
  author = {Anya Helene Bagge},
  year = {2010},
  doi = {10.1145/1868281.1868290},
  url = {http://doi.acm.org/10.1145/1868281.1868290},
  researchr = {https://researchr.org/publication/Bagge10},
  cites = {0},
  citedby = {0},
  pages = {9},
  booktitle = {Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS},
  editor = {Claus Brabrand and Pierre-Etienne Moreau},
  publisher = {ACM},
  isbn = {978-1-4503-0063-6},
}

@inproceedings{BaggeDH08,
  title = {Axiom-based testing for C++},
  author = {Anya Helene Bagge and Valentin David and Magne Haveraaen},
  year = {2008},
  doi = {10.1145/1449814.1449829},
  url = {http://doi.acm.org/10.1145/1449814.1449829},
  tags = {rule-based, testing, C++},
  researchr = {https://researchr.org/publication/BaggeDH08},
  cites = {0},
  citedby = {0},
  pages = {721-722},
  booktitle = {Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA},
  editor = {Gail E. Harris},
  publisher = {ACM},
  isbn = {978-1-60558-220-7},
}

@inproceedings{HasuBH13,
  title = {Inferring Required Permissions for Statically Composed Programs},
  author = {Tero Hasu and Anya Helene Bagge and Magne Haveraaen},
  year = {2013},
  doi = {10.1007/978-3-642-41488-6_4},
  url = {http://dx.doi.org/10.1007/978-3-642-41488-6_4},
  researchr = {https://researchr.org/publication/HasuBH13},
  cites = {0},
  citedby = {0},
  pages = {51-66},
  booktitle = {Secure IT Systems - 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings},
  editor = {Hanne Riis Nielson and Dieter Gollmann},
  volume = {8208},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-41487-9},
}

@inproceedings{BaggeDH08a,
  title = {Testing with concepts and axioms in C++},
  author = {Anya Helene Bagge and Valentin David and Magne Haveraaen},
  year = {2008},
  doi = {10.1145/1449814.1449855},
  url = {http://doi.acm.org/10.1145/1449814.1449855},
  tags = {testing, C++},
  researchr = {https://researchr.org/publication/BaggeDH08a},
  cites = {0},
  citedby = {0},
  pages = {773-774},
  booktitle = {Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA},
  editor = {Gail E. Harris},
  publisher = {ACM},
  isbn = {978-1-60558-220-7},
}

@article{BaggeDH11,
  title = {Testing with Axioms in C++ 2011},
  author = {Anya Helene Bagge and Valentin David and Magne Haveraaen},
  year = {2011},
  doi = {10.5381/jot.2011.10.1.a10},
  url = {http://dx.doi.org/10.5381/jot.2011.10.1.a10},
  researchr = {https://researchr.org/publication/BaggeDH11},
  cites = {0},
  citedby = {0},
  journal = {Journal of Object Technology},
  volume = {10},
}

@inproceedings{BaggeDHK06,
  title = {Stayin  alert: moulding failure and exceptions to your needs},
  author = {Anya Helene Bagge and Valentin David and Magne Haveraaen and Karl Trygve Kalleberg},
  year = {2006},
  doi = {10.1145/1173706.1173747},
  url = {http://doi.acm.org/10.1145/1173706.1173747},
  tags = {exceptions},
  researchr = {https://researchr.org/publication/BaggeDHK06},
  cites = {0},
  citedby = {0},
  pages = {265-274},
  booktitle = {Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings},
  editor = {Stan Jarzabek and Douglas C. Schmidt and Todd L. Veldhuizen},
  publisher = {ACM},
  isbn = {1-59593-237-2},
}

@inproceedings{BaggeH13,
  title = {A Pretty Good Formatting Pipeline},
  author = {Anya Helene Bagge and Tero Hasu},
  year = {2013},
  doi = {10.1007/978-3-319-02654-1_10},
  url = {http://dx.doi.org/10.1007/978-3-319-02654-1_10},
  researchr = {https://researchr.org/publication/BaggeH13},
  cites = {0},
  citedby = {0},
  pages = {177-196},
  booktitle = {Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  editor = {Martin Erwig and Richard F. Paige and Eric {Van Wyk}},
  volume = {8225},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-02653-4},
}

@phdthesis{Bagge09phd,
  title = {Constructs \& {C}oncepts: Language Design for Flexibility and Reliability},
  author = {Anya Helene Bagge},
  year = {2009},
  month = {November},
  tags = {language design, reliability, design},
  researchr = {https://researchr.org/publication/Bagge09phd},
  cites = {0},
  citedby = {0},
  school = {Research School in Information and Communication Technology, Department of Informatics, University of Bergen, Norway},
  address = {PB 7803, 5020 Bergen, Norway},
  advisor = {Magne Haveraaen and Eelco Visser},
}

@inproceedings{BaggeZ13,
  title = {Workshop on open and original problems in software language engineering},
  author = {Anya Helene Bagge and Vadim Zaytsev},
  year = {2013},
  doi = {10.1109/WCRE.2013.6671334},
  url = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2013.6671334},
  researchr = {https://researchr.org/publication/BaggeZ13},
  cites = {0},
  citedby = {0},
  pages = {493-494},
  booktitle = {20th Working Conference on Reverse Engineering, WCRE 2013, Koblenz, Germany, October 14-17, 2013},
  editor = {Ralf Lämmel and Rocco Oliveto and Romain Robbes},
  publisher = {IEEE},
}

@article{BaggeH10,
  title = {Interfacing Concepts: Why Declaration Style Shouldn t Matter},
  author = {Anya Helene Bagge and Magne Haveraaen},
  year = {2010},
  doi = {10.1016/j.entcs.2010.08.030},
  url = {http://dx.doi.org/10.1016/j.entcs.2010.08.030},
  researchr = {https://researchr.org/publication/BaggeH10},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {253},
  number = {7},
  pages = {37-50},
}

@inproceedings{BaggeL13,
  title = {Walk Your Tree Any Way You Want},
  author = {Anya Helene Bagge and Ralf Lämmel},
  year = {2013},
  doi = {10.1007/978-3-642-38883-5_3},
  url = {http://dx.doi.org/10.1007/978-3-642-38883-5_3},
  researchr = {https://researchr.org/publication/BaggeL13},
  cites = {0},
  citedby = {0},
  pages = {33-49},
  booktitle = {Theory and Practice of Model Transformations - 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings},
  editor = {Keith Duddy and Gerti Kappel},
  volume = {7909},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-38882-8},
}

@inproceedings{Bagge09,
  title = {Yet Another Language Extension Scheme},
  author = {Anya Helene Bagge},
  year = {2009},
  doi = {10.1007/978-3-642-12107-4_9},
  url = {http://dx.doi.org/10.1007/978-3-642-12107-4_9},
  researchr = {https://researchr.org/publication/Bagge09},
  cites = {0},
  citedby = {0},
  pages = {123-132},
  booktitle = {Software Language Engineering, Second International Conference, SLE 2009},
  editor = {Mark G. J. van den Brand and Dragan Gasevic and Jeffrey G. Gray},
  volume = {5969},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-12106-7},
}

@article{BaggeH09,
  title = {Axiom-Based Transformations: Optimisation and Testing},
  author = {Anya Helene Bagge and Magne Haveraaen},
  year = {2009},
  doi = {10.1016/j.entcs.2009.09.038},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.09.038},
  tags = {rule-based, testing, transformation},
  researchr = {https://researchr.org/publication/BaggeH09},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {238},
  number = {5},
  pages = {17-33},
}

@inproceedings{ZaytsevB14,
  title = {Parsing in a Broad Sense},
  author = {Vadim Zaytsev and Anya Helene Bagge},
  year = {2014},
  doi = {10.1007/978-3-319-11653-2_4},
  url = {http://dx.doi.org/10.1007/978-3-319-11653-2_4},
  researchr = {https://researchr.org/publication/ZaytsevB14},
  cites = {0},
  citedby = {0},
  pages = {50-67},
  booktitle = {Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings},
  editor = {Jürgen Dingel and Wolfram Schulte and Isidro Ramos and Silvia Abrahão and Emilio Insfrán},
  volume = {8767},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-11652-5},
}

@inproceedings{BaggeZ14,
  title = {International workshop on open and original problems in software language engineering},
  author = {Anya Helene Bagge and Vadim Zaytsev},
  year = {2014},
  doi = {10.1109/CSMR-WCRE.2014.6747223},
  url = {http://dx.doi.org/10.1109/CSMR-WCRE.2014.6747223},
  researchr = {https://researchr.org/publication/BaggeZ14},
  cites = {0},
  citedby = {0},
  pages = {478},
  booktitle = {2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering, CSMR-WCRE 2014, Antwerp, Belgium, February 3-6, 2014},
  editor = {Serge Demeyer and Dave Binkley and Filippo Ricca},
  publisher = {IEEE},
}

@misc{homepages-31-3092,
  title = {Home Page},
  author = {Anya Helene Bagge},
  researchr = {https://researchr.org/publication/homepages-31-3092},
  cites = {0},
  citedby = {0},
}

@inproceedings{BaggeKHV03,
  title = {Design of the {CodeBoost} Transformation System for Domain-Specific Optimisation of {C++} Programs},
  author = {Anya Helene Bagge and Karl Trygve Kalleberg and Magne Haveraaen and Eelco Visser},
  year = {2003},
  doi = {10.1109/SCAM.2003.1238032},
  url = {https://doi.org/10.1109/SCAM.2003.1238032},
  tags = {programming languages, model-to-model transformation, rule-based, program analysis, application framework, graph transformation, CodeBoost, embedded software, Stratego/XT, transformation language, points-to analysis, domain analysis, analysis, language design, source-to-source, graph-rewriting, rules, C++, transformation system, compiler, model transformation, rewriting, parsing, design, open-source, transformation, Stratego, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/BaggeKHV03},
  cites = {0},
  citedby = {0},
  pages = {65},
  booktitle = {3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 26-27 September 2003, Amsterdam, The Netherlands},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2005-7},
}

@inproceedings{BaggeDH09,
  title = {The axioms strike back: testing with concepts and axioms in C++},
  author = {Anya Helene Bagge and Valentin David and Magne Haveraaen},
  year = {2009},
  doi = {10.1145/1621607.1621612},
  url = {http://doi.acm.org/10.1145/1621607.1621612},
  tags = {testing, C++},
  researchr = {https://researchr.org/publication/BaggeDH09},
  cites = {0},
  citedby = {0},
  pages = {15-24},
  booktitle = {Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings},
  editor = {Jeremy G. Siek and Bernd  Fischer},
  publisher = {ACM},
  isbn = {978-1-60558-494-2},
}