Hoog niveau taalabstracties voor veilige gedistribueerde uitvoering en hoe deze veilig te compileren.