European Conference on Object-Oriented Programming, ECOOP 2017


Article Details
Title: Type Abstraction for Relaxed Noninterference
Article URLs:
Alternative Article URLs:
Authors: Raimil Cruz
  • University of Chile, PLEIAD Lab
  • University of Chile, Computer Science Department (DCC)
Tamara Rezk
  • INRIA Sophia Antipolis, France, Indes Project-Team
Bernard P. Serpette
  • INRIA Sophia Antipolis, France, Indes Project-Team
√Čric Tanter
  • University of Chile, PLEIAD Lab
  • University of Chile, Computer Science Department (DCC)
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge:
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
awarded
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/ecoop/CruzRST17
Author Comments:

Discuss this paper and its artifacts below