Practical Foundations for Programming Languages

Robert (Carnegie Mellon University Harper

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics

Beschikbaarheid is niet bekend

€ 80,85

Levertijd op aanvraag

naar verlanglijst

Beschrijving Practical Foundations for Programming Languages

This book defines and analyzes a full range of programming language concepts in a single unifying framework that isolates core abstractions and avoids irrelevant details of specific languages. It stresses the central role of types and teaches the use of rigorous mathematical techniques for proving properties of languages and programs.

ISBN: 9781107150300
Pagina's: 512
Verschenen: 04-04-2016
Rubriek: Programmeertalen

Druk: 1
Uitvoering: Hardback
Taal: Engels
Uitgever: Cambridge University Press

Good Coding Practice for Science

This primer introduces the elements that distinguish well-written computer code, covering style, clarity, technique, and robustness, to support readers in improving their coding skills. It explains why some approaches are better than others, and shows how good code prevents scientific errors and increases the reproducibility of research.

Practical Security for Agile and DevOps

This text offers college students in Information Security Programs an accessible and practical guide on securing software development practices, regardless of which development methodology is used.

Getting the Most out of Node.js Frameworks

Gain the knowledge you need to navigate your way confidently through the ever-expanding landscape of modern JavaScript technologies.