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
E-post:
Tidsskriftartikler
- 2015. Reflections on Courses for Software Language Engineering. CEUR Workshop Proceedings. 10 sider.
- 2015. Languages, Models and Megamodels: A Tutorial. CEUR Workshop Proceedings.
- 2014. Nerding for Newbies 2014: A Summer School in Computers & Programming. NIK: Norsk Informatikkonferanse. 27. 12 sider.
- 2014. Parsing in a Broad Sense. Lecture Notes in Computer Science. 8767: 50-67. doi: 10.1007/978-3-319-11653-2_4
- 2013. A Pretty Good Formatting Pipeline. Lecture Notes in Computer Science. 8225: 177-196. doi: 10.1007/978-3-319-02654-1_10
- 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
- 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
- 2013. Classifying and Measuring Student Problems and Misconceptions. NIK: Norsk Informatikkonferanse. 110-121.
- 2011. Testing with Axioms in C++ 2011. Journal of Object Technology. 10: 1-32. doi: 10.5381/jot.2011.10.1.a10
- 2010. Yet another language extension scheme. Lecture Notes in Computer Science. 5969: 123-132. doi: 10.1007/978-3-642-12107-4_9
- 2010. The Axioms Strike Back: Testing with Concepts and Axioms in C plus. SIGPLAN notices. 45: 15-24.
- 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
- 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
- 2009. Constructs & Concepts: Language Design for Flexibility and Reliability. 216 sider.
- 2008. Testing with Concepts and Axioms in C++. Reports in Informatics. 368. Institutt for Informatikk, Universitetet i Bergen, Bergen. 18 sider.
Bokkapitler
- 2014. Specification of generic APIs, or: why algebraic may be better than pre/post. Specification of generic APIs, or: why algebraic may be better than pre/post, sider 71-80. I:
- 2014. Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology. ACM Press. 106 sider. ISBN: 978-1-4503-3217-0.
- 2014. Workshop on Open and Original Problems in Software Language Engineering. -, sider 478-478. I:
- 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.
- 2013. Workshop on Open and Original Problems in Software Language Engineering (OOPSLE'13). 61, sider 493-494. I:
- 2013. 20th Working Conference on Reverse Engineering (WCRE 2013). IEEE conference proceedings. 494 sider. ISBN: 978-1-4799-2931-3.
- 2012. Separating Exceptional Concerns. 11, sider 49-51. I:
- 2012. Proceedings of the 5th International Workshop on Exception Handling (WEH 2012). IEEE conference proceedings. 64 sider. ISBN: 978-1-4673-1767-2.
- 2010. Language Description for Front End Implementation. 9, sider . I:
- 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.
- 2009. The axioms strike back: Testing with concepts and axioms in C++. 2, sider 15-24. I:
- 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.
- 2008. Testing with concepts and axioms in {C++}. Testing with concepts and axioms in {C++}, sider 773-774. I:
- 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.
- 2008. Axiom-based testing for {C++}. Axiom-based testing for {C++}, sider 721-722. I:
- 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.
- 2006. Stayin' alert:: moulding failure and exceptions to your needs. 10, sider 265-274.. I:
- 2006. Proceedings of the 5th international conference on Generative programming and component engineering. ACM Press. 291 sider. ISBN: 1-59593-237-2.
- 2006. DSAL = library+notation: Program Transformation for Domain-Specific Aspect Languages. 1, sider . I:
- 2006. Proceedings of the Domain-Specific Aspect Languages Workshop 2006. Vrije Universiteit Brussel, Portland, Oregon, USA. 37 sider.
Kunstnerisk produksjon
- 2013. Xmas Lecture: Beautiful Code.