Author ORCID Identifier

Harvey Siy

Document Type

Article

Publication Date

2011

Publication Title

Journal of Software Engineering and Applications

Volume

4

First Page

146

Last Page

155

Abstract

Modern high-level programming languages often contain constructs whose semantics are non-trivial. In practice how- ever, 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 o f the analyzability of a language.

Comments

Copyright © 2011 SciRes.

doi:10.4236/jsea.2011.43016

Included in

Chemistry Commons

Share

COinS