Sign in
Semi-automatic ladderisation: improving code security through rewriting and dependent types.
Christopher Brown
Adam D. Barwell
Yoann Marquer
Olivier Zendra
Tania Richmond
Chen Gu
Published in:
PEPM@POPL (2022)
Keyphrases
</>
semi automatic
fully automatic
gold standard
source code
semi automatically
access control
domain ontology
security issues
design rationale
semantic annotation
information security
wrapper generation
search engine
intrusion detection
conjunctive queries
artificial intelligence
ontology mapping
medical knowledge