| QUOTE |
This textbook brings the computer science student a comprehensive and up-to-date presentation of all major programming concepts, techniques, and paradigms in a unified framework. The textbook is designed for second-year to graduate courses in computer programming. It is also designed for practitioners and researchers: it gives insightful discussions on many topics, reconciles opposing viewpoints, and emphasizes concepts of lasting value. It has the following notable features:
Concurrent programming: The broadest presentation of practical concurrent programming available anywhere. One third of the book is devoted to concurrent programming. All important paradigms are presented, including the three most useful ones: declarative (dataflow) concurrency, message-passing concurrency, and shared-state concurrency.
Data abstraction: The broadest presentation available anywhere of the different ways to do data abstraction. Pure object-oriented languages use only one way, but we show that there are at least four different ways. Each has its own trade-offs and real-world metaphors. For example, we explain the trade-offs between objects and abstract data types, and how to use polymorphism with both.
Programming paradigms: The most complete integration of programming paradigms available anywhere. We show that multiparadigm programming is natural and that the conventional boundaries between paradigms are artificial and limiting. We show programming as a unified discipline. We single out the four languages Erlang, Haskell, Java, and Prolog as representative members of important paradigms and situate them within our uniform framework.
Practicality: A comprehensive presentation of practical programming techniques, illustrated with more than 1000 programs and program fragments. All can be run on the accompanying open source development platform, the Mozart Programming System.
Formal semantics: A complete and simple formal semantics designed for practicing programmers. It makes it possible to understand programs, to predict behavior, and to calculate execution time and memory usage. The formal semantics is at the service of programming. It is as simple as possible without sacrificing rigor or coverage. |
ვისაც გაინტერესებთ პმ.
ისე, ერთი მიპინული თემა არ უნდა იყოს რეკომენდაციებით? (უკვე არსებული თემის პარალელურად, სადაც მილიარდჯერ ერთსა და იგივე შეკითხვებს სვამენ).
----
თემის სათაური არასრულია! უნდა იყოს:
Concepts, Techniques, and Models of Computer Programming
----
პრინციპში პმ-ის გარეშეც შეიძლება, მივაგენი ლინკსაც:
http://avaxhome.ws/ebooks/programming_deve...hungoc_139.html This post has been edited by udzinari on 26 Nov 2010, 06:17 
Concepts, Techniques of Computer Programming, Peter Van Roy, Seif Haridi
