The tyranny of the vital few : the Pareto principle in language design.
Conference
·
OSTI ID:1022997
- University of Nebraska at Omaha, Omaha, NE
Modern high-level programming languages often contain constructs whose semantics are non-trivial. In practice however, software developers generally restrict the use of such constructs to settings in which their semantics is simple (programmers use language constructs in ways they understand and can reason about). As a result, when developing tools for analyzing and manipulating software, a disproportionate amount of effort ends up being spent developing capabilities needed to analyze constructs in settings that are infrequently used. This paper takes the position that such distinctions between theory and practice are an important measure of the analyzability of a language.
- Research Organization:
- Sandia National Laboratories
- Sponsoring Organization:
- USDOE
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1022997
- Report Number(s):
- SAND2010-5374C
- Country of Publication:
- United States
- Language:
- English
Similar Records
Calculi of lambda-nu-CS conversion: a syntactic theory of control and state in imperative higher-order programming languages
Principles of programming languages: design
Software architecture design domain
Thesis/Dissertation
·
Wed Dec 31 23:00:00 EST 1986
·
OSTI ID:6992925
Principles of programming languages: design
Book
·
Fri Dec 31 23:00:00 EST 1982
·
OSTI ID:5724317
Software architecture design domain
Conference
·
Mon Dec 30 23:00:00 EST 1996
·
OSTI ID:501620