HASSAN ISMAIL MATHKOUR2022-06-012022-06-015589https://drepo.sdl.edu.sa/handle/20.500.14154/55999en-USAN EXTENDED ABSTRACT DATA TYPE SPECIFICATION MECHANISM .Thesis