most citedClosing the Gap -- Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic -- Extended Version --

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

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…