强制程序遵守系统约束

• Forcing programs to follow system constraints