12 citations · 31 across the 14 of their papers we have counts for
Showing 2015 · cs.PLShow all
2 papers · 2 filters
cs.PL2015★ 1 cited
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs -- Extended Version --
Björn Engelmann, Ernst-Rüdiger Olderog
A simple dynamically-typed, (purely) object-oriented language is defined. A structural operational semantics as well as a Hoare-style program logic for reasoning about programs in…
cs.PL2015★ 2 cited
Closing the Gap -- Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic -- Extended Version --
Björn Engelmann, Ernst-Rüdiger Olderog, Nils Erik Flick
Dynamically typed object-oriented languages enable programmers to write elegant, reusable and extensible programs. However, with the current methodology for program verification, t…