[IEEE 2015 4th Eastern European Regional Conference on the Engineering of Computer Based Systems (ECBS-EERC) - Brno, Czech Republic (2015.8.27-2015.8.28)] 2015 4th Eastern European Regional Conference on the Engineering of Computer Based Systems - EFL: Implementing and Testing an Embedded Language Which Provides Safe and Efficient Parallel ExecutionDayan, David; Goldstein, Moshe; Mizrahi, Shimon; Rabin, Max; Berlovitz, Devora; Berlovitz, Or; Levy, Elad Bussani; Naaman, Moshe; Nagar, Mor; Soudry, Ditsa; Yehezkael, Raphael B.; Popovic, Miroslav · 2015