|
As a sideline, we occasionally produce papers on how major programming languages could be made safer. These are discussion drafts.
| Date |
Title |
|
| 2010 |
Improved Concurrency for Python |
An approach to concurrency in Python which allows parallelism on multiprocessors without global locking. |
| 2008 |
Strict pointers for C |
An attempt to make C pointers safe while retaining backwards compatibiilty. Achieving both goals is almost, but not quite, possible. |
| 2001 |
Strict pointers for C++ |
Of historical interest only. The C++ language has gone in a different direction. |
|
Last updated June 2, 2010
|
language safety concepts