Anya Helene Bagge

According to our database, Anya Helene Bagge authored at least 27 papers between 2006 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

OOPSLE 2020: Open and Original Problems in Software Language Engineering.

Vadim Zaytsev, Anya Helene Bagge

Proceedings of the STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 2020

2018

Overcoming Security Challenges in Microservice Architectures.

Tetiana Yarygina, Anya Helene Bagge

Proceedings of the IEEE Symposium on Service-Oriented System Engineering, 2018

Exploring API/Client Co-Evolution.

Anna Maria Eilertsen, Anya Helene Bagge

Proceedings of the 2nd IEEE/ACM International Workshop on API Usage and Evolution, 2018

2017

Managing facts and resources with the Pica IDE infrastructure library.

Anya Helene Bagge

Sci. Comput. Program., 2017

2016

Safer Refactorings.

Anna Maria Eilertsen, Anya Helene Bagge, Volker Stolz

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

Open and Original Problems in Software Language Engineering 2015 Workshop Report.

Anya Helene Bagge, Vadim Zaytsev

ACM SIGSOFT Softw. Eng. Notes, 2015

Analysis and transformation with the nuthatch tree-walking library.

Anya Helene Bagge

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

2014

Specification of generic APIs, or: why algebraic may be better than pre/post.

Anya Helene Bagge, Magne Haveraaen

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

Languages, Models and Megamodels.

Anya Helene Bagge, Vadim Zaytsev

Proceedings of the Post-proceedings of the Seventh Seminar on Advanced Techniques and Tools for Software Evolution, 2014

Nerding for Newbies 2014 A Summer School in Computers & Programming.

May-Lill Bagge, Anya Helene Bagge, Baste Nesse Buanes, Anna Maria Eilertsen, Alf Kristoffer Herland, Sofija Ivanova

Proceedings of the 27th Norsk Informatikkonferanse, 2014

Parsing in a Broad Sense.

Vadim Zaytsev, Anya Helene Bagge

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Reflections on Courses for Software Language Engineering.

Anya Helene Bagge, Ralf Lämmel, Vadim Zaytsev

Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

International workshop on open and original problems in software language engineering.

Anya Helene Bagge, Vadim Zaytsev

Proceedings of the 2014 Software Evolution Week, 2014

2013

Workshop on open and original problems in software language engineering.

Anya Helene Bagge, Vadim Zaytsev

Proceedings of the 20th Working Conference on Reverse Engineering, 2013

A Pretty Good Formatting Pipeline.

Anya Helene Bagge, Tero Hasu

Proceedings of the Software Language Engineering - 6th International Conference, 2013

Inferring Required Permissions for Statically Composed Programs.

Tero Hasu, Anya Helene Bagge, Magne Haveraaen

Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013

Walk Your Tree Any Way You Want.

Anya Helene Bagge, Ralf Lämmel

Proceedings of the Theory and Practice of Model Transformations, 2013

2012

Separating exceptional concerns.

Anya Helene Bagge

Proceedings of the 5th International Workshop on Exception Handling, 2012

2011

Testing with Axioms in C++ 2011.

Anya Helene Bagge, Valentin David, Magne Haveraaen

J. Object Technol., 2011

2010

Language description for front end implementation.

Anya Helene Bagge

Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

2009

Interfacing Concepts: Why Declaration Style Shouldn't Matter.

Anya Helene Bagge, Magne Haveraaen

Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, 2009

Yet Another Language Extension Scheme.

Anya Helene Bagge

Proceedings of the Software Language Engineering, Second International Conference, 2009

The axioms strike back: testing with concepts and axioms in C++.

Anya Helene Bagge, Valentin David, Magne Haveraaen

Proceedings of the Generative Programming and Component Engineering, 2009

2008

Axiom-Based Transformations: Optimisation and Testing.

Anya Helene Bagge, Magne Haveraaen

Proceedings of the 8th Workshop on Language Descriptions, Tools and Applications, 2008

Testing with concepts and axioms in C++.

Anya Helene Bagge, Valentin David, Magne Haveraaen

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Axiom-based testing for C++.

Anya Helene Bagge, Valentin David, Magne Haveraaen

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2006

Stayin' alert: : moulding failure and exceptions to your needs.

Anya Helene Bagge, Valentin David, Magne Haveraaen, Karl Trygve Kalleberg

Proceedings of the Generative Programming and Component Engineering, 2006