무한 루프를 이스케이프

URL을 흥미로운 소식 :http://rss.slashdot.org/~r/Slashdot/slashdot/~3/MaRg7hFKwR8/Escaping-Infinite-Loops:
twocentplain는 충격에 대해 MIT의 보도 자료, 무한 루프에 갇혀 녹여주는 소프트웨어 설계 연구 프로젝트 (무한 루프의 일부에 대한)으로 씁니다. 그것은 정적 계측 (LLVM을 사용) 및 루프 반복하는 동안 프로그램의 상태를 검사 런타임 감시의 조합을 사용하여, 중복 상태가 감지되었을 때 그것은 루프를 탈출 한 몇 조치를 취할 수있는 사용자를 허용합니다. 저자는 충분히 프로그램이 종종 제대로 작동을 계속할 수있는 작품 주장한다. 원래 종이 상세한 사례 연구를 포함하고 있습니다.

이 이야기의 자세한 내용을 Slashdot에에 있습니다.