Lazy Functional Languages: Abstract Inte
โ Geoffrey Burn
๐ Library
๐
1991
๐ The MIT Press
๐ English
โฆ LIBER โฆ
๐
Abstract Interpretation of Declrative Languages
โ Scribed by Samson Abramsky, Chris Hankin (ed.)
- Year
- 1987
- Tongue
- English
- Leaves
- 296
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Principles of abstract interpretation
โ Patrick Cousot
๐ Library
๐
2021
๐ MIT Press
๐ English
Abstract Interpretation
โ it-ebooks
๐ Library
๐
2017
๐ iBooker it-ebooks
๐ English
Static Analysis of Software: The Abstrac
๐ Library
๐
2011
๐ Wiley-ISTE
๐ English
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. <p> This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway,
Static Analysis of Software: The Abstrac
โ Jean-Louis Boulanger
๐ Library
๐
2011
๐ Wiley-ISTE
๐ English
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis.<p>This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, ae
Static Analysis of Software: the Abstrac
โ Boulanger, Jean-Louis
๐ Library
๐
2013
๐ John Wiley & Sons, Incorporated
๐ English
Cover -- Title Page -- Copyright Page -- Table of Contents -- Introduction -- Chapter 1. Formal Techniques for Verification and Validation -- 1.1. Introduction -- 1.2. Realization of a software application -- 1.3. Characteristics of a software application -- 1.4. Realization cycle -- 1.4.1. Cycle in