A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs - Extended Version -.

Björn Engelmann Ernst-Rüdiger Olderog

Published in: CoRR (2015)

Keyphrases

object oriented programs
specification languages
lambda calculus
integration testing
modal logic
formal specification
impact analysis
data sets
case study
relational databases