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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
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
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
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
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
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
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 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, 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
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
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?