Theories of Programming Languages

Theories of Programming Languages
\r\n\r\n

Theories of Programming Languages Description

\r\n\r\n

This manual is a general review, but rigorous theoretical basis for the design, definition and implementation of programming languages, and systems to define and prove the program behavior. It includes functional programming and compelling, and how to integrate these aspects in more general language. Basic concepts and their properties are described with mathematical rigor, but the development of mathematics is balanced by numerous examples of applications, in particular the specification and proof, concurrent programming, functional programming (including the use of a continuation and lazy evaluation), and type of system (including subtyping, polymorphism, and modularization). Assuming only basic knowledge of programming, this ideal text for undergraduate and early graduate courses in theory of programming languages, and will also appeal to researchers and professionals in the design or implementation implementing computer languages. Theories of Programming Languages

\r\n\r\nTheories of Programming Languages Ebook

Leave a comment