Languages that limit what the programmer can do, enforcing safety or correctness guarantees through restrictions. For example, Java restricts direct memory access compared to C. See Also language Bindings closed