Category:Applications

From Erights

(Difference between revisions)
Jump to: navigation, search
(Made more general)
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.

Revision as of 19:15, 12 November 2007

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.

A

C

C cont.

D

E

S

W

Personal tools
more tools