Ernst-Rüdiger Olderog

1. Closing the Gap -- Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic -- Extended Version --
   2015/01/12 by Björn Engelmann, Ernst-Rüdiger Olderog, Engelmann, Björn +3 · 1 citation
   Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
2. A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented\n Programs -- Extended Version --
   2015/09/29 by Björn Engelmann, Ernst-Rüdiger Olderog, Engelmann, Björn +1 · 1 citation
   Computer Science · #Logic, programming, and type systems #Software Engineering Research #Model-Driven Software Engineering Techniques