Login / Signup

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

Björn EngelmannErnst-Rüdiger Olderog
Published in: Theory and Practice of Formal Methods (2016)
Keyphrases
  • object oriented programs
  • specification languages
  • integration testing
  • lambda calculus
  • object oriented
  • impact analysis
  • database
  • case study
  • source code