Static Analysis
portes grátis
Static Analysis
30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
Morales, Jose F.; Hermenegildo, Manuel V.
Springer International Publishing AG
10/2023
566
Mole
Inglês
9783031442445
15 a 20 dias
Descrição não disponível.
Verifying Infinitely Many Programs at Once.- Abstract Interpretation in Industry - Experience and Lessons Learned.- Building Trust and Safety in Artificial Intelligence with Abstract Interpretation.- Modular Optimization-Based Roundo Error Analysis of Floating-Point Programs.- Unconstrained Variable Oracles for Faster Numeric Static Analyses.- Symbolic transformation of expressions in modular arithmetic.- A Formal Framework to Measure the Incompleteness of Abstract Interpretations.- BREWasm: A General Static Binary Rewriting Framework for WebAssembly.- Quantum Constant Propagation.- Error Invariants for Fault Localization via Abstract Interpretation.- Generalized Program Sketching by Abstract Interpretation and Logical Abduction.- Mutual Refinements of Context-Free Language Reachability.- ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses.- How fitting is your abstract domain? .- A Product of Shape and Sequence Abstractions.- Error Localization for Sequential EffectSystems.- Scaling up Roundo Analysis of Functional Data Structure Programs.- Reverse Template Processing using Abstract Interpretation.- Domain Precision in Galois Connection-less Abstract Interpretation.- Lifting On-Demand Analysis to Highe-Order Languages.- Octagons Revisited - Elegant Proofs and Simplified Algorithms.- Polynomial Analysis of Modular Arithmetic.- Boosting Multi-Neuron Convex Relaxation for Neural Network Verification.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
static programm analysis;abstract interpretation;data flow analysis;program verification;program transformation;program synthesis;machine learning and verification;artificial intelligence;computer programming;computer systems;distributed computer systems;embedded systems;formal logic;logic programming;model checking;object-oriented programming;parallel processing systems;program compilers;software architecture;static analysis
Verifying Infinitely Many Programs at Once.- Abstract Interpretation in Industry - Experience and Lessons Learned.- Building Trust and Safety in Artificial Intelligence with Abstract Interpretation.- Modular Optimization-Based Roundo Error Analysis of Floating-Point Programs.- Unconstrained Variable Oracles for Faster Numeric Static Analyses.- Symbolic transformation of expressions in modular arithmetic.- A Formal Framework to Measure the Incompleteness of Abstract Interpretations.- BREWasm: A General Static Binary Rewriting Framework for WebAssembly.- Quantum Constant Propagation.- Error Invariants for Fault Localization via Abstract Interpretation.- Generalized Program Sketching by Abstract Interpretation and Logical Abduction.- Mutual Refinements of Context-Free Language Reachability.- ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses.- How fitting is your abstract domain? .- A Product of Shape and Sequence Abstractions.- Error Localization for Sequential EffectSystems.- Scaling up Roundo Analysis of Functional Data Structure Programs.- Reverse Template Processing using Abstract Interpretation.- Domain Precision in Galois Connection-less Abstract Interpretation.- Lifting On-Demand Analysis to Highe-Order Languages.- Octagons Revisited - Elegant Proofs and Simplified Algorithms.- Polynomial Analysis of Modular Arithmetic.- Boosting Multi-Neuron Convex Relaxation for Neural Network Verification.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
static programm analysis;abstract interpretation;data flow analysis;program verification;program transformation;program synthesis;machine learning and verification;artificial intelligence;computer programming;computer systems;distributed computer systems;embedded systems;formal logic;logic programming;model checking;object-oriented programming;parallel processing systems;program compilers;software architecture;static analysis
