Hjem
Anya Helene Bagges bilde

Anya Helene Bagge

Førsteamanuensis, Programmeringsspråk
  • E-postAnya.Bagge@uib.no
  • Telefon+47 55 58 42 90
  • Besøksadresse
    HIB - Thormøhlens gate 55
    5006 Bergen
    Rom 
    406P2
  • Postadresse
    Postboks 7803
    5020 Bergen

Emner:

Priser:

 

Vitenskapelig artikkel
  • Vis forfatter(e) (2020). Oopsle 2020: Open and original problems in software language engineering? CEUR Workshop Proceedings. 47-51.
  • Vis forfatter(e) (2016). Safer refactorings. Lecture Notes in Computer Science (LNCS). 517-531.
  • Vis forfatter(e) (2016). Managing facts and resources with the Pica IDE infrastructure library. Science of Computer Programming. 100-111.
  • Vis forfatter(e) (2015). Reflections on Courses for Software Language Engineering. CEUR Workshop Proceedings. 54-63.
  • Vis forfatter(e) (2014). Parsing in a Broad Sense. Lecture Notes in Computer Science (LNCS). 50-67.
  • Vis forfatter(e) (2014). Nerding for Newbies 2014: A Summer School in Computers & Programming. NIKT: Norsk IKT-konferanse for forskning og utdanning. 12 sider.
  • Vis forfatter(e) (2014). Languages, models and megamodels a tutorial. CEUR Workshop Proceedings. 132-143.
  • Vis forfatter(e) (2013). Walk Your Tree Any Way You Want. Lecture Notes in Computer Science (LNCS). 33-49.
  • Vis forfatter(e) (2013). Inferring Required Permissions for Statically Composed Programs. Lecture Notes in Computer Science (LNCS). 51-55.
  • Vis forfatter(e) (2013). Classifying and Measuring Student Problems and Misconceptions. NIKT: Norsk IKT-konferanse for forskning og utdanning. 110-121.
  • Vis forfatter(e) (2013). A Pretty Good Formatting Pipeline. Lecture Notes in Computer Science (LNCS). 177-196.
  • Vis forfatter(e) (2011). Testing with Axioms in C++ 2011. Journal of Object Technology. 1-32.
  • Vis forfatter(e) (2010). Yet another language extension scheme. Lecture Notes in Computer Science (LNCS). 123-132.
  • Vis forfatter(e) (2010). The Axioms Strike Back: Testing with Concepts and Axioms in C plus. SIGPLAN notices. 15-24.
  • Vis forfatter(e) (2010). Interfacing concepts: Why declaration style shouldn't matter. Electronical Notes in Theoretical Computer Science. 37-50.
  • Vis forfatter(e) (2009). Axiom-Based Transformations: Optimisation and Testing. Electronical Notes in Theoretical Computer Science. 17-33.
Rapport
  • Vis forfatter(e) (2017). Post-proceedings of the 9th Seminar on Advanced Techniques and Tools for Software Evolution, Bergen, Norway, July 11-13, 2016. 1791. 1791. .
  • Vis forfatter(e) (2017). Post-proceedings of the 8th Seminar on Advanced Techniques and Tools for Software Evolution, Mons, Belgium, July 6-8, 2015. 1820. 1820. .
  • Vis forfatter(e) (2008). Testing with Concepts and Axioms in C++. 368. 368. .
Faglig foredrag
  • Vis forfatter(e) (2018). Implementing Compilers and Interpreters with Rascal – A Tutorial.
  • Vis forfatter(e) (2017). Implementing Languages in Rascal.
  • Vis forfatter(e) (2017). Building Interpreters and Compilers in Rascal.
  • Vis forfatter(e) (2014). Modelling Parsing and Unparsing.
  • Vis forfatter(e) (2014). Languages, Models and Megamodels.
  • Vis forfatter(e) (2014). Education of language engineers (Panel).
  • Vis forfatter(e) (2014). Axiom based testing.
  • Vis forfatter(e) (2013). Code Formatting.
  • Vis forfatter(e) (2013). A Practical Example of Language Design and Implementation.
Populærvitenskapelig foredrag
  • Vis forfatter(e) (2008). Hverdagsmat og festmat i gamle Egypt.
Vitenskapelig foredrag
  • Vis forfatter(e) (2017). Towards Reasonable Ownership.
  • Vis forfatter(e) (2017). Algool – Object-Orientation with Algebraic Specification.
  • Vis forfatter(e) (2016). Safer Refactorings with Assertions.
  • Vis forfatter(e) (2013). Facts, Resources and the IDE/Compiler Mind-Meld.
  • Vis forfatter(e) (2008). The Magnolia Programming Language.
  • Vis forfatter(e) (2006). DSAL = library + notation: Program Transformation for Domain-Specific Aspect Languages.
Leder
  • Vis forfatter(e) (2015). SATToSE 2015: The post-proceedings editorial. CEUR Workshop Proceedings.
Programvare
  • Vis forfatter(e) (2013). PGF v0.1 – The Pretty Good Formatter.
  • Vis forfatter(e) (2013). Nuthatch/J v0.99 – A software transformation library based on tree walking.
Doktorgradsavhandling
  • Vis forfatter(e) (2021). Improving the Usability of Refactoring Tools for Software Change Tasks.
  • Vis forfatter(e) (2018). Exploring Microservice Security.
  • Vis forfatter(e) (2017). Programming Language Technology for Niche Platforms.
  • Vis forfatter(e) (2009). Constructs & Concepts: Language Design for Flexibility and Reliability.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
  • Vis forfatter(e) (2018). Overcoming Security Challenges in Microservice Architectures. 10 sider.
  • Vis forfatter(e) (2017). Exploring API/client Co-evolution. 4 sider.
  • Vis forfatter(e) (2015). Analysis and transformation with the Nuthatch tree-walking library. 6 sider.
  • Vis forfatter(e) (2014). Workshop on Open and Original Problems in Software Language Engineering. 1 sider.
  • Vis forfatter(e) (2014). Specification of generic APIs, or: why algebraic may be better than pre/post. 10 sider.
  • Vis forfatter(e) (2013). Workshop on Open and Original Problems in Software Language Engineering (OOPSLE'13). 2 sider.
  • Vis forfatter(e) (2012). Separating Exceptional Concerns. 3 sider.
  • Vis forfatter(e) (2010). Language Description for Front End Implementation. 8 sider.
  • Vis forfatter(e) (2009). The axioms strike back: Testing with concepts and axioms in C++. 10 sider.
  • Vis forfatter(e) (2008). Testing with concepts and axioms in {C++}. 2 sider.
  • Vis forfatter(e) (2008). Axiom-based testing for {C++}. 2 sider.
  • Vis forfatter(e) (2006). Stayin' alert:: moulding failure and exceptions to your needs. 10 sider.
  • Vis forfatter(e) (2006). DSAL = library+notation: Program Transformation for Domain-Specific Aspect Languages. 7 sider.
Sammendrag/abstract
  • Vis forfatter(e) (2015). Open and Original Problems in Software Language Engineering 2015 Workshop Report. Software engineering notes. 32-37.
Poster
  • Vis forfatter(e) (2018). VisAST – Generic AST Visualizer for Software Language Education.
  • Vis forfatter(e) (2018). Software != Programs – Software Behaviour as an Emergent Property.
  • Vis forfatter(e) (2018). Automating Testing of Programming Assignments.
  • Vis forfatter(e) (2016). Balance Your Fitness.
  • Vis forfatter(e) (2008). The Magnolia Programming Language.
Musikalsk framføring
  • Vis forfatter(e) (2013). Xmas Lecture: Beautiful Code.
Vitenskapelig oversiktsartikkel/review
  • Vis forfatter(e) (2015). Languages, Models and Megamodels: A Tutorial . CEUR Workshop Proceedings. 132-143.

Se fullstendig oversikt over publikasjoner i CRIStin.

Twitter