𝔖 Scriptorium
✦   LIBER   ✦
📁

Concrete Semantics with Isabelle/HOL

✍ Scribed by Tobias Nipkow, Gerwin Klein

Year
2017
Tongue
English
Leaves
308
Series
lecture notes
Edition
version 10 Jan 2017
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Concrete Semantics: With Isabelle/HOL
📁 Concrete Semantics: With Isabelle/HOL
✍ Tobias Nipkow, Gerwin Klein (auth.) 📂 Library 📅 2014 🏛 Springer International Publishing 🌐 English

<p><p>Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of

Concepts and Semantics of Programming La
📁 Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python
✍ Therese Hardin; Mathieu Jaume; Francois Pessaux; Veronique Viguie Donzeau-Gouge 📂 Library 📅 2021 🏛 John Wiley & Sons 🌐 English

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. <p><i>Concepts and Semantics of Pr

Semântica, semânticas: uma introdução
📁 Semântica, semânticas: uma introdução
✍ Celso Ferrarezi Junior; Renato Basso 📂 Library 📅 2013 🏛 Editora Contexto 🌐 Portuguese

O estudo do significado, tanto em sua dimensão mais ampla quanto em sua dimensão linguística (semântica), é uma busca constante da humanidade. As teorias sobre o estudo do significado linguístico divergem com relação à ênfase em diversos aspectos desse objeto, atuando em várias interfaces distintas,

Semântica, semânticas: uma introdução
📁 Semântica, semânticas: uma introdução
✍ RENATO BASSO; Celso Ferrarezi Junior 📂 Library 📅 2013 🏛 Contexto 🌐 Portuguese

O estudo do significado, tanto em sua dimensão mais ampla quanto em sua dimensão linguística (semântica), é uma busca constante da humanidade. As teorias sobre o estudo do significado linguístico divergem com relação à ênfase em diversos aspectos desse objeto, atuando em várias interfaces distintas,