Imperative programming

Known as: Imperative language, Imperative paradigm, Imperative 
The term is often used in contrast to declarative programming, which focuses on what the program should accomplish without specifying how the program… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Malicious URL, a.k.a. malicious website, is a common and serious threat to cybersecurity. Malicious URLs host unsolicited content… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • table II
Is this relevant?
Highly Cited
2009
Highly Cited
2009
We present a new approach for constructing and verifying higher-order, imperative programs using the Coq proof assistant. We… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
The purpose of this thesis is to create a verification environment for sequential imperative programs. First a general language… (More)
  • figure 2.1
  • figure 2.2
  • figure 3.1
  • figure 3.2
  • figure 3.3
Is this relevant?
Highly Cited
2002
Highly Cited
2002
A type system with linearity is useful for checking software protocols andresource management at compile time. Linearity provides… (More)
  • figure 2
  • figure 4
Is this relevant?
Highly Cited
1995
Highly Cited
1995
This paper describes a simple extension of the Hindley-Milner polymorphic type discipline to call-by-value languages that… (More)
  • table 1
Is this relevant?
Highly Cited
1993
Highly Cited
1993
We present a new model, based on monads, for performing input/output in a non-strict, purely functional language. It is… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
We present the ESTEREL programming language which is especially designed to program reactive systems, that is systems which… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
The purpose of this dissertation is to provide constructive proof that the logic programming language Prolog can be implemented… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
We present a class of programming languages that enables the advantages of functional and imperative computation to be combined… (More)
  • figure 2-1
  • figure 2-2
  • figure 2-4
  • figure 6-1
  • figure 6-2
Is this relevant?