Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9657259 | The Journal of Logic and Algebraic Programming | 2005 | 32 Pages |
Abstract
The paper also contains non-interference results with respect to may and must testing. These show that certain form of non-interference can be enforced using our typing systems.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Matthew Hennessy,