Open Programming Language Interpreters

Context: This paper presents the concept of open programming language interpreters and the implementation of a framework-level metaobject protocol (MOP) to support them. Inquiry: We address the problem of dynamic interpreter adaptation to tailor the interpreter's behavior on the task to be solved and to introduce new features to fulfill unforeseen requirements. Many languages provide a MOP that to some degree supports reflection. However, MOPs are typically language-specific, their reflective functionality is often restricted, and the adaptation and application logic are often mixed which hardens the understanding and maintenance of the source code. Our system overcomes these limitations. Approach: We designed and implemented a system to support open programming language interpreters. The prototype implementation is integrated in the Neverlang framework. The system exposes the structure, behavior and the runtime state of any Neverlang-based interpreter with the ability to modify it. Knowledge: Our system provides a complete control over interpreter's structure, behavior and its runtime state. The approach is applicable to every Neverlang-based interpreter. Adaptation code can potentially be reused across different language implementations. Grounding: Having a prototype implementation we focused on feasibility evaluation. The paper shows that our approach well addresses problems commonly found in the research literature. We have a demonstrative video and examples that illustrate our approach on dynamic software adaptation, aspect-oriented programming, debugging and context-aware interpreters. Importance: To our knowledge, our paper presents the first reflective approach targeting a general framework for language development. Our system provides full reflective support for free to any Neverlang-based interpreter. We are not aware of any prior application of open implementations to programming language interpreters in the sense defined in this paper. Rather than substituting other approaches, we believe our system can be used as a complementary technique in situations where other approaches present serious limitations

2012 Activity Report of the Regional Research Programme on Hadrontherapy for the ETOILE Center

2012 is the penultimate year of financial support by the CPER 2007-2013 for ETOILE's research program, sustained by the PRRH at the University Claude Bernard. As with each edition we make the annual review of the research in this group, so active for over 12 years now. Over the difficulties in the decision-making process for the implementation of the ETOILE Center, towards which all our efforts are focussed, some "themes" (work packages) were strengthened, others have progressed, or have been dropped. This is the case of the eighth theme (technological developments), centered around the technology for rotative beam distribution heads (gantries) and, after being synchronized with the developments of ULICE's WP6, remained so by ceasing its activities, coinciding also with the retirement of its historic leader at IPNL, Marcel Bajard. Topic number 5 ("In silico simulations") has suffered the departure of its leader, Benjamin Ribba, although the work has still been provided by Branka Bernard, a former postdoctoral fellow in Lyon Sud, and now back home in Croatia, still in contract with UCBL for the ULICE project. Aside from these two issues (and the fact that the theme "Medico-economical simulations" is now directly linked to the first one ("Medical Project"), the rest of the teams are growing, as evidenced by the publication statistics at the beginning of this report. This is obviously due to the financial support of our always faithful regional institutions, but also to the synergy that the previous years, the European projects, the arrival of the PRIMES LabEx, and the national France Hadron infrastructure have managed to impulse. The Rhone-Alpes hadron team, which naturally includes the researchers of LPC at Clermont, should also see its influence result in a strong presence in France Hadron's regional node, which is being organized. The future of this regional research is not yet fully guaranteed, especially in the still uncertain context of ETOILE, but the tracks are beginning to emerge to allow past and present efforts translate into a long future that we all want to see established. Each of the researchers in PRRH is aware that 2013 will be (and already is) the year of great challenge : for ETOILE, for the PRRH, for hadron therapy in France, for French hadrontherapy in Europe (after the opening and beginning of treatments in the German [HIT Heidelberg, Marburg], Italian [CNAO, Pavia] and Austrian [MedAustron, Wien Neuerstadt]) centers. Let us meet again in early 2014 for a comprehensive review of the past and a perspective for the future ..

Testing an Intentional Naming Scheme Using Genetic Algorithms

Abstract. Various attempts have been made to use genetic algorithms (GAs) for software testing, a problem that consumes a large amount of time and eort in software development. We demonstrate the use of GAs in automating testing of complex data structures and methods for manipulating them, which to our knowledge has not been successfully displayed before on non-trivial software structures. We evaluate the ef-fectiveness of our GA-based test suite generation technique by applying it to test the design and implementation of the Intentional Naming Sys-tem (INS), a new scheme for resource discovery and service location in a dynamic networked environment. Our analysis using GAs reveals serious problems with both the design of INS and its inventors ' implementation.

Air Force Institute of Technology Research Report 2009

This report summarizes the research activities of the Air Force Institute of Technology’s Graduate School of Engineering and Management. It describes research interests and faculty expertise; lists student theses/dissertations; identifies research sponsors and contributions; and outlines the procedures for contacting the school. Included in the report are: faculty publications, conference presentations, consultations, and funded research projects. Research was conducted in the areas of Aeronautical and Astronautical Engineering, Electrical Engineering and Electro-Optics, Computer Engineering and Computer Science, Systems and Engineering Management, Operational Sciences, Mathematics, Statistics and Engineering Physics