Anya’s Homepage
Conference and Journal Papers
[c10]
May-Lill Bagge, Anya Helene Bagge, Baste Buanes, Anna Eilertsen, Alf Kristoffer Herland and Sofija Ivanova. Nerding for Newbies 2014: A Summer School in Computers & Programming. In Tom Heine Nätt, editor(s), Proceedings of Norsk informatikkonferanse (NIK'2014). NIK, 2014.
[bib] [pdf (published)] [web]
[c9]
Anya Helene Bagge and Magne Haveraaen. Specification of Generic APIs, or Why Algebraic May Be Better than Pre/Post. In Tucker Taft, editor(s), Proceedings of the International Conference on High Integrity Language Technology (HILT'14). ACM, 2014.
[bib] [doi] [pdf (final preprint)] [web]
[c8]
Vadim Zaytsev and Anya Helene Bagge. Parsing in a Broad Sense. In Jurgen Dingel and Wolfram Schulte, editor(s), Proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems (MODELS'14), volume 8767 of LNCS, pages 50–67. Springer, 2014.
[bib] [pdf] [web]
[c7]
Alexander Hoem Rosbach and Anya Helene Bagge. Classifying and Measuring Student Problems and Misconceptions. In Erlend Tøssebro and Hein Meling, editor(s), Proceedings of Norsk informatikkonferanse (NIK'2013), pages 110–121. Akademika Forlag, 2014.
[bib] [pdf] [web]
[c6]
Anya Helene Bagge and Tero Hasu. A Pretty Good Formatting Pipeline. In Martin Erwig and Richard F. Paige and Eric Van Wyk, editor(s), Proceedings of the 6th International Conference on Software Language Engineering, volume 8225 of LNCS, pages 177–196. Springer, 2013.
[bib] [doi] [pdf] [web]
[c5]
Tero Hasu, Anya Helene Bagge and Magne Haveraaen. Inferring Required Permissions for Statically Composed Programs. In Hanne Riis Nielson and Dieter Gollmann, editor(s), Proceedings of the 18th Nordic Conference on Secure IT Systems (NordSec'13), volume 8208 of LNCS, pages 51—66. Springer, 2013.
[bib] [doi] [pdf] [web]
[c4]
Anya Helene Bagge and Ralf Lämmel. Walk Your Tree Any Way You Want. In Keith Duddy and Gerti Kappel, editor(s), Proceedings of the Sixth International Conference on Model Transformation (ICMT'13), volume 7909 of LNCS, pages 33–49. Springer, 2013.
[bib] [doi] [pdf] [web]
[j1]
Anya Helene Bagge, Valentin David and Magne Haveraaen. Testing with Axioms in C++ 2011. Journal of Object Technology, 10:10:1–32. AITO, 2011.
[bib] [doi] [pdf] [web]
[c3]
Anya Helene Bagge. Yet Another Language Extension Scheme. In Mark van den Brand and Dragan Gašević and Jeff Gray, editor(s), Proceedings of the Second International Conference on Software Language Engineering (SLE’09), volume 5969 of LNCS, pages 123–132. Springer, 2010.
[bib] [doi] [pdf] [web]
[c2]
Anya Helene Bagge, Valentin David and Magne Haveraaen. The Axioms Strike Back: Testing with Concepts and Axioms in C++. In Bernd Fischer, editor(s), Proceedings of the Eighth International Conference on Generative Programming and Component Engineering (GPCE’09), pages 15–24. ACM, 2009.
[bib] [doi] [pdf] [web] [superseding paper]
[c1]
Anya Helene Bagge, Valentin David, Magne Haveraaen and Karl Trygve Kalleberg. Stayin' alert: moulding failure and exceptions to your needs. In Proceedings of the Fifth international conference on Generative Programming and Component Engineering (GPCE'06), pages 265–274. ACM, 2006.
[bib] [doi] [pdf] [web]
Workshop Papers
[w7]
Anya Helene Bagge, Ralf Lämmel and Vadim Zaytsev. Reflections on Courses for Software Language Engineering. In Birgit Demuth and Dave Stikkolorum, editor(s), Proceedings of the MODELS 2014 Educators Symposium, volume 1346 of, pages 54–63. CEUR, 2015.
[bib] [pdf (preprint)] [web]
[w6]
Anya Helene Bagge. Facts, Resources and the IDE/Compiler Mind-Meld. In Mark van den Brand and Kim Mens and Pierre-Etienne Moreau and Jurgen Vinju, editor(s), Proceedings of the 4th International Workshop on Academic Software Development Tools and Techniques (WASDeTT'13). WASDeTT, 2013.
[bib] [pdf] [web]
[w5]
Anya Helene Bagge. Separating Exceptional Concerns. In Proceedings of the 5th International Workshop on Exception Handling (WEH'12), pages 49–51. IEEE, 2012.
[bib] [doi] [pdf] [web]
[w4]
Anya Helene Bagge and Magne Haveraaen. Interfacing Concepts: Why Declaration Style Shouldn’t Matter. In Torbjörn Ekman and Jurgen J. Vinju, editor(s), Proceedings of the Ninth Workshop on Language Descriptions, Tools and Applications (LDTA '09), volume 253 of Electronic Notes in Theoretical Computer Science, pages 37–50. Elsevier, 2010.
[bib] [doi] [pdf] [web]
[w3]
Anya Helene Bagge. Language description for Front End implementation. In Claus Brabrand and Pierre-Etienne Moreau, editor(s), Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications (LDTA’10), pages 9:1–9:8. ACM, 2010.
[bib] [doi] [pdf] [web]
[w2]
Anya Helene Bagge and Magne Haveraaen. Axiom-Based Transformations: Optimisation and Testing. In Jurgen J. Vinju and Adrian Johnstone, editor(s), Proceedings of the Eighth Workshop on Language Descriptions, Tools and Applications (LDTA 2008), volume 238 of Electronic Notes in Theoretical Computer Science, pages 17–33. Elsevier, 2009.
[bib] [doi] [pdf] [web]
[w1]
Anya Helene Bagge and Karl Trygve Kalleberg. DSAL = library+notation: Program Transformation for Domain-Specific Aspect Languages. In Thomas Cleenewerck et al, editor(s), Proceedings of the Domain-Specific Aspect Languages Workshop, pages 1–8. DSAL, 2006.
[bib] [pdf] [web]
Abstracts
[a7]
Anya Helene Bagge and Vadim Zaytsev. Languages, Models and Megamodels. In Vadim Zaytsev, editor(s), Post-proceedings of SATToSE 2014, volume 1346 of, pages 132–143. CEUR, 2015.
[bib] [pdf] [pdf slides] [web]
[a6]
Vadim Zaytsev and Anya Helene Bagge. Modelling Parsing and Unparsing. In Sebastian Erdweg and Bruce Watson, editor(s), Parsing@SLE. Online, 2014.
[bib] [pdf] [web]
[a5]
Anya Helene Bagge and Vadim Zaytsev. Workshop on Open and Original Problems in Software Language Engineering. In Proceedings of the Software Evolution Week 2014 (CSMR/WCRE'14), pages 478. IEEE, 2014.
[bib] [doi] [pdf] [web]
[a4]
Anya Helene Bagge and Vadim Zaytsev. Workshop on Open and Original Problems in Software Language Engineering. In Proceedings of the 20th Working Conference on Reverse Engineering (WCRE'13), pages 493–494. IEEE, 2013.
[bib] [doi] [pdf] [web]
[a3]
Anya Helene Bagge, Valentin David and Magne Haveraaen. Testing with concepts and axioms in C++. In OOPSLA Companion '08: Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, pages 773–774. ACM, 2008.
[bib] [doi] [pdf] [web] [superseding paper]
[a2]
Anya Helene Bagge, Valentin David and Magne Haveraaen. Axiom-based testing for C++. In OOPSLA Companion '08: Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, pages 721–722. ACM, 2008.
[bib] [doi] [pdf] [web] [superseding paper]
[a1]
Anya Helene Bagge. The Magnolia Programming Language. In PLDI Student Research Competition 2008. ACM, 2008.
[bib] [pdf] [web]
Reports
[r1]
Anya Helene Bagge, Martin Bravenboer, Karl Trygve Kalleberg, Koen Muilwijk and Eelco Visser. Adaptive Code Reuse by Aspects, Cloning and Renaming. Technical report UU-CS-2005-031, Department of Information and Computing Sciences, Universiteit Utrecht, Utrecht, The Netherlands. 2005.
[bib] [pdf] [web]
Other
[b1]
Anya Helene Bagge. Constructs & Concepts: Language Design for Flexibility and Reliability. PhD thesis, Research School in Information and Communication Technology, Department of Informatics, University of Bergen, Norway, PB 7803, 5020 Bergen, Norway. AIT, 2009.
[bib] [web]