Static Analysis of APL in APL - Development Tools and Verification
Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only! Grab it Watch a 22-minute conference talk from Dyalog '24 exploring the development of static analysis tools for APL programming language. Discover how static analysis can enhance code verification and provide confidence about bugs, policy, and security in APL codebases. Learn about the unique challenges of implementing static analysis in an interpreted language like APL, and follow the development of a proof-of-concept tool using the Co-dfns interpreter. Explore the architecture of static analyzers, discuss usability considerations, and understand approaches to handling dynamic code and enforcing constraints in APL codebases. Gain insights into practical questions about APL code verification and the incremental development path for static analysis tools. Access accompanying presentation materials in both Prezi and PDF formats for a deeper understanding of the concepts covered.