Skip to search formSkip to main contentSkip to account menu

Statement (computer science)

Known as: Program statement, Statement (computer programming), Statement 
In computer programming, a statement is the smallest standalone element of an imperative programming language that expresses some action to be… 
Wikipedia (opens in a new tab)

Related topics

Related topics

35 relations
Assertion (software development)Assignment (computer science)Block (programming)COBOL

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
A Taxonomy for Categorizing Generalizations: Generalizing Actions and Reflection Generalizations
This article presents a cohesive, empirically grounded categorization system differentiating the types of generalizations… 
Highly Cited
2006
Highly Cited
2006
Automated Systematic Testing of Open Distributed Programs
We present an algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication… 
Highly Cited
2005
Highly Cited
2005
Facilitating the search for compositions of program transformations
Static compiler optimizations can hardly cope with the complex run-time behavior and hardware components interplay of modern… 
Highly Cited
2004
Highly Cited
2004
A Theory of Predicate-Complete Test Coverage and Generation
Consider a program with m statements and n predicates, where the predicates are derived from the conditional statements and… 
Review
1996
Review
1996
Relation-Algebraic Semantics
Highly Cited
1994
Highly Cited
1994
EVOLUTIONARY THEORIES OF MORALITY AND THE MANIPULATIVE USE OF SIGNALS
Several attempts have recently been made to explain moral systems and moral sentiments in light of evolutionary biological theory… 
Highly Cited
1991
Highly Cited
1991
Understanding Students’ Beliefs About Probability
ABSTRACT The concept of probability is not an easy concept for high school and college students to understand. This paper… 
Highly Cited
1991
Highly Cited
1991
The Requirements Apprentice: Automated Assistance for Requirements Acquisition
An automated tool called the Requirements Apprentice (RA) which assists a human analyst in the creation and modification of… 
Highly Cited
1985
Highly Cited
1985
Information-flow and data-flow analysis of while-programs
Until recently, information-flow analysis has been used primarily to verify that information transmission between program… 
Review
1962
Review
1962
Revised report on the algorithmic languageAlgol 60
SummaryThe report gives a complete defining description of the international algorithmic languageAlgol 60. This is a language… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)