In general, it has beenproven that AS and CFS both guarantee that no updatingexecution will exhibit a type error [31]. CFS is used byGinseng, a research system developed by Neamtiu et al.
Nói chung, nó đã được chứng minh rằng AS và CFS cả đảm bảo rằng không có cập nhật thực sẽ trưng bày một loại lỗi [31]. CFS được sử dụng bởi nhân sâm, một hệ thống nghiên cứu phát triển bởi Neamtiu et al.