Tutorial on generalized programming languages and systems