Automatic proofs of memory deallocation for a Whiley-to-C Compiler

2021 ◽  
Author(s):  
Min-Hsien Weng ◽  
Robi Malik ◽  
Mark Utting
Keyword(s):  
C Compiler

A Retargetable MATLAB-to-C Compiler Exploiting Custom Instructions and Data Parallelism

2020 ◽  
Vol 19 (6) ◽  
pp. 1-27
Author(s):  
Ioannis Latifis ◽  
Karthick Parashar ◽  
Grigoris Dimitroulakos ◽  
Hans Cappelle ◽  
Christakis Lezos ◽  
...  
Keyword(s):  
Data Parallelism ◽  
C Compiler

scholarly journals CompCertS: A Memory-Aware Verified C Compiler Using a Pointer as Integer Semantics

2018 ◽  
Vol 63 (2) ◽  
pp. 369-392 ◽  
Author(s):  
Frédéric Besson ◽  
Sandrine Blazy ◽  
Pierre Wilke
Keyword(s):  
C Compiler

FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors

2002 ◽  
pp. 382-398 ◽  
Author(s):  
Valérie Bertin ◽  
Jean-Marc Daveau ◽  
Philippe Guillaume ◽  
Thierry Lepley ◽  
Denis Pilat ◽  
...  
Keyword(s):  
C Compiler ◽  
Dsp Processors

Creating an Electronic Course on Programming in Python for the Android Platform

2021 ◽  
Vol 12 (4) ◽  
pp. 216-222
Author(s):  
N. K. Petrova ◽  
◽  
A. P. Mukhachev ◽  
A. A. Zagidullin ◽  
S. M. Koutsenko ◽  
...  
Keyword(s):  
Comparative Analysis ◽  
Mobile Application ◽  
Free Access ◽  
C Language ◽  
Python Language ◽  
C Compiler ◽  
Android Platform ◽  
Python Scripting ◽  
Scripting Language ◽  
Programming Algorithms

The description and principles of developing a mobile application for the Android platform that provides free access to electronic courses on teaching the basic structures of the Python language and the construction of template programming algorithms based on them are presented. The content of the course is based on the principle of comparative analysis with the C++ language, one of the goals of which is to differentiate the tasks for which it is more efficient to use either the Python scripting language or the C++ compiler. The developed application is logically integral, allows the possibility of supplementing with new data — examples, types of algorithms — and, no less important, is free.

Der Quick C-Compiler

1991 ◽  
pp. 217-228
Author(s):  
Dietmar Herrmann
Keyword(s):  
C Compiler

Development of a C Compiler for Gmicro Microprocessor Based on TRON Architecture

1988 ◽  
pp. 341-350 ◽  
Author(s):  
Yugo Kashiwagi ◽  
Hideaki Chaki ◽  
Masachika Narushima
Keyword(s):  
C Compiler
Sign in / Sign up

Export Citation Format

Share Document