scholarly journals Towards Assessing the Readability of Programming Error Messages

2021 ◽  
Author(s):  
Brett A. Becker ◽  
Paul Denny ◽  
James Prather ◽  
Raymond Pettit ◽  
Robert Nix ◽  
...  
Keyword(s):  
Programming Error

scholarly journals A unified treatment of syntax with binders

2012 ◽  
Vol 22 (4-5) ◽  
pp. 614-704 ◽  
Author(s):  
NICOLAS POUILLARD ◽  
FRANÇOIS POTTIER
Keyword(s):  
Natural Number ◽  
Data Structures ◽  
Transformation Function ◽  
Natural Numbers ◽  
Programming Error ◽  
Free Variables ◽  
De Bruijn ◽  
Abstract Interface ◽  
Representation Techniques ◽  
De Bruijn Indices

AbstractAtoms and de Bruijn indices are two well-known representation techniques for data structures that involve names and binders. However, using either technique, it is all too easy to make a programming error that causes one name to be used where another was intended. We propose an abstract interface to names and binders that rules out many of these errors. This interface is implemented as a library in Agda. It allows defining and manipulating term representations in nominal style and in de Bruijn style. The programmer is not forced to choose between these styles: on the contrary, the library allows using both styles in the same program, if desired. Whereas indexing the types of names and terms with a natural number is a well-known technique to better control the use of de Bruijn indices, we index types with worlds. Worlds are at the same time more precise and more abstract than natural numbers. Via logical relations and parametricity, we are able to demonstrate in what sense our library is safe, and to obtain theorems for free about world-polymorphic functions. For instance, we prove that a world-polymorphic term transformation function must commute with any renaming of the free variables. The proof is entirely carried out in Agda.

Un cantiere navale per il mediterraneo. tecnologia, organizzazione e identità navalmeccanica a Monfalcone

2012 ◽  
pp. 63-75
Author(s):  
Keyword(s):  
Second World War ◽  
Structural Elements ◽  
World War ◽  
New Production ◽  
Economic Space ◽  
The Public ◽  
Programming Error ◽  
The Sixties ◽  
Local Traditions ◽  
Second World

The Monfalcone shipyard was one of the last plants built inside the Italian economic space, and one of the largest. The objective of building in Monfalcone a shipyard for the Mediterranean, able to satisfy the larger part of Italian shipbuilding needs, was also confirmed after the First and the Second World War, with some difficulties during the Thirties in overcoming the global crisis. During the Fifties, the Monfalcone shipyard became a sort of laboratory-plant, with the aim of bettering the entire national shipbuilding. Its size became at the same time a handicap (the public ownership could not accept the massive dismissal of workforce) and an opportunity, because it led to a long lasting quest for technological innovation, competitiveness and new products and practices. In the Sixties, the attempt to realize a hybridization between local traditions and new production logics coming from Japan was not a complete success, due to some misunderstandings that led mainly to acquire the most superficial aspects of the Japanese model, giving less importance to the structural elements. This was a programming error that created a significant pressure over the workforce, with effects that proved to be negative until the Eighties.

Runaway Pacemaker Due to Software-Based Programming Error

2004 ◽  
Vol 27 (12) ◽  
pp. 1689-1690 ◽  
Author(s):  
JEROEN V. LEVERT ◽  
JAN C.A. HOORNTJE
Keyword(s):  
Programming Error
Sign in / Sign up

Export Citation Format

Share Document