IMP++

swMATH1439MaRDI QIDQ14178FDOQ14178

Author name not available (Why is that?)

Described by source

• An extensible encoding of object-oriented data models in HOL. With an application to IMP++

Cited In (3)

• HOL-Boogie -- an interactive prover-backend for the verifying C compiler
• Semantics, calculi, and analysis for object-oriented specifications
• On theorem prover-based testing

This page was built for software: IMP++