Combining Forth and Rust: A Robust and Efficient Approach for Low-Level System Programming
Engineering Proceedings, 2023 Rust is a modern programming language that addresses the drawbacks of earlier languages by providing features such as memory safety at compilation and high performance.
Priya Gupta +5 more
doaj +1 more source
Novel pedagogical tool for simultaneous learning of plane geometry and R programming [PDF]
Research Ideas and Outcomes, 2018 Programming a computer is an activity that can be very beneficial to undergraduate students in terms of improving their mental capabilities, collaborative attitudes and levels of engagement in learning.
Álvaro Briz-Redón +1 more
doaj +2 more sources
Integrative self-sorting is a programming language for high level self-assembly
Proceedings of the National Academy of Sciences of the United States of America, 2009 Wei Jiang, Christoph A. Schalley
openalex +2 more sources
Effect of Block-Based Python Programming Environment on Programming Learning
Applied Sciences, 2023 The advancement of computing technology has led to many changes in a variety of fields, and the importance of programming education has been emphasized in many countries worldwide.
Yongcheon Kim, Jamee Kim, Wongyu Lee
doaj +1 more source
The C++ programming language in cheminformatics and computational chemistry
Journal of Cheminformatics, 2020 This paper describes salient features of the C++ programming language and its programming ecosystem, with emphasis on how the language affects scientific software development. Brief history of C++ and its predecessor the C language is provided.
Dmitrii Rassokhin
doaj +1 more source
Extending Stan for Deep Probabilistic Programming [PDF]
, 2020 Stan is a popular declarative probabilistic programming language with a high-level syntax for expressing graphical models and beyond. Stan differs by nature from generative probabilistic programming languages like Church, Anglican, or Pyro.
Baudart, Guillaume +5 more
core +1 more source
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond [PDF]
Logical Methods in Computer Science, 2022 The model of asynchronous programming arises in many contexts, from low-level systems software to high-level web programming. We take a language-theoretic perspective and show general decidability and undecidability results for asynchronous programs that
Rupak Majumdar +2 more
doaj +1 more source
Towards the Safe Programming of Wireless Sensor Networks [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Sensor networks are rather challenging to deploy, program, and debug. Current programming languages for these platforms suffer from a significant semantic gap between their specifications and underlying implementations.
Francisco Martins +2 more
doaj +1 more source
Packet Transactions: High-Level Programming for Line-Rate Switches [PDF]
Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, 2015 Many algorithms for congestion control, scheduling, network measurement, active queue management, and traffic engineering require custom processing of packets in the data plane of a network switch. To run at line rate, these data-plane algorithms must be
Anirudh Sivaraman +8 more
semanticscholar +1 more source
A C++-embedded Domain-Specific Language for programming the MORA soft processor array [PDF]
, 2010 MORA is a novel platform for high-level FPGA programming of streaming vector and matrix operations, aimed at multimedia applications. It consists of soft array of pipelined low-complexity SIMD processors-in-memory (PIM).
Chalamalasetti, S.R. +3 more
core +1 more source