Programming Languages and Systems
portes grátis
Programming Languages and Systems
33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Weirich, Stephanie
Springer International Publishing AG
04/2024
452
Mole
9783031572661
15 a 20 dias
Descrição não disponível.
Quantum Programming / Domain-Specific Languages.- Circuit Width Estimation via Effect Typing and Linear Dependency.- On the Hardness of Analyzing Quantum Programs Quantitatively.- Reconciling Partial and Local Invertibility.- Efficient Matching with Memorization for Regexes with Look-around and Atomic Grouping.- Verification.- A Denotational Approach to Release/Acquire Concurrency.- Intel PMDK Transactions: Specification, Validation and Concurrency.- Artifact report: Intel PMDK Transactions: Specification, Validation and Concurrency.- Verifying Persistent Libraries.- Hyperproperty Verification as CHC Satisfiability.- Program Analysis.- Maximal Quantified Precondition Synthesis for Linear Array Loops.- Verified Inlining and Specialisation for PureCake.- Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages.- Higher-Order LCTRSs andTheir Termination.- Abstract Interpretation A Modular Soundness Theory for the Blackboard Analysis Architecture.- Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation.- Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law .
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
effects;functional programming;semantics;program synthesis;session types;Open Access;dependent types;quantum programming;verification;program analysis;abstract interpretation
Quantum Programming / Domain-Specific Languages.- Circuit Width Estimation via Effect Typing and Linear Dependency.- On the Hardness of Analyzing Quantum Programs Quantitatively.- Reconciling Partial and Local Invertibility.- Efficient Matching with Memorization for Regexes with Look-around and Atomic Grouping.- Verification.- A Denotational Approach to Release/Acquire Concurrency.- Intel PMDK Transactions: Specification, Validation and Concurrency.- Artifact report: Intel PMDK Transactions: Specification, Validation and Concurrency.- Verifying Persistent Libraries.- Hyperproperty Verification as CHC Satisfiability.- Program Analysis.- Maximal Quantified Precondition Synthesis for Linear Array Loops.- Verified Inlining and Specialisation for PureCake.- Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages.- Higher-Order LCTRSs andTheir Termination.- Abstract Interpretation A Modular Soundness Theory for the Blackboard Analysis Architecture.- Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation.- Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law .
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
