All Questions
Tagged with ho.history-overview pl.programming-languages
3 questions
4
votes
1
answer
203
views
Is Barbara Liskov's claim that CLU was the first implemented language to provide linguistic support for data abstraction accurate?
According to this paper by Barbara Liskov, CLU was "The first implemented programming language to provide direct linguistic support for data abstraction".
She then defines "data ...
- 603
8
votes
4
answers
271
views
Early References for Transition System Semantics of Programs
I am trying to trace back the origins of transition system semantics for imperative programs. I am assuming a transition system is a tuple $(\mathit{States}, \mathit{Trans})$ consisting of a set of ...
- 12.6k
5
votes
1
answer
1k
views
Why have computer scientists chosen recursor instead of iterator in primitive recursion?
I wonder why computer scientist have chosen recursor instead of iterator (or tail recursor if you like) in primitive recursion, given that function defined in terms of iteration behaves more ...
- 2,845