Programming Language Design

The specification of all aspects of a programming language requires adequate formal models and tool support. Montages specifications combine graphical and textual elements to yield language descriptions similar in structure, length, and complexity to those in common language manuals, but with a formal semantics. A broad range of people involved in programming language design and use may find it convenient to use Montages in combination with the tool GEM-MEX. It allows the automatic generation of high-quality documents, type-checkers, interpreters and symbolic debuggers.

Este trabalho apresenta os objetivos de um projeto para o ensino de programação no ensino médio que visa instruir os estudantes sobre o que representa a Computação e desenvolver habilidades através do pensamento
algorítmico através de uma abordagem de ensino orientado ao design. O artigo também relata uma olimpíada de programação que serviu para motivar os participantes do curso e para revelar os conhecimentos adquiridos.

One of the most important current software issues is re- liability, and accordingly, a major criterion of program- ming language design must be that the language contribute to the production of reliable programs. Although there are other important aspects of software reliability (eg, ...

... A. Polo*,M. Nieto". * Computer Science Department. Extremadura University. Spain.E-mail: qua@@ fi.upm.es. 4 Architecture and Technology of Information Systems Department. Technical University of Madrid.Spain. E-mail:mnieto@fi.upm.es. Abstract ALBA, A parallel ...

Generic programming is an effective methodology for developing reusable software libraries. Many programming languages provide generics and have features for describing interfaces, but none completely support the idioms used in generic programming. To address this need we developed the language G. The central feature of G is the concept, a mechanism for organizing constraints on generics that is inspired by

This report documents the development of a system that generates webpages without requiring knowledge of existing web languages. Part of the system involves the creation and (successful) implementation of a more intuitive language than the current blend of HTML, CSS and JavaScript, along with a compiler and an interface for users to develop their own webpage. The main purpose is to make web development simpler for users by reducing the time taken to learn the syntax and subsequently write it. Other solutions implement a drag and drop interface which constrains the author’s individual creativity. My research’s main aim of simplicity will be tested through a tutorial and a questionnaire.

Software engineering research and programming language design have enjoyed a symbiotic relationship, with traceable impacts since the 1970s, when these areas were first distinguished from one another. This report documents this relationship by focusing on several major features of current programming languages: data and procedural abstraction, types, concurrency, exceptions, and visual programming mechanisms. The influences are determined by tracing references in publications in both fields, obtaining oral histories from language designers delineating influences on them, and tracking cotemporal research trends and ideas as demonstrated by workshop topics, special issue publications, and invited talks in the two fields. In some cases there is conclusive data supporting influence. In other cases, there are circumstantial arguments (i.e., cotemporal ideas) that indicate influence. Using this approach, this study provides evidence of the impact of software engineering research on modern...

One of the most important current software issues is re- liability, and accordingly, a major criterion of program- ming language design must be that the language contribute to the production of reliable programs. Although there are other important aspects of software reliability (eg, ...

Presentamos a continuación tres variantes de arreglos que podrían incluirse en un lenguaje de programación imperativo. Las variantes son: 1. arreglos no inicializados 2. arreglos inicializados en un solo valor escalar (* pendiente *) 3. arreglos inicializados en un valor-arreglo (* pendiente *) En todos los casos los arreglos se subindizan con valores entre los naturales, a partir de 1. Es posible también hacer definiciones que incluyan declaración de cotas inferior y superior, típos índice distintos de los naturales, etc.

Software engineering research and programming language design have enjoyed a symbiotic relationship, with traceable impacts since the 1970s, when these areas were first distinguished from one another. This report documents this relationship by focusing on several major features of current programming languages: data and procedural abstraction, types, concurrency, exceptions, and visual programming mechanisms. The influences are determined by tracing references in publications in both fields, obtaining oral histories from language designers delineating influences on them, and tracking cotemporal research trends and ideas as demonstrated by workshop topics, special issue publications, and invited talks in the two fields. In some cases there is conclusive data supporting influence. In other cases, there are circumstantial arguments (i.e., cotemporal ideas) that indicate influence. Using this approach, this study provides evidence of the impact of software engineering research on modern...

John Backus identified value-level (object-level) programming languages as programming languages that combine various values to form other values until the final result values are obtained. Virtuallyall our classic programming languages today including C, C++, and Java belong into this category. Here we identify pattern-level (term-level) programming languages that combine various patterns to form other patterns until the final result patterns are obtained. New patterns are constructed
from existing ones by the application of pattern-to-pattern functions exploiting pattern matching and constructors. First-order logic programming languages such as Prolog, OBJ, and Maude belong into
this category. Our insight that pattern-level and value-level programming gives rise to a patternvalue duality is used as the foundation of the design of a new programming language called Asteroid.
Hallmarks of this new programming language design are the developer’s ability to explicitly control the interpretation or model of expression terms and the notion of ‘patterns as first class citizens’. In addition to a complete implementation of pattern-level programming Asteroid also supports an object-oriented style of programming based on prototypes and also subject to pattern matching.

Aspect-oriented programming (AOP) is a promising technique helping programmers to easier reason about, develop and maintain programs. AOP improves reusability since components with a clearly defined functionality, which is not tangled with different aspects, are much easier to reuse. In order to explore different AOP concepts a general-purpose aspect-oriented language AspectCOOL has been designed and implemented. Among the different concepts, which we explored, the most important is the separate compilation of aspect and component code. Using this concept aspects can be applied on already compiled components, which improves their reusability.

Understanding human health behavior is fundamentally important to modern epidemiology. Increasingly, data on human health behaviors is acquired from telemetry systems initiated either by the user as part of the quantified self movement or by health researchers and public health agencies seeking to understand the behavioral determinants of health. Such measurement tools have traditionally been deployed on a hard-wired, case-by-case basis, but are beginning to provide broader configuration options to enhance reusability. In this paper we provide an analysis of the language requirements for configuring such a system and present Seddacco, an extensible application language that we have developed to meet those requirements. Seddacco applies metalinguistic abstraction and domain-specific language principles to improve configuration modularity, extensibility, flexibility, conciseness, and accessibility across the breadth of interdisciplinary health teams.

Complex software systems typically involve features like time, concurrency and probability, with probabilistic computations playing an increasing role. However, it is currently challenging to formalize languages incorporating all those features. Recently, the language PTSC has been proposed to integrate probability and timewith shared-variable concurrency (Zhu et al. (2006, 2009)), where the operational semantics has been explored and a set of

Software engineering research and programming language design have enjoyed a symbiotic relationship, with traceable impacts since the 1970s, when these areas were first distinguished from one another. This report documents this relationship by focusing on several major features of current programming languages: data and procedural abstraction, types, concurrency, exceptions, and visual programming mechanisms. The influences are determined by tracing references in publications in both fields, obtaining oral histories from language designers delineating influences on them, and tracking cotemporal research trends and ideas as demonstrated by workshop topics, special issue publications, and invited talks in the two fields. In some cases there is conclusive data supporting influence. In other cases, there are circumstantial arguments (i.e., cotemporal ideas) that indicate influence. Using this approach, this study provides evidence of the impact of software engineering research on modern...

... A data type that is not a basic data type is called a constructed datu type. CDL provides a set of predefined constructors to construct composite data types. ... This is accomplished through theconstruct DE-LAY(B). This statement delays the execution until B be-comes true. ...