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… (More)
Wikipedia

Related topics

Related topics

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Automated Historical Fact-Checking by Passage Retrieval, Word Statistics, and Virtual Question-Answering
This paper presents a hybrid approach to the verification of statements about historical facts. The test data was collected from… (More)
  • figure 1
  • table 1
  • table 2
  • figure 2
  • table 3
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies
Modern compilers are responsible for translating the idealistic operational semantics of the source program into a form that… (More)
  • figure 1
  • figure 4
  • figure 5
  • figure 6
  • figure 8
Is this relevant?
2005
2005
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… (More)
Is this relevant?
2002
2002
Expressing checkable properties of dynamic systems: the Bandera Specification Language
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on… (More)
Is this relevant?
1998
1998
Dense pairs of o-minimal structures
The structure of definable sets and maps in dense elementary pairs of o-minimal expansions of ordered abelian groups is described… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Distributed Slicing and Partial Re-execution for Distributed Programs
Sofia Abstract We present a parallel algorithm to compute dynamic slices for distributed programs. Dynamic slices are used in… (More)
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
1992
1992
Program concept recognition
Program understanding can be greatly assisted by automating the recognition of abstract concepts present in the program code… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
1990
Highly Cited
1990
A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance
A formal, general model of program dependences is presented and used to evaluate several dependence-based software testing… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
Is this relevant?
1988
1988
Generating sequential code from parallel code
We consider the problem of generating sequential code for parallel programs written in a language which contains a FORALL… (More)
Is this relevant?
1982
1982
Citing statements: Computer recognition and use to improve retrieval
Documents in computer-readable form can be used to provide information about other documents, i.e. those they cite. To do this… (More)
Is this relevant?