Questions tagged [imperative-programming]
The imperative-programming tag has no usage guidance.
8
questions
-3
votes
0answers
23 views
Denotational semantics of command sequencing
Winskel, in his book The formal semantics of programming languages, on page 58, writes:
C[c0;c1] = C[c1] o C[c0] a composition of relations, the definition of which explains the order-reversal in c0 ...
3
votes
2answers
236 views
Extending Hindley-Milner to type mutable references
I have been trying to implement a programming language from scratch, and have gotten reasonably far. It reads just like Python, other than the fact that let is used ...
10
votes
3answers
2k views
Type inference for imperative statements other than assignment
In my search for research papers about type systems for imperative languages, I only find solutions for a language with mutable references but without genuine imperative control structures such as ...
2
votes
1answer
184 views
Have imperative programs been defined like this?
Possibly improper definition $\;$ An imperative program is a labeled directed graph, with every vertices labeled by a command and every edge labeled by a predicate.
Denote an edge labeled by ...
17
votes
4answers
943 views
How are imperative languages more different from each other than functional languages?
I'm reading Simon Peyton Jones's The Implementation of Functional Programming Languages and there's one statement that surprised me a little bit (on page 39):
To a much greater extent than is the
...
25
votes
2answers
1k views
What is the folk model of linear logic?
Probably the most common application of linear types in PL is to use them to give languages which control aliasing (i.e., a linear value has a single pointer to it, more or less).
But there's a ...
19
votes
4answers
2k views
How are side effects handled in semantics?
In Anthony Aaby's "Introduction to Programming Languages" section on Semantics, he makes the following observation:
Much of the work in the semantics of
programming languages is motivated by
...
48
votes
12answers
3k views
What is the theoretical basis of imperative programming?
Functional programming has a theoretical basis in lambda calculus and combinatory logic. As someone involved with statistical computing, I find these concepts to be very useful for modeling.
Is ...
