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

Related topics

Related topics

50 relations
ALGOL 58ALGOL 60ALGOL WAnemic domain model
(More)

Related mentions per year

Related mentions per year

1936-2018
19401960198020002020
Procedural programming
Data structure
Fortran
Lambda calculus
Declarative programming
Computer programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
The jabberwocky programming environment for structured social computing
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
BoogiePL : A typed procedural language for checking object-oriented programs
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
An Efficient SQL-based RDF Querying Scheme
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
Declarative & Procedural Goals in Intelligent Agent Systems
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
Procedural modeling of cities
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
A Type-Based Approach to Program Security
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
Memoing for Logic Programs
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 Theoretical Basis for Stepwise Refinement and the Programming Calculus
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
Pict: An Interactive Graphical Programming Environment
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
An experiment in non-procedural programming
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?