Symbolic Typestate Inference for Guard Reduction: A Bytecode Optimization Pass for Faster Java FFM

Research Square 2026 Preprint Open access

Read full text

Authors: Arnab Karmakar

DOI: 10.21203/rs.3.rs-8874494/v1

Cited by: 0

Fields of Study & Subjects

Logic programming and type systems Parallel Computing and Optimization Techniques Security and Verification in Computing