A Typed Language for Truthful One-Dimensional Mechanism Design [PDF]
, 2008 We first introduce a very simple typed language for expressing allocation algorithms that allows automatic verification that an algorithm is monotonic and therefore truthful.
Lapets, Andrei +2 more
core +1 more source
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
Formation of an information retrieval system of visual programming scenarios for information modeling software complexes [PDF]
E3S Web of ConferencesThis article discusses the process of creating an application based on a specialized database for working with a variety of scripts – visual programming scenarios. The SQL query Language (Structured Query Language) was used as a key tool for implementing
Rybakova Angelina, Piatkov Daniil
doaj +1 more source
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
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
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
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
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
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
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