检索结果-内蒙古大学图书馆

27th International conference on InformationTechnology Interfaces

作者： Nagy, B Univ Debrecen Fachbereich Informat H-4010 Debrecen Hungary

ISBN: (纸本)953713802X

In this paper we analyse the logic of the programming language c, where integers used as logical values. The classical logic has several axiom-systems, the oldest one is the axioms of the Boolean-algebra. We analyse how logical laws work in c We also compare some many-valued systems to the logic of c We show that the logic of c is not two-valued logic, neither a "classical many-valued logic". The commutative laws are not justified for all cases, because of the lazy evaluation of conditions. The problem occurs when an evaluation in a condition can produce error message. We present a three-valued non-commutative logic describing the logic of c.

关键词： logic c programming language many-valued logic non-commutative logic

来源：评论

学校读者我要写书评

暂无评论

Analysis on the relationship between student grades and computer programming time in learning the c programming language

Analysis on the relationship between student grades and comp...

引用

7th International conference on computer Science and Education

作者： Tie, Zhixin Zhuang, Hong Zhang, Qingyang Wang, Zhaoqing Zhejiang Sci Tech Univ Sch Informat Sci & Technol Hangzhou 310018 Zhejiang Peoples R China

ISBN: (纸本)9781467302395

The c programming language is one of the most popular teaching programming languages. It is generally considered that the computer programming time that a student spent on his homework directly affects his grade of the c programming language. There is little research regarding the correlation of students'. computer programming time and their test grades. The computer programming time, grades of final test and the Zhejiang computer Grade Test Band II (ZcGTBII) of students from a teaching class are collected. The students are divided into two groups based on their programming time. The T-Test is employed to analyze grades of final test and the ZcGTBII of the two groups. Analysis results show that the mean and the passing rates of final test and the ZcGTBII of Group I are greater than those of Group II. Therefore, we conclude that the amount of time students spend practicing programming on computers plays a very important role towards mastering the c programming language.

关键词： c programming language Grade Hypothesis test computer programming time Homework

来源：评论

学校读者我要写书评

暂无评论

HardBound: Architectural support for spatial safety of the c programming language

引用

AcM SIGPLAN NOTIcES 2008年第3期43卷 103-114页

作者： Devietti, Joe Blundell, colin Martin, Milo M. K. Zdancewic, Steve Univ Washington Seattle WA 98195 USA Univ Penn Philadelphia PA 19104 USA

The c programming language is at least as well known for its absence of spatial memory safety guarantees (i.e., lack of bounds checking) as it is for its high performance. c's unchecked pointer arithmetic and array indexing allow simple programming mistakes to lead to erroneous executions, silent data corruption, and security vulnerabilities. Many prior proposals have tackled enforcing spatial safety in c programs by checking pointer and array accesses. However, existing software-only proposals have significant drawbacks that may prevent wide adoption, including: unacceptably high run-time overheads, lack of completeness, incompatible pointer representations, or need for non-trivial changes to existing c source code and compiler infrastructure. Inspired by the promise of these software-only approaches, this paper proposes a hardware bounded pointer architectural primitive that supports cooperative hardware/software enforcement of spatial memory safety for c programs. This bounded pointer is a new hardware primitive datatype for pointers that leaves the standard c pointer representation intact, but augments it with bounds information maintained separately and invisibly by the hardware. The bounds are initialized by the software, and they are then propagated and enforced transparently by the hardware, which automatically checks a pointer's bounds before it is dereferenced. One mode of use requires instrumenting only malloc, which enables enforcement of per-allocation spatial safety for heap-allocated objects for existing binaries. When combined with simple intra-procedural compiler instrumentation, hardware bounded pointers enable a low-overhead approach for enforcing complete spatial memory safety in unmodified c programs.

关键词： languages security performance spatial memory safety c programming language

来源：评论

学校读者我要写书评

暂无评论

Students? difficulties with inserting and deleting nodes in a singly linked list in the c programming language?

引用

JOURNAL OF cOMPUTER languageS 2023年 74卷

作者： Almadhoun, Eman Parham-Mocello, Jennifer Oregon State Univ Sch EECS Corvallis OR 97331 USA

Since linked lists serve as a bridge to understanding more advanced data structures, we believe that it is critical to identify students' misunderstandings early. We found that students had a good conceptual understanding of how to insert and delete nodes in a singly linked list in c. However, many students continued to struggle with c syntax, pointer manipulation, and memory management needed to correctly implement singly linked lists. Students reported that the abstract nature of pointers, relating linked lists to the real world, and prior knowledge about dynamic arrays contributed the most to their difficulties with linked lists in c.

关键词： Data structures Linked lists c programming language Reasoning Misunderstandings Operations on linked

来源：评论

学校读者我要写书评

暂无评论

Practice in the construction of Elaborate course for: "The c programming language"

Practice in the Construction of Elaborate Course for: "The C...

引用

2010 2nd International conference on Education Technology and computer(第二届IEEE教育技术与计算机国际会议 IcETc 2010)

作者： Guoquan Jiang cuijun Zhao School of Computer Science and Technology Henan Polytechnic UniversityJiaozuo 454000 China School of Resources and Environment Engineering Henan Polytechnic UniversityJiaozuo 454000 China

ISBN: (纸本)9781424463671;9781424463688;9781424463701

construction of elaborate course is an important measure to improve reform of higher education and realize great-leap-forward development of higher education but how to effetely construct the elaborate course system? Besides building first-class teaching team, creating first-class management, it is also crucial to construct an elaborate course website with friendly interface, rich recourse and strong interactivity. This paper takes the c programming language course as an example;a web-based computer Aided Instruction (cAI) courseware is constructed. Some novel design ideas and key technologies in the developing process of the platform are described. Presently, the course of "The c programming language" is evaluated as a provincial-level elaborate course in Henan province. The strategies and schemes proposed here can be easily referenced and applied to other similar situations, especially in polytechnic universities in china.

关键词： elaborate course c programming language cAI courseware

来源：评论

学校读者我要写书评

暂无评论

construction of c programming language Based on Ontology Knowledge Base

Construction of C Programming Language Based on Ontology Kno...

引用

2013 the Second International conference on Innovative computing and cloud computing(Iccc 2013)

作者： Yahui Hu Yamin Hu Lejiang Guo School of computer Wuhan University Air Force Early Warning Academy

Based on the ontology construction thinking, knowledge base of c programming language is presented. Ontology construction principles, methods and advantages are analyzed, and factors such as the characteristics of knowledge structure and c programming language design course are also taken into consideration. construction methods and progress of c programming language are detailed. By this way, the ontology c programming language course knowledge points are linked together, and its structure is also clear, to strengthen the teaching resources management and improve the teachers' and students' curriculum resources sharing and reuse.

关键词： Ontology Knowledge base Ontology c programming language Sharing

来源：评论

学校读者我要写书评

暂无评论

Application of Theory and Practice Integration Teaching in c programming language course

Application of Theory and Practice Integration Teaching in C...

引用

3rd International conference on Applied Social Science Research(IcASSR 2015)

作者： Yu-qiao Meng Jilin Teachers Institute of Engineering and Technology

The c programming language course is a basic course in colleges and universities, whose key teaching points differ slightly with the arrangement of the specialized courses. This paper proposed an integration teaching method based on the characteristics of the c programming language course itself, combining theory instruction with practice teaching. The students are trained while learning. Thus, the students are able to get their ability in practice trained and improved when they acquire the theoretical knowledge.

关键词： theory and practice integration c programming language teaching design teaching methodology

来源：评论

学校读者我要写书评

暂无评论

Ensuring safe usage of buffers in programming language c

Ensuring safe usage of buffers in programming language C

引用

3rd International conference on Software and Data Technologies

作者： Vujosevic-Janicic, Milena Univ Belgrade Dept Comp Sci Fac Math Belgrade Serbia

ISBN: (纸本)9789898111517

We consider the problem of buffer overflows in c programs. This problem is very important because buffer overflows are Suitable targets for security attacks and Sources of serious programs' misbehavior. Buffer overflow bugs can be detected at run-time by dynamic analysis, and before run-time by static analysis. In this paper we present a new static, modular approach for automated detection of buffer overflows. Our approach is flow-sensitive and inter-procedural, and it deals with both statically and dynamically allocated buffers. Its architecture is flexible and pluggable - for instance, for checking generated correctness and incorrectness conditions, it can use any external automated theorem prover that follows SMT-LIB standards. The system uses an external and easily extendable knowledge database that stores all the reasoning rules so they are not hard-coded within the system. We also report on Our prototype implementation, the FADO tool, and on its experimental results.

关键词： c programming language buffer overflow static analysis automated bug detection

来源：评论

学校读者我要写书评

暂无评论

coding Tutorials for any programming language or Interactive Tutorials for c and Arduino 18

Coding Tutorials for any Programming Language or Interactive...

引用

49th AcM SIGcSE Technical Symposium on computer Science Education (SIGcSE)

作者： Sharrock, Remi Gaultier, Baptiste Taylor, Petra Goudzwaard, Michael Hiron, Mathias Hamonic, Ella Telecom ParisTech LTCI ITM Paris France IMT Atlantique Nantes France Dartmouth Coll Hanover NH 03755 USA France IOI Illkirch Graffenstaden France IMT Paris France

ISBN: (纸本)9781450351034

Any cS educator has to explain sooner or later a portion of code or a structured text to learners. The codecast tool http://*** has been specially designed by cS educators and developed initially for MOOcs to replace non-interactive screencasts. This workshop is a hands-on lab to codecast: an open-source innovative tool to create in-browser interactive coding tutorials. codecast supports syntax highlighting for over 110 languages and as of 2017 can compile/interpret and execute a subset of the c and Arduino languages. In this workshop, participants will explore how, using our codecast tool, a cS educator can explain the creation of a computer program while their audio as well as their interactions with the code editor and interpreter are being recorded for interactive playback. Workshop participants will furthermore experience how different aspects of the coding process like testing, running, debugging and optimizing can be illustrated with the help of several data, memory and algorithm visualization modules. Participants will create recordings and experience (like learners) how they can be played back interactively by taking control over and modify the coding process at any time. codecast enables the learner to interact directly with the code and experiment with different ideas while listening to the instructor's explanation. The learner can make changes to the code, test it with different inputs, run the code step-by-step to better understand its behavior and visualize other parts of the algorithm or the data. Workshop participants will also integrate their creations in their online curricula.

关键词： coding tutorials computer science education Online courses MOOc programming editor Interactive tutorials c programming language Integrated Development Environment code editor

来源：评论

学校读者我要写书评

暂无评论

REAcTIVE c - AN EXTENSION OF c TO PROGRAM REAcTIVE SYSTEMS

引用

SOFTWARE-PRAcTIcE & EXPERIENcE 1991年第4期21卷 401-428页

作者： BOUSSINOT, F Ecole Nationale Sup&eacute rieure des Mines de Paris Centre de Math&eacute matiques Appliqu&eacute es Sophia-Antipolis 06565 Valbonne France

Reactive systems are interactive programs that react continuously to sequences of activations coming from the external world. Reactive programming leads to a new programming style where one programs in terms of reactions to activations and reasons in a logic of instants. This paper describes an extension of the c programming language called Rc (for 'Reactive c') to program reactive systems. The language Rc is described, then some programming examples are given to illustrate the reactive approach. The main Rc notions come directly from the Esterel synchronous programming language. Finally, the Esterel and Rc languages are compared.

关键词： REAcTIVE SYSTEM c programming language PARALLELISM

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：