Anya Helene Bagge
Stilling
Førsteamanuensis, Programmeringsspråk
Tilhørighet
- E-post
- anya.bagge@uib.no
- Telefonnummer
- +47 55584290
- +47 48271775
- Besøksadresse
-
HIB - Thormøhlens gate 55
5006 Bergen - Rom: 406P2
- Postadresse
-
Postboks 7803
5020 Bergen
Anya Helene Bagge
Stilling
Førsteamanuensis, Programmeringsspråk
Tilhørighet
Undervisning
Publikasjoner
Doktorgradsavhandling
- Eilertsen, Anna Maria; Bagge, Anya Helene; Murphy, Gail C. (2021). Improving the Usability of Refactoring Tools for Software Change Tasks. (ekstern lenke)
- Yarygina, Tetiana; Bagge, Anya Helene; Järvi, Jaakko Timo Henrik (2018). Exploring Microservice Security. (ekstern lenke)
- Hasu, Tero; Haveraaen, Magne; Bagge, Anya Helene (2017). Programming Language Technology for Niche Platforms. (ekstern lenke)
- Bagge, Anya Helene; Haveraaen, Magne; Visser, Eelco (2009). Constructs & Concepts: Language Design for Flexibility and Reliability. (ekstern lenke)
Vitenskapelig artikkel
- Zaytsev, Vadim; Bagge, Anya Helene (2020). Oopsle 2020: Open and original problems in software language engineering?. (ekstern lenke)
- Bagge, Anya Helene (2016). Managing facts and resources with the Pica IDE infrastructure library. (ekstern lenke)
- Eilertsen, Anna Maria; Bagge, Anya Helene; Stolz, Volker (2016). Safer refactorings. (ekstern lenke)
- Bagge, Anya Helene; Lämmel, Ralf; Zaytsev, Vadim (2015). Reflections on Courses for Software Language Engineering. (ekstern lenke)
- Zaytsev, Vadim; Bagge, Anya Helene (2014). Parsing in a Broad Sense. (ekstern lenke)
- Bagge, May-Lill; Bagge, Anya Helene; Buanes, Baste Nesse et al. (2014). Nerding for Newbies 2014: A Summer School in Computers & Programming. (ekstern lenke)
- Bagge, Anya Helene; Zaytsev, Vadim (2014). Languages, models and megamodels a tutorial. (ekstern lenke)
- Bagge, Anya Helene; Lämmel, Ralf (2013). Walk Your Tree Any Way You Want. (ekstern lenke)
- Bagge, Anya Helene; Hasu, Tero (2013). A Pretty Good Formatting Pipeline. (ekstern lenke)
- Hasu, Tero; Bagge, Anya Helene; Haveraaen, Magne (2013). Inferring Required Permissions for Statically Composed Programs. (ekstern lenke)
- Rosbach, Alexander Hoem; Bagge, Anya Helene (2013). Classifying and Measuring Student Problems and Misconceptions. (ekstern lenke)
- Bagge, Anya Helene; David, Valentin; Haveraaen, Magne (2011). Testing with Axioms in C++ 2011. (ekstern lenke)
- Bagge, Anya Helene; David, Valentin Francois R; Haveraaen, Magne (2010). The Axioms Strike Back: Testing with Concepts and Axioms in C plus. (ekstern lenke)
- Bagge, Anya Helene; Haveraaen, Magne (2010). Interfacing concepts: Why declaration style shouldn't matter. (ekstern lenke)
- Bagge, Anya Helene (2010). Yet another language extension scheme. (ekstern lenke)
- Bagge, Anya Helene; Haveraaen, Magne (2009). Axiom-Based Transformations: Optimisation and Testing. (ekstern lenke)
Poster
- Eilertsen, Anna Maria; Bagge, Anya Helene (2018). Software != Programs – Software Behaviour as an Emergent Property. (ekstern lenke)
- Stokke, Knut Anders; Bagge, Anya Helene; Lerring, Håkon Heggernes (2018). Automating Testing of Programming Assignments. (ekstern lenke)
- Aalvik, Ragnhild; Bagge, Anya Helene; Järvi, Jaakko Timo Henrik (2018). VisAST – Generic AST Visualizer for Software Language Education. (ekstern lenke)
- Bagge, Anya Helene; Eilertsen, Anna Maria; Zaytsev, Vadim (2016). Balance Your Fitness. (ekstern lenke)
- Bagge, Anya Helene (2008). The Magnolia Programming Language. (ekstern lenke)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
- Yarygina, Tetiana; Bagge, Anya Helene (2018). Overcoming Security Challenges in Microservice Architectures. (ekstern lenke)
- Eilertsen, Anna Maria; Bagge, Anya Helene (2017). Exploring API/client Co-evolution. (ekstern lenke)
- Bagge, Anya Helene (2015). Analysis and transformation with the Nuthatch tree-walking library. (ekstern lenke)
- Bagge, Anya Helene; Zaytsev, Vadim (2014). Workshop on Open and Original Problems in Software Language Engineering. (ekstern lenke)
- Bagge, Anya Helene; Haveraaen, Magne (2014). Specification of generic APIs, or: why algebraic may be better than pre/post. (ekstern lenke)
- Bagge, Anya Helene; Zaytsev, Vadim (2013). Workshop on Open and Original Problems in Software Language Engineering (OOPSLE'13). (ekstern lenke)
- Bagge, Anya Helene (2012). Separating Exceptional Concerns. (ekstern lenke)
- Bagge, Anya Helene (2010). Language Description for Front End Implementation. (ekstern lenke)
- Bagge, Anya Helene; David, Valentin; Haveraaen, Magne (2009). The axioms strike back: Testing with concepts and axioms in C++. (ekstern lenke)
- Bagge, Anya Helene; David, Valentin Francois R; Haveraaen, Magne (2008). Testing with concepts and axioms in {C++}. (ekstern lenke)
- Bagge, Anya Helene; David, Valentin Francois R; Haveraaen, Magne (2008). Axiom-based testing for {C++}. (ekstern lenke)
- Bagge, Anya Helene; Kalleberg, Karl Trygve (2006). DSAL = library+notation: Program Transformation for Domain-Specific Aspect Languages. (ekstern lenke)
- Bagge, Anya Helene; David, Valentin; Haveraaen, Magne et al. (2006). Stayin' alert:: moulding failure and exceptions to your needs. (ekstern lenke)
Faglig foredrag
- Bagge, Anya Helene (2018). Implementing Compilers and Interpreters with Rascal – A Tutorial. (ekstern lenke)
- Bagge, Anya Helene (2017). Building Interpreters and Compilers in Rascal. (ekstern lenke)
- Bagge, Anya Helene (2017). Implementing Languages in Rascal. (ekstern lenke)
- Bagge, Anya Helene (2014). Languages, Models and Megamodels. (ekstern lenke)
- Zaytsev, Vadim; Bagge, Anya Helene (2014). Modelling Parsing and Unparsing. (ekstern lenke)
- Lämmel, Ralf; Bagge, Anya Helene; Järvi, Jaakko et al. (2014). Education of language engineers (Panel). (ekstern lenke)
- Bagge, Anya Helene (2014). Axiom based testing. (ekstern lenke)
- Bagge, Anya Helene (2013). Code Formatting. (ekstern lenke)
- Bagge, Anya Helene (2013). A Practical Example of Language Design and Implementation. (ekstern lenke)
Rapport
- Lungu, Mircea; Bagge, Anya Helene; Osman, Haidar (2017). Post-proceedings of the 9th Seminar on Advanced Techniques and Tools for Software Evolution, Bergen, Norway, July 11-13, 2016. (ekstern lenke)
- Bagge, Anya Helene; Mens, Tom; Osman, Haidar (2017). Post-proceedings of the 8th Seminar on Advanced Techniques and Tools for Software Evolution, Mons, Belgium, July 6-8, 2015. (ekstern lenke)
- Bagge, Anya Helene; David, Valentin; Haveraaen, Magne (2008). Testing with Concepts and Axioms in C++. (ekstern lenke)
Vitenskapelig foredrag
- Bagge, Anya Helene; Haugsbakk, Kristoffer; Zaytsev, Vadim (2017). Towards Reasonable Ownership. (ekstern lenke)
- Bagge, Anya Helene (2017). Algool – Object-Orientation with Algebraic Specification. (ekstern lenke)
- Eilertsen, Anna Maria; Bagge, Anya Helene; Stolz, Volker (2016). Safer Refactorings with Assertions. (ekstern lenke)
- Bagge, Anya Helene (2013). Facts, Resources and the IDE/Compiler Mind-Meld. (ekstern lenke)
- Bagge, Anya Helene (2008). The Magnolia Programming Language. (ekstern lenke)
- Bagge, Anya Helene; Kalleberg, Karl Trygve (2006). DSAL = library + notation: Program Transformation for Domain-Specific Aspect Languages. (ekstern lenke)