Search Results - Embedded Programming Language

The Kansas University rewrite engine: A Haskell-Embedded Strategic Programming Language with Custom Closed Universes by SCULTHORPE, NEIL, FRISBY, NICOLAS, GILL, ANDY

“… The Kansas University Rewrite Engine (KURE) is a typed strategic programming language, implemented as a Haskell-embedded domain-specific language…”
Get full text

BHDL: A Lucid, Expressive, and Embedded Programming Language and System for PCB Designs by Li, Hebi, He, Youbiao, Xiao, Qi, Tian, Jin, Bao, Forrest Sheng

“… As an embedded Domain Specific Language (eDSL), BHDL allows users to leverage the full feature of the host language for customization and extension…”
Get full text

Giotto: a time-triggered language for embedded programming by Henzinger, T.A., Horowitz, B., Kirsch, C.M.

“…Giotto provides an abstract programmer's model for the implementation of embedded control systems with hard real-time constraints…”
Get full text

THE PROGRAMMING LANGUAGE FOR EMBEDDED REAL-TIME DEVICES WITH REDUCING ERRORS AND WITHOUT REDUCING THE PERFORMANCE OF PROGRAMS by Shmalko, Oleksii, Rehida, Pavlo, Volokyta, Artem, Loutskii, Heorhii, Thinh, Vu Duc

“…Background. C or C ++ languages are most commonly used for programming of embedded systems…”
Get full text

Measuring the Execution Time of Programs from different Android Embedded Programming Languages by Filho, Ricardo Miranda, Bonfim, Ricardo, Pessoa, Larissa, Barreto, Raimundo, de Freitas, Rosiane

“…This study conducts a comparative analysis of the performance of different programming languages on Android embedded systems, focusing on execution time…”
Get full text

A survey of embedded systems programming languages by Maurer, S.S.

“…A programming language specifically designed for embedded systems must be designed to create extremely reliable source code…”
Get full text

Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch by Tarau, Paul

Get full text

ALLI/O Diagram: An Action-based Visual Programming Language for Embedded System by Narkthong, Nuntipat, Jariyavajee, Chattriya, Xu, Xiaolin

“…This paper introduces ALLI/O Diagram, an action-based visual programming language for embedded system programming used by the ALLI/O IDE…”
Get full text

Real-Time GPIO Performance of Modern Programming Languages for Embedded Linux Application Development by Radai, Ronald, Kovacshazy, Tamas

“… access semantics using relevant programming models, languages and GPIO access kernel support solutions. The investigation is done on the TI AM62x System on Chip…”
Get full text

Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices by Gaglio, Salvatore, Lo Re, Giuseppe, Martorella, Gloria, Peri, Daniele

“…We propose a methodology to verify applications developed following programming patterns inspired by natural language that interact with physical environments and run on resource-constrained interconnected devices…”
Get full text

Verified low-level programming embedded in F by Protzenko, Jonathan, Zinzindohoué, Jean-Karim, Rastogi, Aseem, Ramananandro, Tahina, Wang, Peng, Zanella-Béguelin, Santiago, Delignat-Lavaud, Antoine, Hriţcu, Cătălin, Bhargavan, Karthikeyan, Fournet, Cédric, Swamy, Nikhil

“…We present Low*, a language for low-level programming and verification, and its application to high-assurance optimized cryptographic libraries. Low…”
Get full text

Giotto: A time -triggered language for embedded programming by Horowitz, Benjamin

“… The ease with which Giotto expresses the existing software provides evidence that Giotto is an appropriate programming language for control systems…”
Get full text

A programming language for embedded processor networks by Mayer-Lindenberg, Fritz

“…A simple language for numeric computations on heterogeneous networks of programmable processors is described, in particular networks implemented in an ASIC, an FPGA or an SoC integrating hardwired processors and an FPGA…”
Get full text

MeLa: A Programming Language for a New Multidisciplinary Oceanographic Float by Bonnieux, Sébastien, Cazau, Dorian, Mosser, Sébastien, Blay-Fornarino, Mireille, Hello, Yann, Nolet, Guust

“… To reduce the need of such expertise, we have developed a programming language, called MeLa…”
Get full text

Appendix 2 - On the C++ Programming Language for Embedded Software, Systems, and Platforms

Get full text

Hands-On Embedded Programming with C++17: Create Versatile and Robust Embedded Solutions for MCUs and RTOSes with Modern C++ by Posch, Maya

“…C++ is a great choice for embedded development, most notably, because it does not add any bloat, extends maintainability, and offers many advantages over different programming languages…”
Get full text

Blueprint for an embedded systems programming language by Soulier, P, Depeng Li

“…Embedded systems have become ubiquitous and are found in numerous application domains such as sensor networks, medical devices, and smart appliances…”
Get full text

US Patent Issued on Oct. 29 for "Flow control for language-embedded programming in general purpose computing on graphics processing units" (German Inventor)

Get full text

Rapidly implementing languages to compile as C++ without crafting a compiler by Savidis, Anthony

“…We present a heuristic implementation method for programming languages that is appropriate when the following requirements or conditions are met…”
Get full text

A Domain-Specific Embedded Language for Programming Parallel Architectures by McGuiness, Jason, Egan, Colin

“… (Domain-Specific Embedded Language) that would add parallelism to an imperative language…”
Get full text