Jinja is not Java

MaRDI QIDQ7361808FDO

Authors Gerwin Klein, Tobias Nipkow

Publication date 1 June 2005

Cited in

(4)

• Backing up Slicing: Verifying the Interprocedural Two-Phase Horwitz-Reps-Binkley Slicer
• JinjaDCI: a Java semantics with dynamic class initialization
• A data flow analysis algorithm for computing dominators
• Towards Certified Slicing

This page was built for software: Jinja is not Java