3 ms·
Sure. You can prove termination, bounded runtime space, and bounded runtime performance. FORTRAN being the most prominent example
by rurban 4y ago
Sure. You can prove termination, bounded runtime space, and bounded runtime performance.
FORTRAN being the most prominent example