• Corpus ID: 18464298

Gradual Programming : Bridging the Semantic Gap ( Position Paper )

  title={Gradual Programming : Bridging the Semantic Gap ( Position Paper )},
  author={Movem Mri},
There is no perfect programming language. Programmers must write code conforming to the idiosyncrasies of a programming language. Thus, there is often a disconnect between the intent of the developer and the meaning of the program. This semantic gap has a negative effect on programmer productivity, software reliability, and execution efficiency. In this position paper, we argue that in order to address this semantic gap, we must drastically rethink how we develop software. 

Figures from this paper


The Java Language Specification
The Java Language Specification, Second Edition is the definitive technical reference for the Java programming language and provides complete, accurate, and detailed coverage of the syntax and semantics of the Java language.
Simple imperative polymorphism
A study of a number of ML programs shows that the inability to type all Hindley-Milner typable expressions seldom impacts realistic programs, so with a module system that separates specifications from implementations, imperative features can be freely used to implement polymorphic specifications.