Safer Linux Kernel Modules Using the D Programming Language.
Constantin-Eduard StaniloiuAlexandru MilitaruRazvan NituRazvan DeaconescuPublished in: IEEE Access (2022)
Keyphrases
- programming language
- linux kernel
- operating system
- software systems
- source code
- clone detection
- software engineering
- general purpose
- high level
- object oriented
- analysis tool
- programming environment
- file system
- functional programming
- strongly typed
- denotational semantics
- database languages
- open source
- software evolution
- object oriented programming
- high level programming language
- data abstraction
- specification language
- cooperative
- software maintenance
- functional language
- domain specific languages
- multi agent
- machine learning
- databases