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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

17 篇 期刊文献
13 篇 会议
5 册 图书
1 篇 学位论文

馆藏范围

36 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

27 篇 工学
- 21 篇 计算机科学与技术...
- 16 篇 软件工程
- 6 篇 电气工程
- 2 篇 信息与通信工程
5 篇 教育学
- 5 篇 教育学
1 篇 管理学
- 1 篇 管理科学与工程(可...

主题

36 篇 systems programm...
4 篇 programming
4 篇 memory safety
3 篇 languages
3 篇 operating system...
3 篇 design
3 篇 functional progr...
3 篇 unix
2 篇 memory manipulat...
2 篇 reliability
2 篇 type systems
2 篇 file
2 篇 systems
2 篇 data representat...
2 篇 security
2 篇 data structures
2 篇 software
2 篇 rust programming...
2 篇 c++ programming ...
2 篇 programming lang...

机构

2 篇 computer science...
2 篇 univ edinburgh e...
2 篇 univ melbourne m...
2 篇 univ utrecht utr...
2 篇 unsw sydney nsw
2 篇 columbia univ de...
2 篇 portland state u...
1 篇 univ cambridge c...
1 篇 cornell univ. it...
1 篇 institute of inf...
1 篇 univ oviedo comp...
1 篇 department of co...
1 篇 fraunhofer inst ...
1 篇 techviser portol...
1 篇 univ napoli fede...
1 篇 dept. of compute...
1 篇 sun microsyst la...
1 篇 carnegie mellon ...
1 篇 univ british col...
1 篇 xerox corp palo ...

作者

2 篇 o'connor liam
2 篇 chen zilin
2 篇 oey kevin andria...
2 篇 keller gabriele
2 篇 rizkallah christ...
2 篇 jones mark p.
2 篇 rojali
1 篇 heiser gernot
1 篇 schulzrinne henn...
1 篇 wulf w.a.
1 篇 geschke cm
1 篇 wijesinha a. l.
1 篇 brown christian
1 篇 bryant randal e.
1 篇 simon doug
1 篇 marc e. fiuczyns...
1 篇 satterthwaite eh
1 篇 mashey john r.
1 篇 mclaughlin craig
1 篇 sonnenschein m

语言

35 篇 英文
1 篇 其他

检索条件"主题词=Systems Programming"

共 36 条记录，以下是21-30 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Property-Based Testing: Climbing the Stairway to Verification 15

Property-Based Testing: Climbing the Stairway to Verificatio...

引用

15th International Conference on Software Language Engineering (SLE)

作者： Chen, Zilin Rizkallah, Christine O'Connor, Liam Susarla, Partha Klein, Gerwin Heiser, Gernot Keller, Gabriele UNSW Sydney Sydney NSW Australia Univ Melbourne Melbourne Vic Australia Univ Edinburgh Edinburgh Midlothian Scotland Proofcraft Sydney NSW Australia Univ Utrecht Utrecht Netherlands

ISBN: (纸本)9781450399197

Property-based testing (PBT) is a powerful tool that is widely available in modern programming languages. It has been used to reduce formal software verification effort. We demonstrate how PBT can be used in conjunction with formal verification to incrementally gain greater assurance in code correctness by integrating PBT into the verification framework of COGENT-a programming language equipped with a certifying compiler for developing high-assurance systems components. Specifically, for PBT and formal verification to work in tandem, we structure the tests to mirror the refinement proof that we used in COGENT's verification framework: The expected behaviour of the system under test is captured by a functional correctness specification, which mimics the formal specification of the system, andwe test the refinement relation between the implementation and the specification. We exhibit the additional benefits that this mutualism brings to developers and demonstrate the techniques we used in this style of PBT, by studying two concrete examples.

关键词： QuickCheck functional programming formal verification systems programming

来源：评论

学校读者我要写书评

暂无评论

Follow the River and You Will Find the C 11

Follow the River and You Will Find the C

引用

42nd ACM Technical Symposium on Computer Science Education

作者： Lee, Jae Woo Kester, Michael S. Schulzrinne, Henning Columbia Univ Dept Comp Sci New York NY 10027 USA

ISBN: (纸本)9781450305006

We present a one-semester transition course intended to bridge the gap between a Java-based introductory sequence and advanced systems courses. We chose to structure our course as a series of lab assignments that, while independent, are also milestones in a single main project, writing a web server from scratch. By anchoring the course on a single real-world application, we were able to provide depth, instill good programming practices, give insight into systems, and generate excitement.

关键词： unix systems programming operating systems objects-first networking curriculum design CC2001 C programming language computer science education

来源：评论

学校读者我要写书评

暂无评论

Some Were Meant for C The Endurance of an Unmanageable Language

Some Were Meant for C The Endurance of an Unmanageable Langu...

引用

ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on programming and Software (Onward) part of SPLASH Conference

作者： Kell, Stephen Univ Cambridge Comp Lab Cambridge England

ISBN: (纸本)9781450355308

The C language leads a double life: as an application programming language of yesteryear, perpetuated by circumstance, and as a systems programming language which remains a weapon of choice decades after its creation. This essay is a C programmer's reaction to the call to abandon ship. It questions several properties commonly held to define the experience of using C;these include unsafety, undefined behaviour, and the motivation of performance. It argues all these are in fact inessential;rather, it traces C's ultimate strength to a communicative design which does not fit easily within the usual conception of "a programming language", but can be seen as a counterpoint to so-called "managed languages". This communicativity is what facilitates the essential aspect of system-building: creating parts which interact with other, remote parts-being "alongside" not "within".

关键词： systems programming virtual machine managed languages safety undefined behavior

来源：评论

学校读者我要写书评

暂无评论

Rust's Memory Safety Model: An Evaluation of Its Effectiveness in Preventing Common Vulnerabilities 8

Rust's Memory Safety Model: An Evaluation of Its Effectivene...

引用

8th International Conference on Computer Science and Computational Intelligence, ICCSCI 2023

作者： Oey, Kevin Andrian Santoso Kwee, Catherine Chua, William Nabiilah, Ghinaa Zain Rojali Computer Science Department School of Computer Science Bina Nusantara University Jakarta11480 Indonesia

Ensuring safe program operation is crucial for systems programming, and memory safety is a significant aspect of this. This paper assesses the memory safety strategies used in Rust and C++ programming languages. Rust is a modern language that has become popular due to its focus on safety, performance, and concurrency, whereas C++ is known for its efficiency and low-level programming capabilities. The analysis compares and contrasts the memory safety features of both languages, including Rust's ownership and borrowing model and C++'s manual memory management techniques. Additionally, the study examines the development tools available for both languages and compares ease of use and productivity. The analysis shows that Rust has several memory safety advantages over C++. Rust's ownership and borrowing model enables safe memory management without requiring manual intervention. By enforcing strict rules for memory usage, the compiler in Rust prevents typical memory-related errors like null and dangling pointers. However, in contrast to Rust, C++ provides more low-level hardware control but needs manual memory management, exposing it to memory errors such as buffer overflows and memory leaks. Moreover, Rust's memory safety features simplify the development of secure and dependable code, especially for applications with crucial security requirements. In contrast, C++ demands significant memory management expertise to avoid memory-related errors. In conclusion, Rust offers several memory safety benefits over C++, making it a superior choice for applications with critical safety needs. However, the selection of language ultimately depends on the specific project requirements and the development team's experience and preferences. © 2023 The Authors. Published by Elsevier B.V.

关键词： C++ programming Language Memory Safety Rust programming Language Security Software systems programming

来源：评论

学校读者我要写书评

暂无评论

Mit :: Lcs :: Tm :: Mit-Lcs-Tm-013

引用

2016年

Mit :: Lcs :: Tm :: Mit-Lcs-Tm-013 by published by

关键词： address address space compiler file system high high level language languages large number large software level level language level languages machine language mit-lcs-tm-013 multics performance system systems systems programming unnumbered blank

来源：评论

学校读者我要写书评

暂无评论

Cdc :: Cyber :: Nos :: Fh4010-4C Studydump Apr80

引用

2016年

Cdc :: Cyber :: Nos :: Fh4010-4C Studydump Apr80 by published by

关键词： apr80 cio cpumtr cross reference cyber cyber systems fh4010-4c lfm lfm msm llll llll llll lower cyber mass storage oooooooooooooooooooo oooooooooooooooooooo oooooooooooooooooooo opl oplc pfm pfm pfu rec study dump studydump systems programming

来源：评论

学校读者我要写书评

暂无评论

Mit :: Lcs :: Tr :: Mit-Lcs-Tr-635

引用

2016年

[Auto Generated] 1 Introduction 1 2 Unix shells 2 3 Process notation 6 3.1 Extended process forms and i/o redirections The central artifact of this paper is a new Unix shell called scsh. However, I have a larger purpose beyond simply giving a description of the new system. It has become fashionable recently to claim that language doesn't matter. After twenty years of research, operating systems and systems applications are still mainly written in C and its complex successor, C++. Perhaps advance

关键词： automatic storage command language extended process file file descriptor file descriptors mit-lcs-tr-635 notation procedure process process forms programmer programming scheme scsh special forms system call systems programming unix unix file user

来源：评论

学校读者我要写书评

暂无评论

Computer Sciences Corporation: Capabilities Documentation

引用

2017年

[Auto Generated] This is CSC 3 Management at CSC 4 Services at CSC 7 Operational systems 7 Scientific Applications 7 Mathematical Analysis 8 systems programming 8 programming R&D 9 Commercial Applications 9 Service Bureau 10 Facility Management 11 Computer-Prepared Tax Returns 11 Project Management 12 Quality Assurance 12 Project Planning 13 CSC Clients 14 CSC Facilities 16 i^ J L K..._ ! w

关键词： analysis assurance department capabilities computax computer computer sciences corporation: csc data processing design development documentation: jet propulsion management operational systems programming programs project management quality assurance sciences service bureau staff members systems systems programming

来源：评论

学校读者我要写书评

暂无评论

Hp :: 98Xx :: 09825-90200 Oprpgmg Nov80

引用

2016年

Hp :: 98Xx :: 09825-90200 Oprpgmg Nov80 by published by

关键词： advanced programming file file number function keyboard keyboard operations live keyboard nov80 oprpgmg program programming rom select code special function statement string string variable string variables systems programming tape cartridge variables

来源：评论

学校读者我要写书评

暂无评论

Týr : a dependent type based code transformation for spatial memory safety in LLVM

Týr : a dependent type based code transformation for spatia...

引用

作者： Araújo, Vítor Bujés Ubatuba de

The C programming language does not enforce spatial memory safety: it does not ensure that memory accessed through a pointer to an object, such as an array, actually belongs to that object. Rather, the programmer is responsible for keeping track of allocations and bounds information and ensuring that only valid memory accesses are performed by the program. On the one hand, this provides flexibility: the programmer has full control over the layout of data in memory, and when checks are performed. On the other hand, this is a frequent source of bugs and security vulnerabilities in C programs. A number of techniques have been proposed to provide memory safety in C. Typically such systems keep their own bounds information and instrument the program to ensure that memory safety is not violated. This has a number of drawbacks, such as changing the memory layout of data structures and thus breaking binary compatibility with external libraries and/or increased memory usage. A different approach is to use dependent types to describe the bounds information already latent in C programs and thus allow the compiler to use that information to enforce spatial memory safety. Although such systems have been proposed before, they are tied specifically to the C programming language. Other languages such as C++ suffer from similar memory safety problems, and thus could benefit from a more language-agnostic approach. This work proposes Týr, a program transformation based on dependent types for ensuring spatial memory safety of C programs at the LLVM IR level. It allows programmers to describe at the type level the relationships between pointers and bounds information already present in C programs. In this way, Týr ensures spatial memory safety by checking the consistent usage of this pre-existing metadata, through run-time checks inserted in the program guided by the dependent type information. By targeting the lower LLVM IR level, Týr aims to be usable as a foundation for spatial memo

关键词： Memoria : Computadores Dependent types systems programming Program transformation Memory safety Dissertação

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共4页 << < 1 2 3 4 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：