Anya Helene Skrove Bagges bilde
Anya Helene Skrove
Bagge
Forsker
Besøksadresse: 
HIB - Thormøhlensgt. 55
5020 Bergen
Postadresse: 
Postboks 7803
5020 Bergen
Telefon: 
+47 55 58 42 90
+47 482 71 775
Last ned visittkort
Tidsskriftartikler
  • Bagge, Anya Helene; Lämmel, Ralf; Zaytsev, Vadim. 2014. Reflections on Courses for Software Language Engineering. CEUR Workshop Proceedings. 10 sider.
  • Bagge, May-Lill; Bagge, Anya Helene; Buanes, Baste; Eilertsen, Anna Maria; Herland, Alf Kristoffer; Ivanova, Sofija. 2014. Nerding for Newbies 2014: A Summer School in Computers & Programming. NIK: Norsk Informatikkonferanse.
  • Zaytsev, Vadim; Bagge, Anya Helene. 2014. Parsing in a Broad Sense. Lecture Notes in Computer Science. 8767: 50-67. doi: 10.1007/978-3-319-11653-2_4
  • Bagge, Anya Helene; Hasu, Tero. 2013. A Pretty Good Formatting Pipeline. Lecture Notes in Computer Science. 8225: 177-196. doi: 10.1007/978-3-319-02654-1_10
  • Bagge, Anya Helene; Lämmel, Ralf. 2013. Walk Your Tree Any Way You Want. Lecture Notes in Computer Science. 7909: 33-49. doi: 10.1007/978-3-642-38883-5_3
  • Hasu, Tero; Bagge, Anya Helene; Haveraaen, Magne. 2013. Inferring Required Permissions for Statically Composed Programs. Lecture Notes in Computer Science. 8208: 51-55. doi: 10.1007/978-3-642-41488-6_4
  • Rosbach, Alexander Hoem; Bagge, Anya Helene. 2013. Classifying and Measuring Student Problems and Misconceptions. NIK: Norsk Informatikkonferanse. 110-121.
  • Bagge, Anya Helene; David, Valentin; Haveraaen, Magne. 2011. Testing with Axioms in C++ 2011. Journal of Object Technology. 10: 1-32. doi: 10.5381/jot.2011.10.1.a10
  • Bagge, Anya Helene. 2010. Yet another language extension scheme. Lecture Notes in Computer Science. 5969: 123-132. doi: 10.1007/978-3-642-12107-4_9
  • Bagge, Anya Helene; David, Valentin Francois R; Haveraaen, Magne. 2010. The Axioms Strike Back: Testing with Concepts and Axioms in C plus. SIGPLAN notices. 45: 15-24.
  • Bagge, Anya Helene; Haveraaen, Magne. 2010. Interfacing concepts: Why declaration style shouldn't matter. Electronical Notes in Theoretical Computer Science. 253: 37-50. doi: 10.1016/j.entcs.2010.08.030
  • Bagge, Anya Helene; Haveraaen, Magne. 2009. Axiom-Based Transformations: Optimisation and Testing. Electronical Notes in Theoretical Computer Science. 238: 17-33. doi: 10.1016/j.entcs.2009.09.038
Rapporter/avhandlinger
  • Bagge, Anya Helene. 2009. Constructs & Concepts: Language Design for Flexibility and Reliability. 216 sider.
  • Bagge, Anya Helene; David, Valentin; Haveraaen, Magne. 2008. Testing with Concepts and Axioms in C++. Reports in Informatics. 368. Institutt for Informatikk, Universitetet i Bergen, Bergen. 18 sider.
Bokkapitler
  • Bagge, Anya Helene; Zaytsev, Vadim. 2014. Workshop on Open and Original Problems in Software Language Engineering. -, sider 478-478. I:
    • Demeyer, Serge; Binkley, Dave; Ricca, Filippo. 2014. 2014 Software Evolution Week — IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE). IEEE conference proceedings. 480 sider. ISBN: 978-1-4799-3752-3.
  • Bagge, Anya Helene; Zaytsev, Vadim. 2013. Workshop on Open and Original Problems in Software Language Engineering (OOPSLE'13). 61, sider 493-494. I:
    • Lämmel, Ralf; Oliveto, Rocco; Robbes, Romain. 2013. 20th Working Conference on Reverse Engineering (WCRE 2013). IEEE conference proceedings. 494 sider. ISBN: 978-1-4799-2931-3.
  • Bagge, Anya Helene. 2012. Separating Exceptional Concerns. 11, sider 49-51. I:
    • Garcia, Alessandro; Romanovsky, Alexander; Kienzle, Jörg; Dony, Christophe; Barbosa, Eiji. 2012. Proceedings of the 5th International Workshop on Exception Handling (WEH 2012). IEEE conference proceedings. 64 sider. ISBN: 978-1-4673-1767-2.
  • Bagge, Anya Helene. 2010. Language Description for Front End Implementation. 9, sider . I:
    • Brabrand, Claus; Moreau, Pierre-Etienne. 2010. LDTA '10:Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications. Association for Computing Machinery (ACM). ISBN: 978-1-4503-0063-6.
  • Bagge, Anya Helene; David, Valentin; Haveraaen, Magne. 2009. The axioms strike back: Testing with concepts and axioms in C++. 2, sider 15-24. I:
    • Siek, Jeremy; Fischer, Bernd. 2009. Proceedings of the Eighth International ACM SIGPLAN Conference on Generative Programming & Component Engineering (GPCE’09). Association for Computing Machinery (ACM). 186 sider. ISBN: 978-1-60558-862-9.
  • Bagge, Anya Helene; David, Valentin Francois R; Haveraaen, Magne. 2008. Testing with concepts and axioms in {C++}. Testing with concepts and axioms in {C++}, sider 773-774. I:
    • Harris, Gail. 2008. Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications. Association for Computing Machinery (ACM). 928 sider. ISBN: 978-1-60558-220-7.
  • Bagge, Anya Helene; David, Valentin Francois R; Haveraaen, Magne. 2008. Axiom-based testing for {C++}. Axiom-based testing for {C++}, sider 721-722. I:
    • Harris, Gail. 2008. Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications. Association for Computing Machinery (ACM). 928 sider. ISBN: 978-1-60558-220-7.
  • Bagge, Anya Helene; David, Valentin; Haveraaen, Magne; Kalleberg, Karl Trygve. 2006. Stayin' alert:: moulding failure and exceptions to your needs. 10, sider 265-274.. I:
    • Jarzabek, Stan; Schmidt, Douglas; Veldhuizen, Todd. 2006. Proceedings of the 5th international conference on Generative programming and component engineering. ACM Press. 291 sider. ISBN: 1-59593-237-2.
  • Bagge, Anya Helene; Kalleberg, Karl Trygve. 2006. DSAL = library+notation: Program Transformation for Domain-Specific Aspect Languages. 1, sider . I:
    • Tanter, Éric; Cleenewerck, Thomas; Fabry, Johan; Le Meur, Anne-Françoise; Noyé, Jacques. 2006. Proceedings of the Domain-Specific Aspect Languages Workshop 2006. Vrije Universiteit Brussel, Portland, Oregon, USA. 37 sider.
Kunstnerisk produksjon
  • Lämmel, Ralf; Bagge, Anya Helene; Sarah, Piller; Peter, Babnik. 2013. Xmas Lecture: Beautiful Code.

Se fullstendig oversikt over publikasjoner i CRIStin.