Título: Concepts and Semantics of Programming Languages 1 - A Semantical Approach With Ocaml and Python
Autor: Thereseique Hardin
Sinopse: This book - the first of two volumes - explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of Programming Languages 1 is dedicated to functional and imperative features. Included is the formal study of the semantics of typing and execution; their acquisition is facilitated by implementation into OCaml and Python, as well as by worked examples. Data representation is considered in detail: endianness, pointers, memory management, union types and pattern-matching, etc., with examples in OCaml, C and C++. The second volume introduces a specific model for studying modular and object features and uses this model to present Ada and OCaml modules, and subsequently Java, C++, OCaml and Python classes and objects. This book is intended not only for computer science students and teachers but also seasoned programmers, who will find a guide to reading reference manuals and the foundations of program verification. Acabamento: Hardcover. Peso: 630g. Dimensões: 23.39 x 15.6 x 1.91.
Contexto da obra
Dentro do catálogo, este livro pode ser situado a partir do tema, da autoria e da proposta editorial. “Concepts and Semantics of Programming Languages 1 – A Semantical Approach With Ocaml and Python”, de Thereseique Hardin, publicado pela editora Wiley, em 2021 e com 336 páginas, integra a categoria Linguagem de Programação. Esse enquadramento pode tornar mais clara a proposta do livro e o tipo de interesse que ele costuma despertar.
Editora: Wiley
Páginas: 336
Ano: 2021
Edição: 1ª EDIÇÃO
Linguagem: Inglês
ISBN:
ISBN13: 9781786305305
Sobre a editora
Os livros da editora Wiley oferecem uma leitura que combina rigor técnico e aplicabilidade prática, frequentemente focada em temas como negócios, finanças, tecnologia e ciências exatas. A experiência de leitura varia entre obras didáticas, com instruções passo a passo e exemplos ilustrados, e análises aprofundadas que exploram desde estratégias empresariais até fundamentos científicos. O tom é predominantemente informativo e direto, com ritmo que privilegia o aprendizado estruturado, ainda que haja espaço para narrativas que trazem histórias reais e casos de estudo. O catálogo revela uma preferência por textos que dialogam com profissionais, estudantes e leitores interessados em aprimorar habilidades específicas, seja em vendas, programação, contabilidade ou desenvolvimento pessoal.
