Mining the Ecosystem to Improve Type Inference For Dynamically Typed Languages

Dynamically typed languages lack information about the types of variables in the source code. Developers care about this information as it supports program comprehension. Ba- sic type inference techniques are helpful, but may yield many false positives or negatives. We propose to mine information from the software ecosys- tem on how frequently given types are inferred unambigu- ously to improve the quality of type inference for a single system. This paper presents an approach to augment existing type inference techniques by supplementing the informa- tion available in the source code of a project with data from other projects written in the same language. For all available projects, we track how often messages are sent to instance variables throughout the source code. Predictions for the type of a variable are made based on the messages sent to it. The evaluation of a proof-of-concept prototype shows that this approach works well for types that are sufficiently popular, like those from the standard librarie, and tends to create false positives for unpopular or domain specific types. The false positives are, in most cases, fairly easily identifiable. Also, the evaluation data shows a substantial increase in the number of correctly inferred types when compared to the non-augmented type inference.

Plasma Kallikrein and Angiotensin I-converting enzyme N- and C-terminal domain activities are modulated by the insertion/deletion polymorphism

Angiotensin I-converting enzyme (ACE) is recognized as one of the main effector molecules involved in blood pressure regulation. In the last few years some polymorphisms of ACE such as the insertion/deletion (I/D) polymorphism have been described, but their physiologic relevance is poorly understood. In addition, few studies investigated if the specific activity of ACE domain is related to the I/D polymorphism and if it can affect other systems. The aim of this study was to establish a biochemical and functional characterization of the I/D polymorphism and correlate this with the corresponding ACE activity. For this purpose, 119 male brazilian army recruits were genotyped and their ACE plasma activities evaluated from the C- and N-terminal catalytic domains using fluorescence resonance energy transfer (FRET) peptides, specific for the C-domain (Abz-LFK(Dnp)OH), N-domain (Abz-SDK(Dnp)P-OH) and both C- and N-domains (Abz-FRK(Dnp)P-OH). Plasma kallikrein activity was measured using Z-Phe-Arg-AMC as substrate and inhibited by selective plasma kallikrein inhibitor (PKSI). Some physiological parameters previously described related to the I/D polymorphism such as handgrip strength, blood pressure, heart rate and BMI were also evaluated. The genotype distribution was II n = 27, ID n = 64 and DD n = 28. Total plasma ACE activity of both domains in II individuals was significantly lower in comparison to ID and DD. This pattern was also observed for C- and N-domain activities. Difference between ID and DD subjects was observed only with the N-domain specific substrate. Blood pressure, heart rate, handgrip strength and BMI were similar among the genotypes. This polymorphism also affected the plasma kallikrein activity and DD group presents high activity level. Thus, our data demonstrate that the I/D ACE polymorphism affects differently both ACE domains without effects on handgrip strength. Moreover, this polymorphism influences the kallikrein-kinin system of normotensive individuals. (C) 2009 Elsevier Ltd. All rights reserved.

BAMoL Formalização da linguagem e validação sintática de modelos

A BAMoL (Business Application Modeling Language) é uma linguagem de domínio específico utilizada para o desenvolvimento de soluções para a plataforma myMIS, no âmbito dos sistemas de informação para a gestão. Esta linguagem carecia de dois aspetos, nomeadamente a sua formalização e a existência de mecanismos de validação sintática das soluções desenvolvidas. Estes problemas identificados tornam impossível a validação sintática das soluções desenvolvidas utilizando esta linguagem, aumentando assim a probabilidade de existência de erros, podendo fazer com que as mesmas sejam mais ineficientes e podendo até trazer um aumento de custos de manutenção da plataforma. De forma a resolver os problemas enunciados, foi realizada, para o primeiro, uma descrição textual de todos os constituintes da linguagem e criada uma gramática representativa da mesma, em que constam todos os seus elementos e regras. No caso do segundo problema, a sua resolução passou pela criação de uma ferramenta que utiliza a gramática criada e que permite validar sintaticamente e encontrar as falhas das soluções desenvolvidas. Desta forma, passa a ser possível detetar os erros existentes nas soluções, permitindo assim à equipa de desenvolvimento ter maior controlo sobre as mesmas, podendo torná-las mais corretas, na perspetiva das regras da linguagem.

Analysable software language translations

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

Perspectives interculturelles et interlinguistiques sur le discours académique – Crosscultural and Crosslinguistic Perspectives on Academic Discourse. Volume 1

The Department of French Studies of the University of Turku (Finland) organized an International Bilingual Conference on Crosscultural and Crosslinguistic Perspectives on Academic Discourse from 2022 May 2005. The event hosted specialists on Academic Discourse from Belgium, Finland, France, Germany, Italy, Norway, Spain, and the USA. This book is the first volume in our series of publications on Academic Discourse (AD hereafter). The following pages are composed of selected papers from the conference and focus on different aspects and analytical frameworks of Academic Discourse. One of the motivations behind organizing the conference was to examine and expand research on AD in different languages. Another one was to question to what extent academic genres are culturebound and language specific or primarily field or domain specific. The research carried out on AD has been mainly concerned with the use of English in different academic settings for a long time now – mainly written contexts – and at the expense of other languages. Alternatively the academic genre conventions of English and English speaking world have served as a basis for comparison with other languages and cultures. We consider this first volume to be a strong contribution to the spreading out of researches based on other languages than English in AD, namely Finnish, French, Italian, Norwegian and Romanian in this book. All the following articles have a strong link with the French language: either French is constitutive of the AD corpora under examination or the article was written in French. The structure of the book suggests and provides evidence that the concept of AD is understood and tackled to varying degrees by different scholars. Our first volume opens up the discussion on what AD is and backs dissemination, overlapping and expansion of current research questions and methodologies. The book is divided into three parts and contains four articles in English and six articles in French. The papers in part one and part two cover what we call the prototypical genre of written AD, i.e. the research article. Part one follows up on issues linked to the 13 Research Article (RA hereafter). Kjersti Fløttum asks wether a typical RA exists and concentrates on authors’ voices in RA (self and other dimensions), whereas Didriksen and Gjesdal’s article focuses on individual variation of the author’s voice in RA. The last article in this section is by Nadine Rentel and deals with evaluation in the writing of RA. Part two concentrates on the teaching and learning of AD within foreign language learning, another more or less canonical genre of AD. Two aspects of writing are covered in the first two articles: foreign students’ representations on rhetorical traditions (Hidden) and a contrastive assessment of written exercices in French and Finnish in Higher Education (Suzanne). The last contribution in this section on AD moves away from traditional written forms and looks at how argumentation is constructed in students’ oral presentations (Dervin and Fauveau). The last part of the book continues the extension by featuring four articles written in French exploring institutional and scientific discourses. Institutional discourses under scrutiny include the European Bologna Process (Galatanu) and Romanian reform texts (Moilanen). As for scientific discourses, the next paper in this section deconstructs an ideological discourse on the didactics of French as a foreign language (Pescheux). Finally, the last paper in part three reflects on varied forms of AD at university (Defays). We hope that this book will add some fuel to continue discussing diverse forms of and approches to AD – in different languages and voices! No need to say that with the current upsurge in academic mobility, reflecting on crosscultural and crosslinguistic AD has just but started.

"Ungerska för rötternas skull" : Språkval och identitet bland andragenerationens ungrare i Sverige och Finland

This thesis is a comparative sociolinguistic study which describes and compares language choice among people with Hungarian background in Sweden and Finland and studies their views on the importance of the Hungarian language and Hungarian cultural heritage for identity. The future prospects of language maintenance and language shift and differences between the Swedish-Hungarians and the Finnish-Hungarians are discussed. A survey was completed among 50 Swedish-Hungarian informants and 38 Finnish-Hungarian informants during 2006. The survey was supplemented by in-depth interviews with 15 informants during 2007. The majority language, either Swedish or Finnish, is much more active in the second-generation Hungarians’ lives than Hungarian is. Hungarian is mostly used in the domain of family relations. The language choices made today are dependent on the informant’s situation during childhood, particularly the parents’ usage of the language and the ability to learn and use Hungarian, chiefly gained through contact with the parents’ mother country and other Hungarian speakers. For some informants, having Hungarian roots forms the sole foundation for belonging, while for others it is this heritage combined with the culture, the ability to use the language or specific character traits. The Hungarian background is most often seen as a treasure offering diversity in life. Finnish-Hungarians are generally more positive about their Hungarian background, have better competence in the language and a greater awareness of the culture than Swedish-Hungarians. The Hungarian language plays a central though often symbolic role. The most important conditions for minority language preservation are language competence together with the desire and opportunity to use it; whereof the largest deficit among second-generation Hungarians is knowledge of the Hungarian language. Only one-fourth of the informants have all of the conditions necessary to be able to maintain the language, which means that Hungarian is an endangered minority language in Sweden and Finland.

BDI4JADE: a BDI layer on top of JADE

Several agent platforms that implement the belief-desire-intention (BDI) architecture have been proposed. Even though most of them are implemented based on existing general purpose programming languages, e.g. Java, agents are either programmed in a new programming language or Domain-specific Language expressed in XML. As a consequence, this prevents the use of advanced features of the underlying programming language and the integration with existing libraries and frameworks, which are essential for the development of enterprise applications. Due to these limitations of BDI agent platforms, we have implemented the BDI4JADE, which is presented in this paper. It is implemented as a BDI layer on top of JADE, a well accepted agent platform.

LWiSSy: uma linguagem específica de domínio para modelagem de sistemas de redes de sensores e atuadores sem fio

The field of Wireless Sensor and Actuator Networks (WSAN) is fast increasing and has attracted the interest of both the research community and the industry because of several factors, such as the applicability of such networks in different application domains (aviation, civil engineering, medicine, and others). Moreover, advances in wireless communication and the reduction of hardware components size also contributed for a fast spread of these networks. However, there are still several challenges and open issues that need to be tackled in order to achieve the full potential of WSAN usage. The development of WSAN systems is one of the most relevant of these challenges considering the number of variables involved in this process. Currently, a broad range of WSAN platforms and low level programming languages are available to build WSAN systems. Thus, developers need to deal with details of different sensor platforms and low-level programming abstractions of sensor operational systems on one hand, and they also need to have specific (high level) knowledge about the distinct application domains, on the other hand. Therefore, in order to decouple the handling of these two different levels of knowledge, making easier the development process of WSAN systems, we propose LWiSSy (Domain Language for Wireless Sensor and Actuator Networks Systems), a domain specific language (DSL) for WSAN. The use of DSLs raises the abstraction level during the programming of systems and modularizes the system building in several steps. Thus, LWiSSy allows the domain experts to directly contribute in the development of WSANs without having knowledge on low level sensor platforms, and network experts to program sensor nodes to meet application requirements without having specific knowledge on the application domain. Additionally, LWiSSy enables the system decomposition in different levels of abstraction according to structural and behavioral features and granularities (network, node group and single node level programming)

Meta-Environment and Executable Meta-Language using Smalltalk: an Experience Report

Object-oriented modelling languages such as EMOF are often used to specify domain specific meta-models. However, these modelling languages lack the ability to describe behavior or operational semantics. Several approaches have used a subset of Java mixed with OCL as executable meta-languages. In this experience report we show how we use Smalltalk as an executable meta-language in the context of the Moose reengineering environment. We present how we implemented EMOF and its behavioral aspects. Over the last decade we validated this approach through incrementally building a meta-described reengineering environment. Such an approach bridges the gap between a code-oriented view and a meta-model driven one. It avoids the creation of yet another language and reuses the infrastructure and run-time of the underlying implementation language. It offers an uniform way of letting developers focus on their tasks while at the same time allowing them to meta-describe their domain model. The advantage of our approach is that developers use the same tools and environment they use for their regular tasks. Still the approach is not Smalltalk specific but can be applied to language offering an introspective API such as Ruby, Python, CLOS, Java and C#.

Towards a Moldable Debugger

The debugger is an essential tool in any programming environment, as it helps developers understand the dynamic behaviour of software systems. However, traditional debuggers fail in answering domain-specific questions, as the semantics of what they show and do are fixed. In this paper we introduce our work towards a moldable debugger which, unlike traditional debuggers, both adapts itself and can be adapted to a particular debugging context. Thus, it allows developers to answer their questions by using concepts from their own application domains.

Semantic neology in the domain of videogames in Spanish

The aim of this paper is to discuss the meaning of five neologisms in the domain of videogames in Spanish: título, aventura, personaje, plataforma, and rol. Our study focuses on a special type of neologism since the Spanish terms we deal with here are not strictly new words; they are what have been called sense neologisms or neosemanticisms, that is, old words taking a new sense in a different domain. These words were identified as new concepts after a process of analysis based on contextual evidence. This study of neology is based on the analysis of a corpus of press articles evaluating videogames published by the Spanish newspaper El País from 1998 to 2008. The analysis of the instances of use of domain specific terms in the corpus revealed that they acquired new senses different to those they have in other domains where they are also used. The paper explains the process of discovering the specialized meaning these words have developed in the domain of videogames and how the analysis of collocational behavior helps in the process of discovering the new sense and in the design of the definition provided.

Semantic Neology in the Domain of Videogames in Spanish.

The aim of this paper is to discuss the meaning of five neologisms in the domain of videogames in Spanish: título, aventura, personaje, plataforma, and rol. Our study focuses on a special type of neologism since the Spanish terms we deal with here are not strictly new words; they are what have been called sense neologisms or neosemanticisms, that is, old words taking a new sense in a different domain. These words were identified as new concepts after a process of analysis based on contextual evidence. This study of neology is based on the analysis of a corpus of press articles evaluating videogames published by the Spanish newspaper El País from 1998 to 2008. The analysis of the instances of use of domain specific terms in the corpus revealed that they acquired new senses different to those they have in other domains where they are also used. The paper explains the process of discovering the specialized meaning these words have developed in the domain of videogames and how the analysis of collocational behavior helps in the process of discovering the new sense and in the design of the definition provided. RESUMEN: En este trabajo se presentan cinco neologismos del ámbito del videojuego en español: “título”, “aventura”, “personaje”, “plataforma” y “rol”. Se trata de un tipo especial de neologismo, conocido también como “neologismo semántico” o “neosemanticismo”, ya que son palabras ya existentes en la lengua que adquieren un nuevo significado. Los nuevos significados que adquieren estos términos en el ámbito del videojuego se establecieron tras el análisis del contexto de uso en un corpus periodístico de críticas de videojuegos. Este corpus recoge las críticas de videojuegos publicadas por el periódico El País entre 1998 y 2008. El análisis de los casos de uso de los términos en el corpus de videojuegos reveló que adquirían un nuevo significado diferente al de su uso en otros ámbitos o en el lenguaje general. El artículo describe cada uno de los neologismos y el proceso de análisis contextual que conduce a descubrir el nuevo significado y elaborar su definición.

Embedding logical frameworks in scala

El Framework Lógico de Edimburgo ha demostrado ser una poderosa herramienta en el estudio formal de sistemas deductivos, como por ejemplo lenguajes de programación. Sin embargo su principal implementación, el sistema Twelf, carece de expresividad, obligando al programador a escribir código repetitivo. Este proyecto presenta una manera alternativa de utilizar Twelf: a través de un EDSL (Lenguaje Embebido de Dominio Específico) en Scala que permite representar firmas del Framework Lógico, y apoyándonos en Twelf como backend para la verificación, abrimos la puerta a diversas posibilidades en términos de metaprogramación. El código fuente, así como instrucciones para instalar y configurar, está accesible en https://github.com/akathorn/elfcala. ---ABSTRACT---The Edinburgh Logical Framework has proven to be to be a powerful tool in the formal study of deductive systems, such as programming languages. However, its main implementation, the Twelf system, lacks expressiveness, requiring the programmer to write repetitive code. This project presents an alternative way of using Twelf: by providing a Scala EDSL (Embedded Domain Specific Language) that can encode Logical Framework signatures and relying on Twelf as a backend for the verification, we open the door to different possibilities in terms of metaprogramming. The source code, along with instructions to install and configure, is accessible at https://github.com/akathorn/elfcala

Neuregulins with an Ig-like domain are essential for mouse myocardial and neuronal development.

Neuregulins are ligands for the erbB family of receptor tyrosine kinases and mediate growth and differentiation of neural crest, muscle, breast cancer, and Schwann cells. Neuregulins contain an epidermal growth factor-like domain located C-terminally to either an Ig-like domain or a cysteine-rich domain specific to the sensory and motor neuron-derived isoform. Here it is shown that elimination of the Ig-like domain-containing neuregulins by homologous recombination results in embryonic lethality associated with a deficiency of ventricular myocardial trabeculation and impairment of cranial ganglion development. The erbB receptors are expressed in myocardial cells and presumably mediate the neuregulin signal originating from endocardial cells. The trigeminal ganglion is reduced in size and lacks projections toward the brain stem and mandible. We conclude that IgL-domain-containing neuregulins play a major role in cardiac and neuronal development.

Phage display selection of ligand residues important for Src homology 3 domain binding specificity.

The Src homology 3 (SH3) domain is a 50-aa modular unit present in many cellular proteins involved in intracellular signal transduction. It functions to direct protein-protein interactions through the recognition of proline-rich motifs on associated proteins. SH3 domains are important regulatory elements that have been demonstrated to specify distinct regulatory pathways important for cell growth, migration, differentiation, and responses to the external milieu. By the use of synthetic peptides, ligands have been shown to consist of a minimum core sequence and to bind to SH3 domains in one of two pseudosymmetrical orientations, class I and class II. The class I sites have the consensus sequence ZP(L/P)PP psi P whereas the class II consensus is PP psi PPZ (where psi is a hydrophobic residue and Z is a SH3 domain-specific residue). We previously showed by M13 phage display that the Src, Fyn, Lyn, and phosphatidylinositol 3-kinase (PI3K) SH3 domains preferred the same class I-type core binding sequence, RPLPP psi P. These results failed to explain the specificity for cellular proteins displayed by SH3 domains in cells. In the current study, class I and class II core ligand sequences were displayed on the surface of bacteriophage M13 with five random residues placed either N- or C-terminal of core ligand residues. These libraries were screened for binding to the Src, Fyn, Lyn, Yes, and PI3K SH3 domains. By this approach, additional ligand residue preferences were identified that can increase the affinity of SH3 peptide ligands at least 20-fold compared with core peptides. The amino acids selected in the flanking sequences were similar for Src, Fyn, and Yes SH3 domains; however, Lyn and PI3K SH3 domains showed distinct binding specificities. These results indicate that residues that flank the core binding sequences shared by many SH3 domains are important determinants of SH3 binding affinity and selectivity.