scholarly journals Analysis in Brief of History and Difference between C and C++ Programming Languages

2015 ◽  
Vol 1 (2) ◽  
Author(s):  
Varsha Dubey
Keyword(s):  
Programming Languages ◽  
Programming Language ◽  
General Purpose ◽  
Powerful System ◽  
C Programming ◽  
History Of ◽  
The Difference ◽  
System Programming

C is a powerful system, programming language, and C++ is an excellent general purpose programming language with modern bells and whistles. In this report I intend to first explain the history of C & C++. Secondly, I will discuss in brief the difference between C&C++ in many homes.

Computer Implementation of Genetic Programming

2018 ◽  
pp. 132-182
Keyword(s):  
Genetic Programming ◽  
Programming Languages ◽  
Programming Language ◽  
Object Oriented Programming ◽  
Computer Implementation ◽  
Classification Problems ◽  
Development Environment ◽  
Terminal Set ◽  
C Programming ◽  
Multiclass Classification Problems

This chapter presents the computer implementation of the tree-based genetic programming in C# programming language. Since C# is a common object-oriented programming language, with little modification the source code presented in the chapter can be easily transformed into Java or C++ programming languages. The chapter covers all aspects of the implementation: node, chromosome, population, function set, and terminal set class implementations. The chapter is carefully structured, so at the end of the chapter fully working GP computer program will be implemented which can solve regression and multiclass classification problems. The reader should not worry about specific operating system, or development environment, since all code implementations are based on cross-OS and open source integrated development environment visual studio code which can run on Windows, Mac, or Linux.

Constructive mathematics and computer programming

1984 ◽  
Vol 312 (1522) ◽  
pp. 501-518 ◽  
Keyword(s):  
Computer Science ◽  
Programming Languages ◽  
Programming Language ◽  
Program Synthesis ◽  
Constructive Mathematics ◽  
Inference Rules ◽  
Computing Science ◽  
Intuitionistic Theory ◽  
The Difference ◽  
Correct Program

If programming is understood not as the writing of instructions for this or that computing machine but as the design of methods of computation that it is the computer’s duty to execute (a difference that Dijkstra has referred to as the difference between computer science and computing science), then it no longer seems possible to distinguish the discipline of programming from constructive mathematics. This explains why the intuitionistic theory of types (Martin-Lof 1975 In Logic Colloquium 1973 (ed. H. E. Rose & J. C. Shepherdson), pp. 73- 118. Amsterdam: North-Holland), which was originally developed as a symbolism for the precise codification of constructive mathematics, may equally well be viewed as a programming language. As such it provides a precise notation not only, like other programming languages, for the programs themselves but also for the tasks that the programs are supposed to perform. Moreover, the inference rules of the theory of types, which are again completely formal, appear as rules of correct program synthesis. Thus the correctness of a program written in the theory of types is proved formally at the same time as it is being synthesized.

Introduction to Python and Its Statistical Applications

2020 ◽  
pp. 162-196
Author(s):  
Siyu Shi
Keyword(s):  
Statistical Analysis ◽  
The Netherlands ◽  
Programming Languages ◽  
Programming Language ◽  
Integrated Development Environment ◽  
Development Environment ◽  
Integrated Development ◽  
Advantages And Disadvantages ◽  
The World ◽  
History Of

This chapter introduces the history of Python and its IDEs (integrated development environment) and code editors as developing environment. The history tells how Python started from ABC programming language in the Netherlands to a community with developers from different areas, and later became one of the most popular programming languages in the world. Popular IDEs and Code Editor for professional developers and beginners are also introduced with their advantages and disadvantages. Later in this chapter, the authors introduce Python libraries, which could be used in statistical analysis, and give out a simple case on how these methods can be applied.

scholarly journals A Serious Game for Learning C Programming Language Concepts Using Solo Taxonomy

2017 ◽  
Vol 12 (03) ◽  
pp. 110 ◽  
Author(s):  
Alaeeddine Yassine ◽  
Driss Chenouni ◽  
Mohammed Berrada ◽  
Ahmed Tahiri
Keyword(s):  
Programming Languages ◽  
Programming Language ◽  
Serious Games ◽  
Teaching Practice ◽  
Serious Game ◽  
Innovative Teaching ◽  
Solo Taxonomy ◽  
C Programming Language ◽  
C Programming ◽  
Pedagogical Approaches

This paper conducts a study to identify pedagogical approaches and gameplay techniques involved in the development of serious games for teaching scientific courses in general especially programming languages. The concept of serious games is increasingly popular and is considered as an innovative teaching practice since it is based on information and communication technology and gamification to foster learning. To this end, a serious game "Perobo" will be introduced and discussed. It is based on a set of gameplay techniques and pedagogical approaches used for teaching pointers, considered as a difficult concept in C programming language, and essential for programming complex and advanced programs. The game is also based on a taxonomy design to define the learning levels.

scholarly journals Interval-Based Simulation of Zélus IVPs using DynIbex

2020 ◽  
Author(s):  
Jason Brown ◽  
François Pessaux
Keyword(s):  
Dynamical Systems ◽  
Programming Languages ◽  
Programming Language ◽  
Continuous Time ◽  
General Purpose ◽  
Complex Task ◽  
Integration Methods

Modeling continuous-time dynamical systems is a complex task. Fortunately some dedicated programming languages exist to ease this work. Zélus is one such language that generates a simulation executable which can be used to study the behavior of the modeled system. However, such simulations cannot handle uncertainties on some parameters of the system. This makes it necessary to run multiple simulations to check that the system fulfills particular requirements (safety for instance) for all the values in the uncertainty ranges. Interval-based guaranteed integration methods provide a solution to this problem. The DynIbex library provides such methods but it requires a manual encoding of the system in a general purpose programming language (C++). This article presents an extension of the Zélus compiler to generate interval-based guaranteed simulations of IVPs using DynIbex. This extension is conservative since it does not break the existing compilation workflow.

scholarly journals Pasikeitimų informacinių technologijų valstybiniame brandos egzamine analizė

2011 ◽  
Vol 57 ◽  
pp. 115-123
Author(s):  
Bronius Skūpas
Keyword(s):  
Programming Languages ◽  
Programming Language ◽  
Evaluation System ◽  
Evaluation Process ◽  
Automatic Evaluation ◽  
C Programming ◽  
Selection Of

2011 metais informacinių technologijų valstybinio brandos egzamino vykdymo tvarka buvo esmingai pakeista – įvesta galimybė praktinę užduotį atlikti ne tik Paskalio, bet ir C++ programavimo kalba. Šis pakeitimas ne tik suteikia naujų galimybių mokiniams, bet ir sukelia tam tikrų vertinimo proceso problemų. Straipsnyje analizuojami būsimi vertinimo proceso pokyčiai, projektuojami reikiami pusiau automatinės vertinimo sistemos adaptavimo naujai situacijai poreikiai, prognozuojamos galimos vertinimo problemos ir teikiami objektyvesnio vertinimo pasiūlymai. Pirmasis egzaminas pagal naujas vykdymo ir vertinimo instrukcijas įvyko 2011 m. birželio 3 d. Analizuojama, kokią įtaką prognozuotos problemos turėjo egzamino vertinimui.Pagrindiniai žodžiai: informacinės technologijos, valstybinis brandos egzaminas, pusiau automatinis vertinimas.Analysis of Changes in the National Maturity IT ExamBronius Skūpas SummaryThe national maturity IT exam was changed in 2011 by adding the possibility to use C and C++ programming languages in practical assignments. Before 2011, it was possible to use only the Pascal programming language. This change leads to wide possibilities for students and involves great changes in the evaluation process as well. The semi-automatic evaluation system must be changed accordingly, and more attention to the selection of tasks, tests and even evaluators must be given. The author analyses the necessary changes in the evaluation process and system. He predicts the possible problems, analyses them and provides their possible solutions. The first exam of this style took place on 3 June 2011. Its results are compared with the prognosis.

scholarly journals SpecTest: Specification-Based Compiler Testing

2021 ◽  
pp. 269-291
Author(s):  
Richard Schumi ◽  
Jun Sun
Keyword(s):  
Programming Languages ◽  
Programming Language ◽  
General Purpose ◽  
Test Coverage ◽  
Domain Specific ◽  
Test Oracle ◽  
Coverage Criterion ◽  
Language Semantics ◽  
Compiler Testing ◽  
Semantic Errors

AbstractCompilers are error-prone due to their high complexity. They are relevant for not only general purpose programming languages, but also for many domain specific languages. Bugs in compilers can potentially render all programs at risk. It is thus crucial that compilers are systematically tested, if not verified. Recently, a number of efforts have been made to formalise and standardise programming language semantics, which can be applied to verify the correctness of the respective compilers. In this work, we present a novel specification-based testing method named SpecTest to better utilise these semantics for testing. By applying an executable semantics as test oracle, SpecTest can discover deep semantic errors in compilers. Compared to existing approaches, SpecTest is built upon a novel test coverage criterion called semantic coverage which brings together mutation testing and fuzzing to specifically target less tested language features. We apply SpecTest to systematically test two compilers, i.e., the Java compiler and the Solidity compiler. SpecTest improves the semantic coverage of both compilers considerably and reveals multiple previously unknown bugs.

Extending C and FORTRAN for Design Automation

1995 ◽  
Vol 117 (3) ◽  
pp. 390-395 ◽  
Author(s):  
H. H. Cheng
Keyword(s):  
Programming Languages ◽  
Programming Language ◽  
Systems Engineering ◽  
Design Automation ◽  
Mechanical Systems ◽  
General Purpose ◽  
Software Packages ◽  
Fortran 77

The CH programming language is designed to be a superset of C. CH bridges the gap between C and FORTRAN; it encompasses all the programming capabilities of FORTRAN 77 and consists of features of many other programming languages and software packages. Unlike other general-purpose programming languages, CH is designed to be especially suitable for applications in mechanical systems engineering. Because of our research interests, many programming features in CH have been implemented for design automation, although they are useful in other applications as well. In this paper we will describe these new programming features for design automation, as they are currently implemented in CH in comparison with C and FORTRAN 77.

A Software Library for Multi Precision Arithmetic

2018 ◽  
pp. 195-227
Author(s):  
Kannan Balasubramanian ◽  
Ahmed Mahmoud Abbas
Keyword(s):  
Programming Languages ◽  
Programming Language ◽  
Public Key Cryptography ◽  
Public Key ◽  
Software Library ◽  
C Programming Language ◽  
Diffie Hellman ◽  
Multiple Precision ◽  
C Programming ◽  
Multiple Precision Arithmetic

The most prevalent need for multiple precision arithmetic, often referred to as “bignum” math, is within the implementation of public key cryptography algorithms. Algorithms such as RSA and Diffie-Hellman require integers of significant magnitude to resist known cryptanalytic attacks. As of now, a typical RSA modulus would be at least greater than 10^309. However, modern programming languages such as ISO C and Java only provide intrinsic support for integers that are relatively small and single precision. This chapter describe the modules provided by one such library for the C Programming Language.

Sign in / Sign up

Export Citation Format

Share Document