- Main
- Computers - Computer Science
- Practical Foundations For Programming...
Practical Foundations For Programming Languages
Robert HarperQuanto Você gostou deste livro?
Qual é a qualidade do ficheiro descarregado?
Descarregue o livro para avaliar a sua qualidade
De que qualidade são os ficheiros descarregados?
This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fundamental data types such as sums and products, polymorphic and abstract types, dynamic typing, dynamic dispatch, subtyping and refinement types, symbols and dynamic classification, parallelism and cost semantics, and concurrency and distribution. The methods are directly applicable to language implementation, to the development of logics for reasoning about programs, and to the formal verification language properties such as type safety. This thoroughly revised second edition includes exercises at the end of nearly every chapter and a new chapter on type refinements.
Categorias:
Ano:
2016
Edição:
2
Editora:
Cambridge University Press
Idioma:
english
Páginas:
512
ISBN 10:
1107150302
ISBN 13:
9781107150300
Série:
N/A
Arquivo:
PDF, 5.95 MB
As suas tags:
IPFS:
CID , CID Blake2b
english, 2016
O arquivo será enviado para o email durante 1-5 minutos.
O arquivo será enviado a você através do Messenger Telegram. Pode levar de 1 a 5 minutos antes de recebê-lo.
NOTA: Verifique se você ligou a sua conta ao Telegram Bot da Z-Library.
O arquivo será enviado para sua conta do Kindle. Pode levar de 1 a 5 minutos antes de recebê-lo.
Nota: Você precisa verificar cada livro que envia para o Kindle. Verifique sua caixa de e-mail para um e-mail de confirmação do Amazon Kindle Support.
A converter para
Conversão para falhou
Benefícios do estatuto premium
- Envie para leitores eletrónicos
- Limite aumentado de download
- Converter ficheiros
- Mais resultados de pesquisa
- Outros benefícios