We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
: Die Bildungsstandards für Informatik sind nicht mit dem Ziel geschaffen worden, dass nach ihnen Informatikunterricht gestaltet werden kann, im Gegenteil, die Standards »müssen...
: Es werden drei Formen des interaktiven visuellen Lernens von Algorithmen behandelt: Betrachten einer Animation, interaktives Üben der Schritte und Experimentieren mit einer Simu...
Let C be a collection of n Jordan regions in the plane in general position, such that each pair of their boundaries intersect in at most s points, where s is a constant. Let U den...
Boris Aronov, Alon Efrat, Dan Halperin, Micha Shar...