%0 Book %1 VanRoyHaridi:2004 %A Van Roy, Peter %A Haridi, Seif %D 2004 %I MIT Press %K computation relational higher-order constraint tree procedural declarative mozart recursive parser grammar programming fucional oop interative ebnf %T Concepts, Techniques, and Models of Computer Programming %U http://www.info.ucl.ac.be/people/PVR/book.html %X This textbook is designed for second-year courses up to graduate courses in computer programming. It covers all major programming concepts, techniques, and paradigms in a unified framework. It is based on the kernel language approach, in which programming languages are defined in terms of their underlying concepts. The textbook defines a wide variety of programming languages and paradigms with a small set of closely-related kernel languages. The kernel languages are easy to understand by practicing programmers and have a simple formal semantics that makes it easy to reason about correctness and complexity at a high level of abstraction. The textbook is designed to be used together with the Mozart Programming System. %@ 0-262-22069-5

@book{VanRoyHaridi:2004, abstract = {This textbook is designed for second-year courses up to graduate courses in computer programming. It covers all major programming concepts, techniques, and paradigms in a unified framework. It is based on the kernel language approach, in which programming languages are defined in terms of their underlying concepts. The textbook defines a wide variety of programming languages and paradigms with a small set of closely-related kernel languages. The kernel languages are easy to understand by practicing programmers and have a simple formal semantics that makes it easy to reason about correctness and complexity at a high level of abstraction. The textbook is designed to be used together with the Mozart Programming System.}, added-at = {2006-11-15T15:13:47.000+0100}, author = {{Van Roy}, Peter and Haridi, Seif}, biburl = {https://www.bibsonomy.org/bibtex/2cc434893717a89bc8a5b609a51d5d17a/fparreiras}, interhash = {6532d816e7167fc17b8d61a45c34540d}, intrahash = {cc434893717a89bc8a5b609a51d5d17a}, isbn = {0-262-22069-5}, keywords = {computation relational higher-order constraint tree procedural declarative mozart recursive parser grammar programming fucional oop interative ebnf}, month = {March}, publisher = {MIT Press}, timestamp = {2006-11-15T15:13:47.000+0100}, title = {Concepts, Techniques, and Models of Computer Programming}, url = {http://www.info.ucl.ac.be/people/PVR/book.html}, year = 2004 }