Olderog, Ernst-Rüdiger
- Closing the Gap -- Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic -- Extended Version --
2015/01/12 by Björn Engelmann, Engelmann, Björn, Ernst-Rüdiger Olderog +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 #cs.LO #cs.PL #cs.SE
- A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented 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 #Model-Driven Software Engineering Techniques #Software Engineering Research #cs.LO #cs.PL