2 citations · 5 across the 3 of their papers we have counts for
3 papers
Text Simplification of Scientific Texts for Non-Expert Readers
Björn Engelmann, Fabian Haak, Christin Katharina Kreutz +2
Reading levels are highly individual and can depend on a text's language, a person's cognitive abilities, or knowledge on a topic. Text simplification is the task of rephrasing a t…
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…
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…