DIFT @ rise4fun from NOVA-LINCS@FCT/UNL

Does this program break the information flow policy?

DISCLAIMER: DIFT is a 3rd party tool offered by NOVA-LINCS@FCT/UNL. By clicking ‘►’, you instruct rise4fun to send the source to NOVA-LINCS@FCT/UNL’s DIFT to be analyzed. Please refer to the terms of use and privacy policy of DIFT.

home permalink

'►' shortcut: Alt+B

samples

01 Simple Examples - Dependent Sums

02 Simple Examples - Dependent Functions

03 Simple Examples - foreach

04 Simple Examples - references

05 Conference - viewAuthorPaper

06 Conference - viewAssignedPapers

07 Conference - addSubmission

08 Conference - addSubmissionError

09 Conference - lookupSubmission

10 Conference - addCommentSubmission

11 Conference - addCommentSubmissionError

12 Dropbox - dropData

13 Dropbox - dropDataError

14 University - defineTestCriteria

15 University - addCriteria

16 University - addCriteriaError

17 University - storeGrade

18 University - storeGradeError

about DIFT - Dependent Information Flow Types: Typechecker

This tool is a prototype typechecker for Dependent Information Flow Types, based on the algorithm described in the POPL 2015 paper (see website).