| Subject | Datestamp | Replies | Score | |||
|---|---|---|---|---|---|---|
| design by contract: D Programming Language | ||||||
| attached to High Integrity Software | ||||||
"We are on the verge: Today our program proved Fermat's next-to-last theorem." -- Epigrams in Programming, ACM SIGPLAN Sept. 1982
| Subject | Datestamp | Replies | Score | |||
|---|---|---|---|---|---|---|
| design by contract: D Programming Language | ||||||
| attached to High Integrity Software | ||||||
"We are on the verge: Today our program proved Fermat's next-to-last theorem." -- Epigrams in Programming, ACM SIGPLAN Sept. 1982