The development of a program analysis environment for Ada: Reverse engineering tools for Ada

The Graphical Representations of Algorithms, Structures, and Processes for Ada (GRASP/Ada) has successfully created and prototyped a new algorithm level graphical representation for Ada software, the Control Structure Diagram (CSD). The primary impetus for creation of the CSD was to improve the comprehension efficiency of Ada software and thus improve reliability and reduce costs. The emphasis was on the automatic generation of the CSD from Ada source code to support reverse engineering and maintenance. The CSD has the potential to replace traditional prettyprinted Ada source code. In Phase 1 of the GRASP/Ada project, the CSD graphical constructs were created and applied manually to several small Ada programs. A prototype (Version 1) was designed and implemented using FLEX and BISON running under the Virtual Memory System (VMS) on a VAX 11-780. In Phase 2, the prototype was improved and ported to the Sun 4 platform under UNIX. A user interface was designed and partially implemented. The prototype was applied successfully to numerous Ada programs ranging in size from several hundred to several thousand lines of source code. In Phase 3 of the project, the prototype was prepared for limited distribution (GRASP/Ada Version 3.0) to facilitate evaluation. The user interface was extensively reworked. The current prototype provides the capability for the user to generate CSD from Ada source code in a reverse engineering mode with a level of flexibility suitable for practical application

LacEDAemon : a programming environment for the multiparadigm language leda

Multiparadigm programming languages are a recent development in the realm of programming languages. A multiparadigm programming language allows the use of multiple, differing programming paradigms without departing from a single, unified linguistic framework. Multiparadigm programming languages are claimed to have benefits to both pedagogy and complex application creation. The beneficial claims of multiparadigm languages have yet to be validated. The availability of a programming environment would encourage and expedite academic and industrial validation. Creating a programming environment is considered an extremely labor intensive activity. Further complications arise from the fact that programming environment creation is an experimental activity: the component mix that best expedites program development in a new programming language cannot be predicted in advance. As a result, few new languages are ever verified in the context of a supportive programming environment. Leda, a unique programming language that includes the functional, imperative, logic and object-oriented paradigms, is at this juncture. This thesis describes the structure of an environment framework that allows for experimental study of the necessary components of a multiparadigm programming language environment. New tools and techniques, as well as changes to traditional tools and techniques are required to allow programmers to abstract effectively across paradigms. This research examines the topic by creating LacEDAemon, a testbed programming environment for the multiparadigm programming language Leda, within the framework of a variety of integrated, cohesive tools. LacEDAemon relies on a hypertool-based toolkit integration framework architecture that affords both loose and tight control integration, as well as data integration, using existing, off-the-shelf tools written in a variety of programming languages. Along with demonstrating the viability of hypertool integration as a low-cost approach for constructing programming environments, LacEDAemon provides a vehicle for: determining an effective multiparadigm programming toolset, studying multiparadigm program design, conducting studies of multiparadigm program visualization, exploring different strategies for software reuse, and examining the merits of conducting all programming activity within the database-centered environment approach. This environment also provides support for investigations in the areas of multiparadigm algorithms, multiparadigm software metrics, and multiparadigm program comprehension. Various techniques for evaluating integrated environments are also applied to LacEDAemon

Parametrizovani univerzalni editor programskog teksta

Trigeminalni neuropatski bol je hronično bolno stanje orofacijalne regije koje nastaje kao posledica povrede trigeminalnog živca. Ova vrsta bola loše ili uopšte ne reaguje na terapiju, te njegovo lečenje predstavlja veliki terapijski problem koji utiče kvalitet života pacijenta. U trigeminalnom ganglionu eksprimiran je veliki broj hemijskih medijatora, a GABA je najznačajniji inhibitorni neurotransmiter. Zbog velikog broja podjedinica i njihovih različitih kombinacija, postoji veliki broj efekata koji GABA ostvaruje. U trigeminalnom ganglionu postoje GABAA receptori koji sadrže α6 podjedinicu. Smanjenje ove podjedinice primenom male interferirajuće RNK pojačava bolni odgovor kod eksperimentalnh životinja na modelima miofacijalnog i inflamatornog bola temporomandibularnog zgloba. Trigeminalni ganglion je supstrat za razvoj većeg broja patoloških stanja koje se sreću u stomatologiji, kao što su trigeminalna neuralgija i trigerminalna neuropatija. Hipoteza ove doktorske disertacije je bila da pojačavanje aktivnosti GABAA receptora koji sadrže α6 podjedinicu utiče na smanjenje bolnog odgovora u modelu trigeminalnog neuropatskog bola. Lekovi koji potenciraju aktivnost ove grupe receptora nisu dostupni u kliničkoj praksi. U ovoj doktorskoj disertaciji korišćen je DK-I-56-1, novosintetisani selektivni modulator α6 podjedinice GABAA receptora, koji pripada grupi deuterisanih pirazolohinolinona. Sprovedena je detaljna farmakokinetička analiza ovog jedinjenja na animalnom eksperimentalnom modelu. Dobijeni rezultati pokazuju da je kinetika ovog jedinjenja u plazmi i mozgu relativno spora, sa poluvremenom eliminacije od 6 h odnosno 13 h, pri čemu je postignuta slobodna koncentracija u mozgu u rasponu 10-300 nM. Ovakav farmakokinetički profil je podesan za ispitivanje u protokolima ponavljane primene...poorly controlled by current treatments. It represents major therapeutic concern and reduces patients quality of life. Numerous chemical mediators are present in trigeminal ganglia, and GABA is most common inhbitory neurotransmitter. Due to different subunit combinations, GABA can show diversity of pharmacological effects. GABAA receptors containing α6 subunit are located in trigeminal ganglia, and their reduction by small interfering RNA increases inflammatory temporomandibular and myofascial pain in rats. One of the most common orofacial pain states like trigeminal neuralgia or trigeminal neuropathy begin in trigeminal ganglia. We thus hypothesized that enhancing GABAA receptors containing the α6 subunit activity may help in neuropathic syndromes originating from the trigeminal system. Selective modulators that activate this specific receptor population are not commercially available. In this doctoral dissertation we used recently developed deuterated pyrazoloquinolinone compound, (DK-I-56-1) that selectively activates α6 subunit of GABAA receptors. Here, we performed a detailed pharmacokinetic analysis of DK-I-56-1 on animal experimental model. Both plasma and brain tissue kinetics of DK-I-56-1 were relatively slow, with half-lives of 6 h and 13 h, respectively, enabling the persistence of estimated free brain concentrations in the range 10-300 nM throughout a 24-h period. We confirmed that chronic constriction injury of infraorbital nerve is considered a reliable experimental animal model for trigeminal neuropathic pain. Results were obtained on IoN-CCI protocol in hypersensitive rats dosed intraperitoneally with 10 mg/kg DK-I-56-1 or DK-I-87-1, structurally similar pyrazoloquinolinone compound that can not induce GABA currents on α6 containing receptors..

Generating Programming Environments with Integrated Text and Graphics for VLSI Design Systems

The constant improvements in device integration, the development of new technologies and the emergence of new design techniques call for flexible, maintainable and robust software tools. The generic nature of compiler-compiler systems, with their semi-formal specifications, can help in the construction of those tools. This thesis describes the Wright editor generator which is used in the synthesis of language-based graphical editors (LBGEs). An LBGE is a programming environment where the programs being manipulated denote pictures. Editing actions can be specified through both textual and graphical interfaces. Editors generated by the Wright system are specified using the formalism of attribute grammars. The major example editor in this thesis, Stick-Wright, is a design entry system for the construction of VLSI circuits. Stick-Wright is a hierarchical symbolic layout editor which exploits a combination of text and graphics in an interactive environment to provide the circuit designer with a tool for experimenting with circuit topologies. A simpler system, Pict-Wright: a picture drawing system, is also used to illustrate the attribute grammar specification process. This thesis aims to demonstrate the efficacy of formal specification in the generation of software-tools. The generated system Stick-Wright shows that a text/graphic programming environment can form the basis of a powerful VLSI design tool, especially with regard to providing the designer with immediate graphical feedback. Further applications of the LBGE generator approach to system design are given for a range of VLSI design activities

Informatique et culture scientifique du numérique

National audienceCe document transcrit les MOOC réalisés par le Learning Lab Inria, avec le soutien du Ministère de l’éducation nationale et de la jeunesse, en partenariat avec le projet Class ́Code et l’Université Côte d’Azur.Cette première version reprend et remet en forme les contenus des MOOC, notamment en transcrivant les propos oraux des différents intervenants issus des supports multimédias, et en adaptant les contenus à un média textuel. Les apports supplémentaires concernent modestement la partie surles logiciels libres et celle sur le son et la musique. En l’état, il manque encore un chapitre sur les implications et applications de l’informatique (bioinformatique, médecine, arts, etc.) et un autre sur l’architecture des ordinateurs et des réseaux. Cependant, le taux de recouvrement n’est pas nul car ces sujets sont également abordés dans d’autres sections du manuel. Toutefois, le manuel reste exploitable comme tel et sera enrichi et amélioré dans des versions suivantes