- E-mailAnya.Bagge@uib.no
- Phone+47 55 58 42 90+47 482 71 775
- Visitor AddressHIB - Thormøhlensgt. 55Room406P2
- Postal AddressPostboks 78035020 Bergen
Courses:
- INF101 (programming with abstraction and object-orientation)
- INF225 (software language engineering and compilers)
- INF219 (Bachelor-level projects)
- INF319 (Master-level projects)
Awards:
- 2016/17 Teaching Prize at the Faculty of Mathematics and Natural Sciences
- Informatics Lecturer of the Year (Spring 2015)
Academic article
- 2016. Safer refactorings. Lecture Notes in Computer Science (LNCS). 517-531.
- 2016. Managing facts and resources with the Pica IDE infrastructure library. Science of Computer Programming. 100-111.
- 2015. Reflections on Courses for Software Language Engineering. CEUR Workshop Proceedings. 54-63.
- 2014. Parsing in a Broad Sense. Lecture Notes in Computer Science (LNCS). 50-67.
- 2014. Nerding for Newbies 2014: A Summer School in Computers & Programming. NIK: Norsk Informatikkonferanse. 12 pages.
- 2014. Languages, models and megamodels a tutorial. CEUR Workshop Proceedings. 132-143.
- 2013. Walk Your Tree Any Way You Want. Lecture Notes in Computer Science (LNCS). 33-49.
- 2013. Inferring Required Permissions for Statically Composed Programs. Lecture Notes in Computer Science (LNCS). 51-55.
- 2013. Classifying and Measuring Student Problems and Misconceptions. NIK: Norsk Informatikkonferanse. 110-121.
- 2013. A Pretty Good Formatting Pipeline. Lecture Notes in Computer Science (LNCS). 177-196.
- 2011. Testing with Axioms in C++ 2011. Journal of Object Technology. 1-32.
- 2010. Yet another language extension scheme. Lecture Notes in Computer Science (LNCS). 123-132.
- 2010. The Axioms Strike Back: Testing with Concepts and Axioms in C plus. SIGPLAN notices. 15-24.
- 2010. Interfacing concepts: Why declaration style shouldn't matter. Electronical Notes in Theoretical Computer Science. 37-50.
- 2009. Axiom-Based Transformations: Optimisation and Testing. Electronical Notes in Theoretical Computer Science. 17-33.
Report
- 2017. Post-proceedings of the 9th Seminar on Advanced Techniques and Tools for Software Evolution, Bergen, Norway, July 11-13, 2016. 1791. 1791. .
- 2017. Post-proceedings of the 8th Seminar on Advanced Techniques and Tools for Software Evolution, Mons, Belgium, July 6-8, 2015. 1820. 1820. .
- 2008. Testing with Concepts and Axioms in C++. 368. 368. .
Lecture
- 2018. Implementing Compilers and Interpreters with Rascal – A Tutorial.
- 2017. Implementing Languages in Rascal.
- 2017. Building Interpreters and Compilers in Rascal.
- 2014. Modelling Parsing and Unparsing.
- 2014. Languages, Models and Megamodels.
- 2014. Education of language engineers (Panel).
- 2014. Axiom based testing.
- 2013. Code Formatting.
- 2013. A Practical Example of Language Design and Implementation.
Popular scientific lecture
- 2008. Hverdagsmat og festmat i gamle Egypt.
Academic lecture
- 2017. Towards Reasonable Ownership.
- 2017. Algool – Object-Orientation with Algebraic Specification.
- 2016. Safer Refactorings with Assertions.
- 2013. Facts, Resources and the IDE/Compiler Mind-Meld.
- 2008. The Magnolia Programming Language.
- 2006. DSAL = library + notation: Program Transformation for Domain-Specific Aspect Languages.
Software
- 2013. PGF v0.1 – The Pretty Good Formatter.
- 2013. Nuthatch/J v0.99 – A software transformation library based on tree walking.
Doctoral dissertation
- 2018. Exploring Microservice Security.
- 2017. Programming Language Technology for Niche Platforms.
- 2009. Constructs & Concepts: Language Design for Flexibility and Reliability.
Academic chapter/article/Conference paper
- 2018. Overcoming Security Challenges in Microservice Architectures. 10 pages.
- 2017. Exploring API/client Co-evolution. 4 pages.
- 2015. Analysis and transformation with the Nuthatch tree-walking library. 6 pages.
- 2014. Workshop on Open and Original Problems in Software Language Engineering. 1 pages.
- 2014. Specification of generic APIs, or: why algebraic may be better than pre/post. 10 pages.
- 2013. Workshop on Open and Original Problems in Software Language Engineering (OOPSLE'13). 2 pages.
- 2012. Separating Exceptional Concerns. 3 pages.
- 2010. Language Description for Front End Implementation. 8 pages.
- 2009. The axioms strike back: Testing with concepts and axioms in C++. 10 pages.
- 2008. Testing with concepts and axioms in {C++}. 2 pages.
- 2008. Axiom-based testing for {C++}. 2 pages.
- 2006. Stayin' alert:: moulding failure and exceptions to your needs. 10 pages.
- 2006. DSAL = library+notation: Program Transformation for Domain-Specific Aspect Languages. 7 pages.
Abstract
- 2015. Open and Original Problems in Software Language Engineering 2015 Workshop Report. Software engineering notes. 32-37.
Poster
- 2018. VisAST – Generic AST Visualizer for Software Language Education.
- 2018. Software != Programs – Software Behaviour as an Emergent Property.
- 2018. Automating Testing of Programming Assignments.
- 2016. Balance Your Fitness.
- 2008. The Magnolia Programming Language.
Musical performance
- 2013. Xmas Lecture: Beautiful Code.
Academic literature review
- 2015. Languages, Models and Megamodels: A Tutorial . 132-143.
More information in national current research information system (CRIStin)