This site uses cookies for analytics, personalized content and ads. By continuing to browse this site, you agree to this use.
Learn more
dift
by NOVA-LINCS@FCT/UNL
Does this program break the information flow policy?
loading...
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).
tools
developer
about
Contact Us
|
Privacy & Cookies
|
Terms of Use
|
Trademarks
| © 2019 Microsoft