Login / Signup

Path-sensitive Type Analysis with Backward Analysis for Quality Assurance of Dynamic Typed Language Code.

Ryutaro KodamaYoshitaka ArahoriKatsuhiko Gondow
Published in: CoRR (2023)
Keyphrases
  • user interface
  • training data
  • data analysis
  • machine learning
  • multi agent systems
  • information technology
  • static analysis