Browsing FAS Scholarly Articles by Keyword "X10"
Now showing items 1-2 of 2
-
Towards a Practical Secure Concurrent Language
(ACM Press, 2012)We demonstrate that a practical concurrent language can be extended in a natural way with information security mechanisms that provably enforce strong information security guarantees. We extend the X10 concurrent programming ... -
Towards a practical secure concurrent language
(Computer Science Group, Harvard University, 2012)We demonstrate that a practical concurrent language can be extended in a natural way with information security mechanisms that provably enforce strong information security guarantees. We extend the X10 concurrent programming ...