The 1990s were a boom time for new programming languages. The rise of the internet and the increasing complexity of software ...

Reachability analysis aims at identifying states reachable by a system within a given time horizon. This task is known to be computationally expensive for linear hybrid systems. Reachability analysis ...

generative-art computer-science-education block-based-programming Updated on Apr 9, 2021 JavaScript ...

In this paper we present four block-based programming language designs that enable end-users to program two-armed robots. We analyze the benefits and trade-offs of each design on expressiveness and ...