Opening book details…
Can I read Logic and Programming Languages on EtoBox?
Logic and Programming Languages by Dana S. Scott is a Computer Science article available to read on EtoBox.
What is Logic and Programming Languages about?
Logic has been long interested in whether answers to certain questions are computable in principle, since the outcome puts bounds on the possibilities of formalization. More recently, precise comparisons in the efficiency of decision methods have become available through the developments in complexity theory. These, however, are applications to logic, and a big question is whether methods of logic have significance in the other direction for the more applied parts of computability theory. Programming languages offer an obvious opportunity as their syntactic formalization is well advanced; however, the semantical theory can hardly be said to be complete. Though we have many examples, we have still to give wide-ranging mathematical answers to these queries: What is a machine? What is a computable process? How (or how well) does a machine simulate a process? Programs naturally enter in giving descriptions of processes. The definition of the precise meaning of a program then requires us to explain what are the objects of computation (in a way, the statics of the problem) and how they are to be transformed (the dynamics). So far the theories of automata and of nets, though most interest
Who reads Logic and Programming Languages?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Dana S. Scott
- Publisher
- ACM
- Published
- 1977
- Language
- EN
- Field
- Computer Science (Physical Sciences)