tailieunhanh - Principles of Programming Languages

We’ve known about algorithms for millennia, but we’ve only been writing computer programs for a few decades. A big difference between the Euclidean or Eratosthenes age and ours is that since the middle of the twentieth century, we express the algorithms we conceive using formal languages: programming languages. Computer scientists are not the only ones who use formal languages. Optometrists, for example, prescribe eyeglasses using very technical expressions, such as “OD: () 180◦ OS: () 180◦”, in which the parentheses are essential. Many such formal languages have been created throughout history: musical notation, algebraic notation, etc. In particular, such languages have long been used to control machines, such. | Undergraduate Topics in Computer Science Undergraduate Topics in Computer Science UTiCS delivers high-quality instructional content for undergraduates studying in all areas of computing and information science. From core foundational and theoretical material to final-year topics and applications UTiCS books take a fresh concise and modern approach and are ideal for self-study or for a one- or two-semester course. The texts are all authored by established experts in their fields reviewed by an international advisory board and contain numerous examples and problems. Many include fully worked solutions. Also in this series Iain D. Craig Object-Oriented Programming Languages Interpretation 978-1-84628-773-2 Max Bramer Principles of Data Mining 978-1-84628-765-7 Hanne Riis Nielson and Flemming Nielson Semantics with Applications An Appetizer 978-1-84628-691-9 Michael Kifer and Scott A. Smolka Introduction to Operating System Design and Implementation The OSP 2 Approcah 978-1-84628-842-5 Phil Brooke and Richard Paige Practical Distributed Processing 978-1-84628-840-1 Frank Klawonn Computer Graphics with Java 978-1-84628-847-0 David Salomon A Concise Introduction to Data Compression 978-1-84800-071-1 David Makinson Sets Logic and Maths for Computing 978-1-84628-844-9 Orit Hazzan Agile Software Engineering 978-1-84800-198-5 Pankaj Jalote A Concise Introduction to Software Engineering 978-1-84800-301-9 Alan P. Parkes A Concise Introduction to Languages and Machines 978-1-84800-120-6 Gilles Dowek Principles of Programming Languages 1 .