Uday Reddy
  • Member for 9 years, 9 months
  • Last seen more than 2 years ago
2 answers
8 votes
272 views
Where can I find an elementary small-step structural operational semantics for closures?
4 votes

Closures form an important concept that I try to teach in my undergraduate Programming Languages class. You can find my lecture notes online. The Handout 8 shows big step semantics using ...

View answer
4 answers
18 votes
981 views
How are imperative languages more different from each other than functional languages?
4 votes

I think Simon PJ's quote is a bit of an off-hand remark actually. Similarity between languages is determined by what consensus has been generated in the researcher and language designer community. ...

View answer
4 answers
20 votes
3k views
Data Structure isomorphisms
15 votes

Indeed, there is a different notion than isomorphism which is more useful in programming. It is called "behavioural equivalence" (sometimes called "observational equivalence") and it is established ...

View answer
7 answers
36 votes
8k views
Books on programming language semantics
17 votes

I would divide the books on programming language semantics into two classes: those that focus on modelling programming language concepts and those that focus on the foundational aspects of semantics. ...

View answer
7 answers
47 votes
7k views
What constitutes denotational semantics?
12 votes

[One more answer. It is probably uncool to pile up several answers. But, hey, this is a deep issue.] I said that I agreed with Andrej's answer, but it seems that I don't agree entirely. There is a ...

View answer
7 answers
47 votes
7k views
What constitutes denotational semantics?
9 votes

This additional response is to amplify the point that denotational semantic models are designed to "explain" computational phenomena. I will give a series of examples from the semantics of imperative ...

View answer
2 answers
25 votes
1k views
What is the folk model of linear logic?
7 votes

(Gosh, Neel, that was a tough question.) The "folk model" of linear logic is definitely the coherent spaces model, discussed in Girard's Linear Logic paper (and also in "Proofs and Types"). This is ...

View answer
7 answers
47 votes
7k views
What constitutes denotational semantics?
16 votes

I am happy with Adrej's answer, but I would like to drill down further. To start with, denotational semantics wants to say something like "the meaning of this notation is that". A real semanticist ...

View answer
12 answers
50 votes
3k views
What is the theoretical basis of imperative programming?
14 votes

I am coming to this question late, but it is a fascinating question. So, here are my views. When I was an undergrad, we had a great Math professor, who used to give us lectures on history and ...

View answer
6 answers
29 votes
11k views
What is the difference between propositions and judgments?
18 votes

Perhaps I can try giving a less metaphysical answer. There is a language, a logical language, that we are studying. In this language, there are things called "propositions" which are supposed to be ...

View answer
6 answers
13 votes
2k views
What is the point of calling $\lambda$-calculus an algebra?
4 votes

I would be very reluctant to call lambda-calculus an "algebra" for a very simple reason. It is a formal system defined purely using syntax, without any reference to meaning. The equivalences $\beta$ ...

View answer
1
2