Old Web
Design and Proof of a Safe Programming Language PointerC: Design and Proof of a Safe Programming Language PointerC
2009
Keywords:
- First-generation programming language
- Very high-level programming language
- Theoretical computer science
- Functional logic programming
- Programming language implementation
- Programming language
- Fifth-generation programming language
- Extensible programming
- Programming domain
- Computer science
- Programming language theory
- Programming language specification
- High-level programming language
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
4
References
2
Citations
NaN
KQI