Procedural programming

Known as: Procedural code, Procedural programming languages, Procedure orientation 
Procedural programming is a programming paradigm, derived from structured programming, based upon the concept of the procedure call. Procedures, also… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1962-2017
05010015019622017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
We present Jabberwocky, a social computing stack that consists of three components: a human and machine resource management… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This note defines BoogiePL, an intermediate language for program analysis and program verification. The language is a simple… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Devising a scheme for efficient and scalable querying of Resource Description Framework (RDF) data has been an active area of… (More)
  • figure 1
  • figure 2
  • table 2
  • figure 3
  • table 3
Is this relevant?
Highly Cited
2002
Highly Cited
2002
An important concept for intelligent agent systems isgoals. Goals have two aspects: declarative (a description of the state… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Modeling a city poses a number of problems to computer graphics. Every urban area has a transportation network that follows… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Interpretation Next we turn to another general area of recent active research in logic programming: abstract interpretation. In… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 6
  • figure 12
Is this relevant?
Highly Cited
1987
Highly Cited
1987
A uniform treatment of specifications, programs, and programming is presented. The treatment is based on adding a specification… (More)
Is this relevant?
Highly Cited
1984
Highly Cited
1984
Mday finding that they are able to successfully use computers, especially personal and home computers, thanks to an abundance of… (More)
Is this relevant?
1963
1963
Computer processes have traditionally been specified by means of procedural languages. That is, a computer program is generally… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?