Hacker News new | past | comments | ask | show | jobs | submit login

Sure. You can prove termination, bounded runtime space, and bounded runtime performance.

FORTRAN being the most prominent example




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: