Programming Languages and Systems
portes grátis
Programming Languages and Systems
20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings
Sergey, Ilya
Springer International Publishing AG
11/2022
215
Mole
Inglês
9783031210365
15 a 20 dias
355
Descrição não disponível.
?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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computer programming;computer systems;databases;distributed computer systems;distributed systems;formal logic;linguistics;object-oriented programming;parallel processing systems;program compilers;semantics;software design;software engineering;software quality;type systems;verification;verification and validation
?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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computer programming;computer systems;databases;distributed computer systems;distributed systems;formal logic;linguistics;object-oriented programming;parallel processing systems;program compilers;semantics;software design;software engineering;software quality;type systems;verification;verification and validation
