• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations

The New C Standard: An Economic and Cultural Commentary. Self-published (2008)

by D M Jones
Add To MetaCart

Tools

Sorted by:
Results 1 - 5 of 5

Cognitive perspectives on the role of naming in computer programs

by Ben Liblit, Andrew Begel, Eve Sweetser - In Proc. of the 18th Annual Psychology of Programming Workshop , 2006
"... Abstract. Programming a computer is a complex, cognitively rich process. This paper examines ways in which human cognition is reflected in the text of computer programs. We concentrate on naming: the assignment of identifying labels to programmatic constructs. Naming is arbitrary, yet programmers do ..."
Abstract - Cited by 27 (2 self) - Add to MetaCart
Abstract. Programming a computer is a complex, cognitively rich process. This paper examines ways in which human cognition is reflected in the text of computer programs. We concentrate on naming: the assignment of identifying labels to programmatic constructs. Naming is arbitrary, yet programmers do not select names arbitrarily. Rather, programmers choose and use names in regular, systematic ways that reflect deep cognitive and linguistic influences. This, in turn, allows names to carry semantic cues that aid in program understanding and support the larger software development process. 1
(Show Context)

Citation Context

...l ways in which this is done, relating standard programming practice to modern theories of human language and cognition. 4 4 For a much more in-depth treatise on identifiers, see “The New C Standard” =-=[14]-=-.sOur scope is narrow. We focus primarily on just four languages: C, C++, C# and Java, justified by the fact that these four languages are currently the dominant tools for large-scale industrial softw...

Formal Definitions and Theory—Semantics General Terms

by Chucky Ellison, Grigore Ros
"... This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99.2 % of 776 test programs. It is the most complete and thoroughly tested formal definition of C to date. The semantics yie ..."
Abstract - Add to MetaCart
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99.2 % of 776 test programs. It is the most complete and thoroughly tested formal definition of C to date. The semantics yields an interpreter, debugger, state space search tool, and model checker “for free”. The semantics is shown capable of automatically finding program errors, both statically and at runtime. It is also used to enumerate nondeterministic behavior.
(Show Context)

Citation Context

...d in this paper is the result of 18 person-months of work. To put this in perspective, one member of the standards committee estimated that it took roughly 62 person-years to produce the C99 standard =-=[16]-=-. We are not claiming that we have done the same job in a fraction of the time; obviously writing a semantics based on the standard is quite different than writing the standard itself. We are simply s...

First published in CVu vol. 21 no.?

by unknown authors
"... When writing software a common requirement is for the execution of some sequence of statements to depend on a variable having a particular value. Programming languages provide various constructs to support this requirement, e.g., the if-statement (which often supports checking against a single value ..."
Abstract - Add to MetaCart
When writing software a common requirement is for the execution of some sequence of statements to depend on a variable having a particular value. Programming languages provide various constructs to support this requirement, e.g., the if-statement (which often supports checking against a single value) and the switchstatement (which supports the checking against a set of values). Measurements show that approximately
(Show Context)

Citation Context

...s able to parse source containing these directives provided the conditional arms contain complete statements, declarations or expressions (measurements have shown this to be the majority of instances =-=[3]-=- ). The version of Coccinelle used (0.1.10) internally handles conditional compilation directives in a way that causes some patterns to ignore selection statements containing such directives. The patt...

First published in CVu vol. 19 no. x

by Derek M. Jones
"... Developer beliefs about binary operator precedence (part 2 of 2) ..."
Abstract - Add to MetaCart
Developer beliefs about binary operator precedence (part 2 of 2)
(Show Context)

Citation Context

...8 512 decimal-constant value 0 2 8 32 128 512 hexadecimal-constant value Figure .1: Occurrences, in the visible form of various applications written in C, of integer constants having specific values. =-=[11]-=- the same order of magnitude, see Figure .1) and other contexts, and have a spoken form containing a single syllable. 5 Threats to validity Experience shows that software developers are continually on...

Forms of language specification Examples from commonly used computer languages

by Derek M. Jones
"... A programming language specification has to define all of the constructs it supports and their possible behaviors. There are a variety of different structural forms that can be used in a specification to enumerate these constructs and express their behaviors. This paper discusses the different struc ..."
Abstract - Add to MetaCart
A programming language specification has to define all of the constructs it supports and their possible behaviors. There are a variety of different structural forms that can be used in a specification to enumerate these constructs and express their behaviors. This paper discusses the different structural forms that have been used to specify some of the programming
(Show Context)

Citation Context

...uages attracting more people to standard’s meetings. Alternatively it might be a measure of the contention, resulting in lots of meetings to resolve issues, that a language generates (it is estimated =-=[7]-=- that 50 man years went into the creation of the first C Standard). From the OWGV’s perspective the most important quality attribute is the ease with which it is possible to extract reliable informati...

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University