Výsledky vyhledávání - "Christensen, Aske Simon"

A Case Study in Modular Programming:Using AspectJ and OCaml in an Undergraduate Compiler Project

Autor: Christensen, Aske Simon, Midtgaard, Jan, Winther, Johnni, Zerny, Ian

Publikováno v: Christensen, A S, Midtgaard, J, Winther, J & Zerny, I 2015 ' A Case Study in Modular Programming : Using AspectJ and OCaml in an Undergraduate Compiler Project ' Department of Computer Science, University of Aarhus . https://doi.org/10.7146/aul.6.7

We report our experience in using two different languages to build the same software project. Specifically, we have converted an entire undergraduate compiler course from using AspectJ, an aspect-oriented language, to using OCaml, a functional langua

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pure_au_____::3ffa937fac8b48852b2a25369f01320b
https://pure.au.dk/portal/da/publications/a-case-study-in-modular-programming(1280853f-4812-49df-866c-c141f02be8c4).html

Zobrazit plný text záznamu

Something to do with Java

Autor: Christensen, Aske Simon

Publikováno v: Christensen, A S 2006, Something to do with Java . Daimi PhD Dissertation, no. PD-06-7 .

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pure_au_____::6d16adc6cf525755f452022632c56aed
https://pure.au.dk/portal/da/publications/something-to-do-with-java(1329a5d0-d617-11db-bee9-02004c4f4f50).html

Zobrazit plný text záznamu

abc: The AspectBench Compiler for AspectJ

Autor: Allan, Chris, Avgustinov, Pavel, Christensen, Aske Simon, Hendren, Laurie J., Kuzins, Sascha, Lhoták, Jennifer, Lhoták, Ondrej, de Moor, Oege, Sereni, Damien, Sittampalam, Ganesh, Tibble, Julian

Publikováno v: Allan, C, Avgustinov, P, Christensen, A S, Hendren, L J, Kuzins, S, Lhoták, J, Lhoták, O, de Moor, O, Sereni, D, Sittampalam, G & Tibble, J 2005, abc : The AspectBench Compiler for AspectJ . in R Glück & M R Lowry (eds), Generative Programming and Component Engineering, 4th International Conference, GPCE 2005 Proceedings (Tallinn, Estonia, September 29-October 1, 2005) . Lecture Notes in Computer Science, pp. 10-16 .

abc is an extensible, optimising compiler for AspectJ. It has been designed as a workbench for experimental research in aspect-oriented programming languages and compilers. We outline a programme of research in these areas, and we review how abc can

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pure_au_____::44ff634079c03957190fb1482896fa9b
https://pure.au.dk/portal/da/publications/abc-the-aspectbench-compiler-for-aspectj(0bbd7410-b1c5-11da-bee9-02004c4f4f50).html

Zobrazit plný text záznamu

A Runtime System for XML Transformations in Java

Autor: Christensen, Aske Simon, Kirkegaard, Christian, Møller, Anders

Publikováno v: Christensen, A S, Kirkegaard, C & Møller, A 2004, A Runtime System for XML Transformations in Java . in Z Bellahsene, T Milo, M Rys, D Suciu & R Unland (eds), Database and XML Technologies : Second International XML Database Symposium, XSym 2004, Toronto, Canada, August 29-30, 2004. Proceedings . Springer, Lecture Notes in Computer Science, vol. 3186, pp. 143-157, Toronto, Canada, 29/08/2004 . https://doi.org/10.1007/978-3-540-30081-6_11

We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise static analysis for guaranteeing validity of the constructed XML documents

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pure_au_____::da04ae77ff6584b52df87d43fcd164d9
https://pure.au.dk/portal/da/publications/a-runtime-system-for-xml-transformations-in-java(346bb620-3b57-11dc-bee9-02004c4f4f50).html

Zobrazit plný text záznamu

Programanalyse - en metode til fejlfinding i software

Autor: Christensen, Aske Simon

Publikováno v: Christensen, A S 2003, Programanalyse-en metode til fejlfinding i software . i Aarhus Universitets Forskningsfonds Årsberetning 2002 : Bidrag til forskningsformidlende bog/antologi . bind au01_2006_c6091f70-983b-11da-bee9-02004c4f4f50, Aarhus Universitetsforlag, s. A-59 .

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pure_au_____::47f1b94d2799d8941d5bdce50766194f
https://pure.au.dk/portal/da/publications/programanalyse--en-metode-til-fejlfinding-i-software(c6091f70-983b-11da-bee9-02004c4f4f50).html

Zobrazit plný text záznamu

Precise Analysis of String Expressions

Autor: Christensen, Aske Simon, Møller, Anders, Schwartzbach, Michael Ignatieff

Publikováno v: Christensen, A S, Møller, A & Schwartzbach, M I 2003, Precise Analysis of String Expressions . in Static Analysis : 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11-13, 2003 Proceedings . Springer, Lecture Notes in Computer Science, vol. 2694, pp. 1-18, San Diego, California, United States, 11/06/2003 . https://doi.org/10.1007/3-540-44898-5_1

We perform static analysis of Java programs to answer a simple question: which values may occur as results of string expressions? The answers are summarized for each expression by a regular language that is guaranteed to contain all possible values.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pure_au_____::c2e00e3c00c8d99469527706de4d5bc2
https://pure.au.dk/portal/da/publications/precise-analysis-of-string-expressions(1f432f00-3e98-11dc-bee9-02004c4f4f50).html

Zobrazit plný text záznamu

JWIG User Manual

Autor: Christensen, Aske Simon, Møller, Anders

Publikováno v: Christensen, A S & Møller, A 2002, ' JWIG User Manual ', B R I C S Notes Series, no. NS-02-6 .

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pure_au_____::73be358ffac9739934138d5d59545ef0
https://pure.au.dk/portal/da/publications/jwig-user-manual(bfde1700-9824-11dc-bee9-02004c4f4f50).html

Zobrazit plný text záznamu

Static Analysis for Dynamic XML

Autor: Christensen, Aske Simon, Møller, Anders, Schwartzbach, Michael Ignatieff

Publikováno v: Christensen, A S, Møller, A & Schwartzbach, M I 2002, Static Analysis for Dynamic XML . in E-Proceeding of PLAN-X 2002 ., Pittsburgh, PA, United States, 03/10/2002 .

We describe the summary graph lattice for dataflow analysis of programs that dynamically construct XML documents. Summary graphs have successfully been used to provide static guarantees in the JWIG language for programming interactive Web services. I

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pure_au_____::8d480c5ec004520f030e693621ddbb43
https://pure.au.dk/portal/da/publications/static-analysis-for-dynamic-xml(347e3f90-c1fc-11db-bee9-02004c4f4f50).html

Zobrazit plný text záznamu

Akademický článek

Extending Java for High-Level Web Service Construction.

Autor: Christensen, Aske Simon¹, Møller, Abders¹, Schwartzbach, Michael I.¹

Publikováno v: ACM Transactions on Programming Languages & Systems. Nov2003, Vol. 25 Issue 6, p814-875. 62p.

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání