|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Ilya SergeyPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2022 Volume: 13658 Weight: 0.355kg ISBN: 9783031210365ISBN 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 ContentsSemantics 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |