Provable Enforcement of HIPAA-Compliant Release of Medical Records Using the History Aware Programming Language.
Thomas MacGahanClaiborne JohnsonArmando RodriguezJeffery von RonneJianwei NiuPublished in: SACMAT (2017)
Keyphrases
- programming language
- medical records
- health records
- free text
- health care
- medical data
- patient data
- general purpose
- electronic health records
- object oriented
- electronic medical record
- sensitive information
- high level
- strongly typed
- programming environment
- software engineering
- object oriented programming
- machine learning
- object oriented concepts
- database
- database languages
- data abstraction
- data sets
- specification language
- third party
- medical images
- information extraction
- computer programs
- functional programming
- test cases
- domain specific
- programming paradigms
- concurrent programming