Proposal of a High-Level Language for Writing Self Modifying Programs

This paper proposes a simple high-level programming language, endowed with resources that help encoding self-modifying programs. With this purpose, a conventional imperative language syntax (not explicitly stated in this paper) is incremented with special commands and statements forming an adaptive layer specially designed with focus on the dynamical changes to be applied to the code at run-time. The resulting language allows programmers to easily specify dynamic changes to their own program`s code. Such a language succeeds to allow programmers to effortless describe the dynamic logic of their adaptive applications. In this paper, we describe the most important aspects of the design and implementation of such a language. A small example is finally presented for illustration purposes.

Adaptivity in programming languages

A programming style can be seen as a particular model of shaping thought or a special way of codifying language to solve a problem. An adaptive device is made up of an underlying formalism, for instance, an automaton, a grammar, a decision tree, etc., and an adaptive mechanism, responsible for providing features for self-modification. Adaptive languages are obtained by using some programming language as the device’s underlying formalism. The conception of such languages calls for a new programming style, since the application of adaptive technology in the field of programming languages suggests a new way of thinking. Adaptive languages have the basic feature of allowing the expression of programs which self-modifying through adaptive actions at runtime. With the adaptive style, programming language codes can be structured in such a way that the codified program therein modifies or adapts itself towards the needs of the problem. The adaptive programming style may be a feasible alternate way to obtain self-modifying consistent codes, which allow its use in modern applications for self-modifying code.

Adaptive languages and a new programming style

A programming style can be seen as a particular model of shaping thought or a special way of codifying language to solve a problem. Adaptive languages have the basic feature of allowing the expression of programs which self-modifying through adaptive actions at runtime. The conception of such languages calls for a new programming style, since the application of adaptive technology in the field of programming languages suggests a new way of thinking. With the adaptive style, programming language codes can be structured in such a way that the codified program therein modifies or adapts itself towards the needs of the problem. The adaptive programming style may be a feasible alternate way to obtain self-modifying consistent codes, which allow its use in modern applications for self-modifying code.

Some new Results for Additive Self-Dual Codes over GF(4)

* Supported by COMBSTRU Research Training Network HPRN-CT-2002-00278 and the Bulgarian National Science Foundation under Grant MM-1304/03.

Cognitive coaching : a multiple case study /

The purpose of this qualitative study was to investigate the application of Cognitive Coaching as a school-based professional development program to improve instructional thought and decision making as well as to enhance staff perceptions, coUegiality and school culture. This topic emerged from personal and professional issues related to the role ofthe reflective practitioner in improving the quality of education, yet cognizant of the fact that little professional development was available to train teachers to become reflective. This case study, positioned within the interpretive sciences, focused on three teachers and how their experiences with cognitive coaching affected their teaching practices. Their knowledge, understanding and use of the four stages of instructional thought (preactive, interactive, reflective and projective) were tested before and at the end of eight coaching cycles, and again after two months to determine whether they had continued to use the reflective process. They were also assessed on whether their attitude towards peer coaching had changed, whether their feelings about teaching had become more positive and whether their professional dialogue had increased. Three methods of data collection were selected to assess growth: interviews, observations and joumaling. Analysis primarily consisted of coding and organizing data according to emerging themes. Although the professed aim of cognitive coaching was to teach the process in order that the teachers would become self-analytical and self-modifying, this study found that the value of the coaching, after trust had been established in both the coach and the process, was in the dialoguing and the time set aside to do it. Once the coaching stopped providing the time to dialogue, to examine one's meanings and beliefs, so did the critical self-reflection. As a result ofthe cognitive coaching experience though, all participants grew in their feelings of efficacy, craftsmanship, flexibility, consciousness and interdependence. The actual and potential significance ofthis study was discussed according to implications for teacher supervision, professional development, school culture, further areas of research and to my personal growth and development.

Linguagens de programação aderentes ao paradigma adaptativo

An adaptive device is made up of an underlying mechanism, for instance, an automaton, a grammar, etc., to which is added an adaptive mechanism that is responsible for allowing a dynamic modification in the structure of the underlying mechanism. Adaptive languages have the basic feature of allowing the development of programs that self-modify through adaptive actions at runtime. The conception of such languages calls for a new programming style, since the application of adaptive technology suggests a new way of thinking. The adaptive programming style may be a feasible alternate way to obtain selfmodifying consistent codes, which allow its use in modern applications for self-modifying.

Using adaptive automata in a multi-paradigm programming environment

In this paper the architecture of an experimental multiparadigmatic programming environment is sketched, showing how its parts combine together with application modules in order to perform the integration of program modules written in different programming languages and paradigms. Adaptive automata are special self-modifying formal state machines used as a design and implementation tool in the representation of complex systems. Adaptive automata have been proven to have the same formal power as Turing Machines. Therefore, at least in theory, arbitrarily complex systems may be modeled with adaptive automata. The present work briefly introduces such formal tool and presents case studies showing how to use them in two very different situations: the first one, in the name management module of a multi-paradigmatic and multi-language programming environment, and the second one, in an application program implementing an adaptive automaton that accepts a context-sensitive language.

O modelo do Conselho Nacional de Autorregulamentação Publicitária e o direito brasileiro

O presente trabalho procura examinar o funcionamento do Conselho Nacional de Autorregulamentação Publicitária (“CONAR”), visando descobrir como este modelo regulatório se conforma com o Direito brasileiro. Neste sentido, explica-se, inicialmente, a origem do Conselho, como ele se estrutura e como se dão os julgamentos das denúncias que lhe são apresentadas. Em seguida, faz-se uma análise da relação entre a legislação publicitária vigente e as normas do Código Brasileiro de Autorregulamentação Publicitária, donde se conclui que ambas não são excludentes. Parte-se, então, para um estudo da jurisprudência dos tribunais brasileiros acerca da atuação do Conselho, afim de se verificar em que medida é aceita a autorregulação da publicidade pelo Poder Judiciário. Por fim, pretende-se analisar como se dá, na prática, a atuação do CONAR diante de questões polêmicas, como a inflação legislativa no meio publicitário e a censura da publicidade.

Divisible Codes - A Survey

This paper surveys parts of the study of divisibility properties of codes. The survey begins with the motivating background involving polynomials over finite fields. Then it presents recent results on bounds and applications to optimal codes.

New Symmetric (61,16,4) Designs Invariant Under the Dihedral Group of Order 10

∗ This work has been partially supported by the Bulgarian NSF under Contract No. I-506/1995.

Adding Run-Time Monitoring to UML-RT by Modifying the Papyrus-RT Code Generator

In Model-Driven Engineering (MDE), the developer creates a model using a language such as Unified Modeling Language (UML) or UML for Real-Time (UML-RT) and uses tools such as Papyrus or Papyrus-RT that generate code for them based on the model they create. Tracing allows developers to get insights such as which events occur and timing information into their own application as it runs. We try to add monitoring capabilities using Linux Trace Toolkit: next generation (LTTng) to models created in UML-RT using Papyrus-RT. The implementation requires changing the code generator to add tracing statements for the events that the user wants to monitor to the generated code. We also change the makefile to automate the build process and we create an Extensible Markup Language (XML) file that allows developers to view their traces visually using Trace Compass, an Eclipse-based trace viewing tool. Finally, we validate our results using three models we create and trace.

Systemizers are better code-breakers: self-reported systemizing predicts code-breaking performance in expert hackers and naïve participants

Studies on hacking have typically focused on motivational aspects and general personality traits of the individuals who engage in hacking; little systematic research has been conducted on predispositions that may be associated not only with the choice to pursue a hacking career but also with performance in either naïve or expert populations. Here, we test the hypotheses that two traits that are typically enhanced in autism spectrum disorders—attention to detail and systemizing—may be positively related to both the choice of pursuing a career in information security and skilled performance in a prototypical hacking task (i.e., crypto-analysis or code-breaking). A group of naïve participants and of ethical hackers completed the Autism Spectrum Quotient, including an attention to detail scale, and the Systemizing Quotient (Baron-Cohen et al., 2001, 2003). They were also tested with behavioral tasks involving code-breaking and a control task involving security X-ray image interpretation. Hackers reported significantly higher systemizing and attention to detail than non-hackers. We found a positive relation between self-reported systemizing (but not attention to detail) and code-breaking skills in both hackers and non-hackers, whereas attention to detail (but not systemizing) was related with performance in the X-ray screening task in both groups, as previously reported with naïve participants (Rusconi et al., 2015). We discuss the theoretical and translational implications of our findings.

Tradução, adaptação cultural e validação da escala Moorong Self-Efficacy Scale (MSES) para o português no Brasil = : Translation, cultural adaptation and validation of Moorong Self-Efficacy Scale (MSES) into Brazilian Portuguese

Universidade Estadual de Campinas . Faculdade de Educação Física

Escala de autoaceitação para pessoas com cegueira congênita ou precoce : desenvolvimento e investigação psicométrica = Self-acceptance acale for people with congenital or early blindness : development and psychometric analysis

Universidade Estadual de Campinas . Faculdade de Educação Física