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 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
}