Overview

Full Product Details

Author:   Ilya Sergey
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   1st ed. 2022
Volume:   13658
Weight:   0.355kg
ISBN:  

9783031210365

ISBN 10:   3031210360
Pages:   215
Publication Date:   06 November 2022
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Semantics and Analysis.- An Algebraic Theory for Shared-State Concurrency.- Decoupling the Ascending and Descending Phases in Abstract Interpretation.- Inferring Region Types via an Abstract Notion of Environment Transformation.- Testing and Verification.- RHLE: Modular Deductive Verification of Relational Properties.- Automated Temporal Verification for Algebraic Effects.- Model-based Fault Classification for Automotive Software.- Types.- Characterizing functions mappable over GADTs.- Applicative Intersection Types.- A Calculus with Recursive Types, Record Concatenation and Subtyping.- Novice Type Error Diagnosis with Natural Language Models.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions