Category:Applications
From Erights
(Difference between revisions)
(Made more general) |
m (Reverted edits by LaerrOacel (Talk); changed back to last version by Zarutian) |
||
(One intermediate revision not shown) | |||
Line 1: | Line 1: | ||
- | A list of applications using E or other [[object-capability languages]]. | + | A list of applications using E or other [[object-capability languages]], or applications for reasoning about object-capability code. |
Latest revision as of 05:25, 12 January 2008
A list of applications using E or other object-capability languages, or applications for reasoning about object-capability code.
Articles in category "Applications"
The following 10 pages are in this category, out of 10 total.
AC |
C cont.D |
ESW |