@InProceedings{bagge-zaytsev-sattose14-megamodels,
title = {Languages, Models and Megamodels},
author = {Anya Helene Bagge and Vadim Zaytsev},
year = {2015},
booktitle = {Post-proceedings of SATToSE 2014},
editor = {Vadim Zaytsev},
volume = {1346},
pages = {132--143},
publisher = {CEUR},
issn = {1613-0073},
location = {L'Aquila, Italy},
url = {http://www.ii.uib.no/~anya/papers/bagge-zaytsev-sattose14-megamodels.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-zaytsev-sattose14-megamodels.pdf},
}
@InProceedings{bagge-laemmel-zaytsev-edusymp14-sle,
title = {Reflections on Courses for Software Language Engineering},
author = {Anya Helene Bagge and Ralf L{\"a}mmel and Vadim Zaytsev},
year = {2015},
booktitle = {Proceedings of the MODELS 2014 Educators Symposium},
editor = {Birgit Demuth and Dave Stikkolorum},
volume = {1346},
pages = {54--63},
publisher = {CEUR},
issn = {1613-0073},
location = {Valencia, Spain},
url = {http://www.ii.uib.no/~anya/papers/bagge-laemmel-zaytsev-edusymp14-sle.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-laemmel-zaytsev-edusymp14-sle.pdf},
}
@InProceedings{bagge-bagge-etal-nik14-nerding,
title = {Nerding for Newbies 2014: A Summer School in Computers & Programming},
author = {May-Lill Bagge and Anya Helene Bagge and Baste Buanes and Anna Eilertsen and Alf Kristoffer Herland and Sofija Ivanova},
year = {2014},
booktitle = {Proceedings of Norsk informatikkonferanse (NIK'2014)},
editor = {Tom Heine N{\"a}tt},
publisher = {NIK},
issn = {1892-0721},
location = {Fredrikstad, Norway},
url = {http://www.ii.uib.no/~anya/papers/bagge-bagge-etal-nik14-nerding.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-bagge-etal-nik14-nerding.pdf},
}
@InProceedings{bagge-haveraaen-hilt14-apispec,
title = {Specification of Generic APIs, or Why Algebraic May Be Better than Pre/Post},
author = {Bagge, Anya Helene and Haveraaen, Magne},
year = {2014},
booktitle = {Proceedings of the International Conference on High Integrity Language Technology (HILT'14)},
editor = {Tucker Taft},
publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/2663171.2663183},
isbn = {978-1-4503-3217-0},
location = {Portland, Oregon},
url = {http://www.ii.uib.no/~anya/papers/bagge-haveraaen-hilt14-apispec.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-haveraaen-hilt14-apispec.pdf},
}
@InProceedings{zaytsev-bagge-parsingatsle14-modelling,
title = {Modelling Parsing and Unparsing},
author = {Vadim Zaytsev and Anya Helene Bagge},
year = {2014},
booktitle = {Parsing@SLE},
editor = {Sebastian Erdweg and Bruce Watson},
publisher = {Online},
location = {V{\"a}ster{\aa}s, Sweden},
url = {http://www.ii.uib.no/~anya/papers/zaytsev-bagge-parsingatsle14-modelling.html},
pdf = {http://www.ii.uib.no/~anya/papers/zaytsev-bagge-parsingatsle14-modelling.pdf},
}
@InProceedings{zaytsev-bagge-models14-parsing,
title = {Parsing in a Broad Sense},
author = {Zaytsev, Vadim and Bagge, Anya Helene},
year = {2014},
booktitle = {Proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems (MODELS'14)},
editor = {Jurgen Dingel and Wolfram Schulte},
series = {LNCS},
volume = {8767},
pages = {50--67},
publisher = {Springer},
location = {Valencia, Spain},
url = {http://www.ii.uib.no/~anya/papers/zaytsev-bagge-models14-parsing.html},
pdf = {http://www.ii.uib.no/~anya/papers/zaytsev-bagge-models14-parsing.pdf},
}
@InProceedings{rosbach-bagge-nik13-misconceptions,
title = {Classifying and Measuring Student Problems and Misconceptions},
author = {Rosbach, Alexander Hoem and Bagge, Anya Helene},
year = {2014},
booktitle = {Proceedings of Norsk informatikkonferanse (NIK'2013)},
editor = {Erlend T{\o}ssebro and Hein Meling},
pages = {110--121},
publisher = {Akademika Forlag},
address = {Trondheim, Norway},
isbn = {978-82-321-0365-2},
issn = {1892-0721},
location = {Stavanger, Norway},
url = {http://www.ii.uib.no/~anya/papers/rosbach-bagge-nik13-misconceptions.html},
pdf = {http://www.ii.uib.no/~anya/papers/rosbach-bagge-nik13-misconceptions.pdf},
}
@InProceedings{bagge-zaytsev-sew14-oopsle,
title = {Workshop on Open and Original Problems in Software Language Engineering},
author = {Bagge, Anya Helene and Zaytsev, Vadim},
year = {2014},
booktitle = {Proceedings of the Software Evolution Week 2014 (CSMR/WCRE'14)},
pages = {478},
publisher = {IEEE},
doi = {10.1109/CSMR-WCRE.2014.6747223},
location = {Antwerp, Belgium},
url = {http://www.ii.uib.no/~anya/papers/bagge-zaytsev-sew14-oopsle.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-zaytsev-sew14-oopsle.pdf},
}
@InProceedings{bagge-hasu-sle13-pretty,
title = {A Pretty Good Formatting Pipeline},
author = {Bagge, Anya Helene and Hasu, Tero},
year = {2013},
booktitle = {Proceedings of the 6th International Conference on Software Language Engineering},
editor = {Martin Erwig and Richard F. Paige and Eric Van Wyk},
series = {LNCS},
volume = {8225},
pages = {177--196},
publisher = {Springer},
doi = {10.1007/978-3-319-02654-1_10},
isbn = {978-3-319-02654-1},
location = {Indianapolis, IN, USA},
url = {http://nuthatchery.org/sle13/},
pdf = {http://nuthatchery.org/downloads/papers/bagge-hasu-pgf-sle2013.pdf},
}
@InProceedings{hasu-bagge-haveraaen-nordsec13-permissions,
title = {Inferring Required Permissions for Statically Composed Programs},
author = {Hasu, Tero and Bagge, Anya Helene and Haveraaen, Magne},
year = {2013},
booktitle = {Proceedings of the 18th Nordic Conference on Secure IT Systems (NordSec'13)},
editor = {Hanne Riis Nielson and Dieter Gollmann},
series = {LNCS},
volume = {8208},
pages = {51---66},
publisher = {Springer},
doi = {10.1007/978-3-642-41488-6_4},
isbn = {978-3-642-41488-6},
location = {Ilulissat, Greenland},
url = {http://www.ii.uib.no/~anya/papers/hasu-bagge-haveraaen-nordsec13-permissions.html},
pdf = {http://www.ii.uib.no/~anya/papers/hasu-bagge-haveraaen-nordsec13-permissions.pdf},
}
@InProceedings{bagge-zaytsev-wcre13-oopsle,
title = {Workshop on Open and Original Problems in Software Language Engineering},
author = {Bagge, Anya Helene and Zaytsev, Vadim},
year = {2013},
booktitle = {Proceedings of the 20th Working Conference on Reverse Engineering (WCRE'13)},
pages = {493--494},
publisher = {IEEE},
doi = {10.1109/WCRE.2013.6671334},
location = {Koblenz, Germany},
url = {http://www.ii.uib.no/~anya/papers/bagge-zaytsev-wcre13-oopsle.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-zaytsev-wcre13-oopsle.pdf},
}
@InProceedings{bagge-wasdett13-ide,
title = {Facts, Resources and the {IDE}/Compiler Mind-Meld},
author = {Anya Helene Bagge},
year = {2013},
booktitle = {Proceedings of the 4th International Workshop on Academic Software Development Tools and Techniques (WASDeTT'13)},
editor = {Mark van den Brand and Kim Mens and Pierre-Etienne Moreau and Jurgen Vinju},
publisher = {WASDeTT},
location = {Montpellier, France},
url = {http://www.ii.uib.no/~anya/papers/bagge-wasdett13-ide.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-wasdett13-ide.pdf},
}
@InProceedings{bagge-laemmel-icmt13-nuthatch,
title = {Walk Your Tree Any Way You Want},
author = {Bagge, Anya Helene and L\"{a}mmel, Ralf},
year = {2013},
booktitle = {Proceedings of the Sixth International Conference on Model Transformation (ICMT'13)},
editor = {Keith Duddy and Gerti Kappel},
series = {LNCS},
volume = {7909},
pages = {33--49},
publisher = {Springer},
doi = {10.1007/978-3-642-38883-5_3},
isbn = {978-3-642-38883-5},
location = {Budapest, Hungary},
url = {http://nuthatchery.org/icmt13/},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-laemmel-icmt13-nuthatch.pdf},
}
@InProceedings{bagge-weh12-alerts,
title = {Separating Exceptional Concerns},
author = {Bagge, Anya Helene},
year = {2012},
booktitle = {Proceedings of the 5th International Workshop on Exception Handling (WEH'12)},
pages = {49--51},
publisher = {IEEE},
doi = {10.1109/WEH.2012.6226599},
isbn = {978-1-4673-1767-2},
location = {Z{\"u}rich, Switzerland},
url = {http://www.ii.uib.no/~anya/papers/bagge-weh12-alerts.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-weh12-alerts.pdf},
}
@Article{bagge-david-haveraaen-jot11-testing,
title = {Testing with Axioms in {C++~2011}},
author = {Anya Helene Bagge and Valentin David and Magne Haveraaen},
year = {2011},
editor = {Bernd Fischer},
journal = {Journal of Object Technology},
volume = {10},
pages = {10:1--32},
publisher = {AITO},
doi = {10.5381/jot.2011.10.1.a10},
issn = {1660-1769},
url = {http://www.ii.uib.no/~anya/papers/bagge-david-haveraaen-jot11-testing.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-david-haveraaen-jot11-testing.pdf},
}
@InProceedings{bagge-haveraaen-ldta09-interfacing,
title = {Interfacing Concepts: Why Declaration Style Shouldn't Matter},
author = {Anya Helene Bagge and Magne Haveraaen},
year = {2010},
booktitle = {Proceedings of the Ninth Workshop on Language Descriptions, Tools and Applications (LDTA '09)},
editor = {Torbj{\"o}rn Ekman and Jurgen J. Vinju},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {253},
issue = {7},
pages = {37--50},
publisher = {Elsevier},
doi = {10.1016/j.entcs.2010.08.030},
issn = {1571-0661},
location = {York, UK},
url = {http://www.ii.uib.no/~anya/papers/bagge-haveraaen-ldta09-interfacing.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-haveraaen-ldta09-interfacing.pdf},
}
@InProceedings{bagge-ldta10-langspec,
title = {Language description for Front End implementation},
author = {Bagge, Anya Helene},
year = {2010},
booktitle = {Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications (LDTA’10)},
editor = {Claus Brabrand and Pierre-Etienne Moreau},
pages = {9:1--9:8},
publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/1868281.1868290},
isbn = {978-1-4503-0063-6},
location = {Paphos, Cyprus},
url = {http://www.ii.uib.no/~anya/papers/bagge-ldta10-langspec.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-ldta10-langspec.pdf},
}
@InProceedings{bagge-sle09-yales,
title = {Yet Another Language Extension Scheme},
author = {Bagge, Anya Helene},
year = {2010},
booktitle = {Proceedings of the Second International Conference on Software Language Engineering (SLE’09)},
editor = {Mark van den Brand and Dragan Ga{\v{s}}evi{\'c} and Jeff Gray},
series = {LNCS},
volume = {5969},
pages = {123--132},
publisher = {Springer},
doi = {10.1007/978-3-642-12107-4_9},
isbn = {978-3-642-12107-4},
location = {Denver, Colorado, USA},
url = {http://www.ii.uib.no/~anya/papers/bagge-sle09-yales.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-sle09-yales.pdf},
}
@PhDThesis{bagge-thesis09,
title = {Constructs \& {C}oncepts: Language Design for Flexibility and Reliability},
author = {Anya Helene Bagge},
year = {2009},
publisher = {AIT},
address = {PB 7803, 5020 Bergen, Norway},
isbn = {978-82-308-0887-0},
location = {Bergen, Norway},
url = {http://www.ii.uib.no/~anya/phd/},
}
@InProceedings{bagge-david-haveraaen-gpce09-axioms,
supercededby = {bagge-david-haveraaen-jot11-testing},
title = {The Axioms Strike Back: Testing with Concepts and Axioms in {C++}},
author = {Bagge, Anya Helene and David, Valentin and Haveraaen, Magne},
year = {2009},
booktitle = {Proceedings of the Eighth International Conference on Generative Programming and Component Engineering (GPCE’09)},
editor = {Bernd Fischer},
pages = {15--24},
publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/1621607.1621612},
isbn = {978-1-60558-494-2},
location = {Denver, Colorado, USA},
url = {http://www.ii.uib.no/~anya/papers/bagge-david-haveraaen-gpce09-axioms.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-david-haveraaen-gpce09-axioms.pdf},
}
@InProceedings{bagge-haveraaen-ldta08-axioms,
title = {Axiom-Based Transformations: Optimisation and Testing},
author = {Anya Helene Bagge and Magne Haveraaen},
year = {2009},
booktitle = {Proceedings of the Eighth Workshop on Language Descriptions, Tools and Applications (LDTA 2008)},
editor = {Jurgen J. Vinju and Adrian Johnstone},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {238},
issue = {5},
pages = {17--33},
publisher = {Elsevier},
doi = {10.1016/j.entcs.2009.09.038},
issn = {1571-0661},
location = {Budapest, Hungary},
url = {http://www.ii.uib.no/~anya/papers/bagge-haveraaen-ldta08-axioms.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-haveraaen-ldta08-axioms.pdf},
}
@InProceedings{bagge-david-haveraaen-oopslaposter08-axioms,
supercededby = {bagge-david-haveraaen-jot11-testing},
title = {Testing with concepts and axioms in {C++}},
author = {Anya Helene Bagge and Valentin David and Magne Haveraaen},
year = {2008},
booktitle = {OOPSLA Companion '08: Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications},
pages = {773--774},
publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/1449814.1449855},
isbn = {978-1-60558-220-7},
location = {Nashville, TN, USA},
url = {http://www.ii.uib.no/~anya/papers/bagge-david-haveraaen-oopslaposter08-axioms.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-david-haveraaen-oopslaposter08-axioms.pdf},
}
@InProceedings{bagge-david-haveraaen-oopslademo08-axioms,
supercededby = {bagge-david-haveraaen-jot11-testing},
title = {Axiom-based testing for {C++}},
author = {Anya Helene Bagge and Valentin David and Magne Haveraaen},
year = {2008},
booktitle = {OOPSLA Companion '08: Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications},
pages = {721--722},
publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/1449814.1449829},
isbn = {978-1-60558-220-7},
location = {Nashville, TN, USA},
url = {http://www.ii.uib.no/~anya/papers/bagge-david-haveraaen-oopslademo08-axioms.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-david-haveraaen-oopslademo08-axioms.pdf},
}
@InProceedings{bagge-pldisrc08-magnolia,
title = {The {M}agnolia Programming Language},
author = {Anya Helene Bagge},
year = {2008},
booktitle = {PLDI Student Research Competition 2008},
publisher = {ACM},
location = {Tucson, Arizona},
url = {http://www.ii.uib.no/~anya/papers/bagge-pldisrc08-magnolia.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-pldisrc08-magnolia.pdf},
}
@InProceedings{bagge-kalleberg-dsal06-dsal,
title = {{DSAL} = library+notation: Program Transformation for Domain-Specific Aspect Languages},
author = {Anya Helene Bagge and Karl Trygve Kalleberg},
year = {2006},
booktitle = {Proceedings of the Domain-Specific Aspect Languages Workshop},
editor = {Thomas Cleenewerck et al},
pages = {1--8},
publisher = {DSAL},
location = {Portland, Oregon, USA},
url = {http://www.ii.uib.no/~anya/papers/bagge-kalleberg-dsal06-dsal.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-kalleberg-dsal06-dsal.pdf},
}
@InProceedings{bagge-david-haveraaen-kalleberg-gpce06-alerts,
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},
booktitle = {Proceedings of the Fifth international conference on Generative Programming and Component Engineering (GPCE'06)},
pages = {265--274},
publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/1173706.1173747},
isbn = {1-59593-237-2},
location = {Portland, Oregon},
url = {http://www.ii.uib.no/~anya/papers/bagge-david-haveraaen-kalleberg-gpce06-alerts.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-david-haveraaen-kalleberg-gpce06-alerts.pdf},
}
@TechReport{bagge-etal-uu05-cloning,
title = {Adaptive Code Reuse by Aspects, Cloning and Renaming},
author = {Anya Helene Bagge and Martin Bravenboer and Karl Trygve Kalleberg and Koen Muilwijk and Eelco Visser},
year = {2005},
number = {UU-CS-2005-031},
institution = {Department of Information and Computing Sciences, Universiteit Utrecht},
address = {Utrecht, The Netherlands},
url = {http://www.ii.uib.no/~anya/papers/bagge-etal-uu05-cloning.html},
pdf = {http://www.ii.uib.no/~anya/papers/bagge-etal-uu05-cloning.pdf},
}
