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

Author(s):  
Min-Hsien Weng ◽  
Robi Malik ◽  
Mark Utting
Keyword(s):  
2020 ◽  
Vol 19 (6) ◽  
pp. 1-27
Author(s):  
Ioannis Latifis ◽  
Karthick Parashar ◽  
Grigoris Dimitroulakos ◽  
Hans Cappelle ◽  
Christakis Lezos ◽  
...  
Keyword(s):  

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

Author(s):  
Valérie Bertin ◽  
Jean-Marc Daveau ◽  
Philippe Guillaume ◽  
Thierry Lepley ◽  
Denis Pilat ◽  
...  
Keyword(s):  

2021 ◽  
Vol 12 (4) ◽  
pp. 216-222
Author(s):  
N. K. Petrova ◽  
◽  
A. P. Mukhachev ◽  
A. A. Zagidullin ◽  
S. M. Koutsenko ◽  
...  

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.


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

1988 ◽  
pp. 341-350 ◽  
Author(s):  
Yugo Kashiwagi ◽  
Hideaki Chaki ◽  
Masachika Narushima
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document