Page: 1 2 3 4 5 6 7 8... 103
61 |
Approaching Polyglot Programming: What Can We Learn from Bilingualism Studies?
|
|
Hao, Rebecca L.; Glassman, Elena L.. - : OASIcs - OpenAccess Series in Informatics. 10th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2019), 2020
|
|
BASE
|
|
Show details
|
|
62 |
Game-Based Coding Challenges to Foster Programming Practice
|
|
: OASIcs - OpenAccess Series in Informatics. First International Computer Programming Education Conference (ICPEC 2020), 2020
|
|
BASE
|
|
Show details
|
|
63 |
Using Large-Scale Anomaly Detection on Code to Improve Kotlin Compiler ...
|
|
|
|
BASE
|
|
Show details
|
|
64 |
Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient (Technical Report) ...
|
|
|
|
BASE
|
|
Show details
|
|
65 |
RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system ...
|
|
|
|
Abstract:
We present an integration of a safe C dialect, Checked C, for the Internet of Things operating system RIOT. We utilize this integration to convert parts of the RIOT network stack to Checked C, thereby achieving spatial memory safety in these code parts. Similar to prior research done on IoT operating systems and safe C dialects, our integration of Checked C remains entirely optional, i.e. compilation with a standard C compiler not supporting the Checked C language extension is still possible. We believe this to be the first proposed integration of a safe C dialect for the RIOT operating system. We present an incremental process for converting RIOT modules to Checked C, evaluate the overhead introduced by the conversions, and discuss our general experience with utilizing Checked C in the Internet of Things domain. ...
|
|
Keyword:
Cryptography and Security cs.CR; FOS Computer and information sciences; Programming Languages cs.PL
|
|
URL: https://arxiv.org/abs/2005.09516 https://dx.doi.org/10.48550/arxiv.2005.09516
|
|
BASE
|
|
Hide details
|
|
76 |
Intelligence without Representation: A Historical Perspective
|
|
|
|
BASE
|
|
Show details
|
|
78 |
R Markdown Notebook and data for "Contrasting the semantics of Indonesian - kan and - i verb pairs: A usage-based, constructional approach" ...
|
|
|
|
BASE
|
|
Show details
|
|
Page: 1 2 3 4 5 6 7 8... 103
|
|