Acute: high-level programming language design for distributed computation
, 2005 Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of many distinct programs, sharing some (but not necessarily all) of their ...
Allen-Williams, Mair +6 more
core
Programming your way out of the past: ISIS and the META Project [PDF]
The ISIS distributed programming system and the META Project are described. The ISIS programming toolkit is an aid to low-level programming that makes it easy to build fault-tolerant distributed applications that exploit replication and concurrent ...
Birman, Kenneth P., Marzullo, Keith
core +1 more source
RTMPL: A structured programming and documentation utility for real-time multiprocessor simulations [PDF]
The NASA Lewis Research Center is developing and evaluating experimental hardware and software systems to help meet future needs for real time simulations of air-breathing propulsion systems.
Arpasi, D. J.
core +1 more source
Automated Engineering Design (AED); An approach to automated documentation [PDF]
, 1970 The automated engineering design (AED) is reviewed, consisting of a high level systems programming language, a series of modular precoded subroutines, and a set of powerful software machine tools that effectively automate the production and design of new
Mcclure, C. W.
core +1 more source
Reading skills can predict the programming performance of novices: an eye-tracking study
Perspectives in Education, 2019 Due to the character of programming languages, reading ability may have more impact on learning to program than on learning in other subjects. This paper describes an exploratory study of the relationship between reading skills, as perceived through eye
doaj +3 more sources
Meta-generation of syntax-oriented editors [PDF]
Computer Science Journal of Moldova, 1995 A method for automatic generation of syntax-oriented editors (SOE) for high level programming languages is presented. It is based on a special template definition metalanguage. The SOE functional environment including the operations with source files and
N. Shvets, K. Chebotar
doaj
Reducing the Number of Annotations in a Verification-oriented Imperative Language [PDF]
, 2009 Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amount of research effort has been put into applying these techniques on top of ...
de Caso, Guido +2 more
core +1 more source
PROGRAMMING IN NATURAL LANGUAGE: PUBLICATIONS REVIEW
Informatika, 2016 Paper addresses a number of scientific papers devoted to the issues of programming languages close to natural languages. Description of classical approaches to the design of natural programming languages and new approaches that have made the development ...
E. G. Luttsev
doaj
Introducing a Dataflow visual programming language for understanding program execution [PDF]
Politehnika, 2018 Regardless of the programming experience, the understanding of the program execution is mandatory if a programmer is to write a code. Therefore, it is vitally important for novice programmers to construct correct mental models of the execution of the ...
Marin Aglić Čuvić
doaj +2 more sources
Using the High Productivity Language Chapel to Target GPGPU Architectures [PDF]
, 2011 It has been widely shown that GPGPU architectures offer large performance gains compared to their traditional CPU counterparts for many applications. The downside to these architectures is that the current programming models present numerous challenges ...
Chamberlain, Bradford L. +3 more
core