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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

148 篇 会议
3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

113 篇 工学
- 107 篇 软件工程
- 101 篇 计算机科学与技术...
- 7 篇 控制科学与工程
- 3 篇 电气工程
- 3 篇 电子科学与技术（可...
- 3 篇 信息与通信工程
- 3 篇 环境科学与工程（可...
- 2 篇 生物工程
- 1 篇 力学（可授工学、理...
- 1 篇 机械工程
- 1 篇 土木工程
- 1 篇 农业工程
- 1 篇 生物医学工程（可授...
- 1 篇 网络空间安全
12 篇 理学
- 9 篇 数学
- 2 篇 生物学
- 2 篇 系统科学
- 1 篇 物理学
11 篇 管理学
- 6 篇 图书情报与档案管...
- 5 篇 管理科学与工程(可...
- 3 篇 工商管理
4 篇 教育学
- 4 篇 教育学
1 篇 经济学
- 1 篇 应用经济学
1 篇 法学
- 1 篇 社会学
1 篇 农学
- 1 篇 作物学

主题

21 篇 computer program...
8 篇 java programming...
5 篇 object oriented ...
5 篇 software design
4 篇 semantics
3 篇 computer program...
3 篇 functional progr...
2 篇 program debuggin...
2 篇 access control
2 篇 database systems
2 篇 high level langu...
2 篇 parallel program...
2 篇 challenges
2 篇 specifications
2 篇 component integr...
2 篇 generic programm...
2 篇 c (programming l...
2 篇 python
2 篇 language server ...
2 篇 c#

机构

3 篇 xerox palo alto ...
2 篇 czech tech univ ...
2 篇 ecole polytech f...
2 篇 cornell univ ith...
2 篇 princeton univ p...
2 篇 northeastern uni...
2 篇 stanford univers...
2 篇 univ cambridge c...
2 篇 indiana univ blo...
2 篇 computer science...
2 篇 univ potsdam has...
2 篇 computer science...
2 篇 carnegie mellon ...
1 篇 mbzuai masdar
1 篇 johns hopkins un...
1 篇 center for the s...
1 篇 mcc 9430 researc...
1 篇 virginia tech bl...
1 篇 computer corpora...
1 篇 ibm t. j. watson...

作者

4 篇 hirschfeld rober...
2 篇 o'donnell john t...
2 篇 rein patrick
2 篇 niephaus fabio
2 篇 penedo maria h.
2 篇 david r. hanson
2 篇 john t. o'donnel...
2 篇 ploedereder erha...
2 篇 pfenning frank
2 篇 heimbigner denni...
2 篇 vitek jan
2 篇 mattis toni
1 篇 nozkin ilya
1 篇 chung benjamin
1 篇 hadfield steven ...
1 篇 balasubramaniam ...
1 篇 austin cory bart
1 篇 agnarsson snorri
1 篇 staats matt
1 篇 gestwicki paul

语言

149 篇 英文
2 篇 其他

检索条件"任意字段=Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments"

共 151 条记录，以下是1-10 订阅

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

详细简洁

排序：

Reclaiming the Unexplored in Hybrid Visual programming

Reclaiming the Unexplored in Hybrid Visual Programming

引用

acm sigplan International symposium on New Ideas, New Paradigms, and Reflections on programming and Software (Onward!)

作者： Homer, Michael Victoria Univ Wellington Sch Engn & Comp Sci Wellington New Zealand

ISBN: (纸本)9798400712159

programming languages have been trapped in a world of linear textual representations fundamentally unchanged for half a century. Even systems pushing beyond these forms visual languages, projectional language workbenches, and end-user programming tools - largely ape the strictures of stream-of-bytes compilers and confine themselves to the popular paradigms of conventional textual systems. Instead of recreating what succeeded in textual paradigms, newprogramming systems should also be exploring what did not- the confounding, confusing, convoluted approaches that fell by the wayside- with the sorts of direct manipulation, spatial connection, and change over time that textual languages could never match;and they should use their control of presentation to let the user choose the right representation for a piece of code in the moment- and change it. We argue that these two points unlock new frontiers for programming systems, and present preliminary explorations to highlight how multiple-representation environments can lower the pressure on more speculative visual paradigms, to encourage more investigation of this underexamined space.

关键词： visual programming dataflow concatenative

来源：评论

学校读者我要写书评

暂无评论

programming languages for the Future of Design Computation

Programming Languages for the Future of Design Computation

引用

acm sigplan International symposium on New Ideas, New Paradigms, and Reflections on programming and Software (Onward!)

作者： Aish, Robert Al Fisher Orchard, Dominic Torry, Jay UCL London England Bur Happold London England Univ Kent Canterbury Kent England Univ Cambridge Cambridge England

ISBN: (纸本)9798400712159

Design Computation is the use of programming in the design of physical systems such as buildings and infrastructure. This involves embedding both general-purpose textual languages and domain-specific visual languages within geometry modelling and engineering applications in the construction industry. A unique form of entry-level end-user programming has emerged in Design Computation. However, there are significant usability and representational issues;general-purpose languages present barriers to adoption, whilst visual languages do not scale to complex design problems. In this essay, we explore how advances in programming language research could be harnessed in future Design Computation languages to address these pedagogic, representational and scaling issues so as to improve human-readable program structure and semantics and to enable machine-readable program verification.

关键词： Design Computation programming languages Visual languages End-User programming Cognitive Dimensions Usability Collaborative Coding Type Systems Units of Measure Collection Types Program Verification

来源：评论

学校读者我要写书评

暂无评论

Use Site Checking Considered Harmful

Use Site Checking Considered Harmful

引用

acm sigplan International symposium on New Ideas, New Paradigms, and Reflections on programming and Software (Onward!)

作者： Racordon, Dimi Chung, Benjamin Ecole Polytech Fed Lausanne Lausanne Switzerland Univ Washington Seattle WA 98195 USA

ISBN: (纸本)9798400712159

Static type checking aims to detect nonsensical operations based on their domains at compile time. While its benefits no longer need to be argued, it comes with expressiveness limitations that can only be lifted at the expense of complexity. This problem is particularly antithetical to generic programming, where algorithms and data structures are designed in the most general setting possible. In response, some systems have adopted a form of static duck typing: generic definitions are written against assumed interfaces that are only type checked with concrete types at their ultimate use sites. This essay claims that such an approach, which we refer to as use site checking, is harmful to user experience. We study four main problems caused by use site checking and show how they relate to similar well-known issues in dynamically typed languages. We then look at existing language constructs to discuss how statically typed languages may address these shortcomings.

关键词： type checking static typing dynamic typing type safety generic programming expression problem

来源：评论

学校读者我要写书评

暂无评论

Onward! 2023 - proceedings of the 2023 acm sigplan International symposium on New Ideas, New Paradigms, and Reflections on programming and Software, Co-located with: SPLASH 2023

Onward! 2023 - Proceedings of the 2023 ACM SIGPLAN Internati...

引用

2023 acm sigplan International symposium on New Ideas, New Paradigms, and Reflections on programming and Software, Onward! 2023, co-located with SPLASH 2023

ISBN: (纸本)9798400703881

The proceedings contain 13 papers. The topics discussed include: scalable spreadsheet-driven end-user applications with incremental computation;towards an industrial stateful software rejuvenation toolchain using model learning;cloning and beyond: a quantum solution to duplicate code;trustworthy formal natural language specifications;code merging using transformations and member identity;time-awareness in object exploration tools: toward in situ omniscient debugging;could no-code be code? toward a no-code programming language for citizen developers;concept-centric software development: an experience report;toward programming languages for reasoning: humans, symbolic systems, and ai agents;will code remain a relevant user interface for end-user programming with generative AI Models?;and whither problem-solving environments?.

关键词：

来源：评论

学校读者我要写书评

暂无评论

HasTEE: programming Trusted Execution environments with Haskell 16

HasTEE: Programming Trusted Execution Environments with Hask...

引用

16th acm sigplan International symposium on Haskell (Haskell)

作者： Sarkar, Abhiroop Krook, Robert Russo, Alejandro Claessen, Koen Chalmers Univ Gothenburg Sweden Chalmers Univ DPella AB Gothenburg Sweden

ISBN: (纸本)9798400702983

Trusted Execution environments (TEEs) are hardware enforced memory isolation units, emerging as a pivotal security solution for security-critical applications. TEEs, like Intel SGX and ARM TrustZone, allow the isolation of confidential code and data within an untrusted host environment, such as the cloud and IoT. Despite strong security guarantees, TEE adoption has been hindered by an awkward programming model. This model requires manual application partitioning and the use of error-prone, memory-unsafe, and potentially information-leaking low-level C/C++ libraries. We address the above with HasTEE, a domain-specific language (DSL) embedded in Haskell for programming TEE applications. HasTEE includes a port of the GHC runtime for the Intel-SGX TEE. HasTEE uses Haskell's type system to automatically partition an application and to enforce Information Flow Control on confidential data. The DSL, being embedded in Haskell, allows for the usage of higher-order functions, monads, and a restricted set of I/O operations to write any standard Haskell application. Contrary to previous work, HasTEE is lightweight, simple, and is provided as a simple security library;thus avoiding any GHC modifications. We show the applicability of HasTEE by implementing case studies on federated learning, an encrypted password wallet, and a differentially-private data clean room.

关键词： Trusted Execution Environment Haskell Intel SGX Enclave

来源：评论

学校读者我要写书评

暂无评论

Faster Feedback with AI? A Test Prioritization Study 8

Faster Feedback with AI? A Test Prioritization Study

引用

8th International Conference on the Art, Science, and Engineering of programming (programming)

作者： Mattis, Toni Boehme, Lukas Krebs, Eva Rinard, Martin C. Hirschfeld, Robert Univ Potsdam Hasso Plattner Inst Potsdam Germany MIT Cambridge MA USA

ISBN: (纸本)9798400706349

Feedback during programming is desirable, but its usefulness depends on immediacy and relevance to the task. Unit and regression testing are practices to ensure programmers can obtain feedback on their changes;however, running a large test suite is rarely fast, and only a few results are relevant. Identifying tests relevant to a change can help programmers in two ways: upcoming issues can be detected earlier during programming, and relevant tests can serve as examples to help programmers understand the code they are editing. In this work, we describe an approach to evaluate how well large language models (LLMs) and embedding models can judge the relevance of a test to a change. We construct a dataset by applying faulty variations of real-world code changes and measuring whether the model could nominate the failing tests beforehand. We found that, while embedding models perform best on such a task, even simple information retrieval models are surprisingly competitive. In contrast, pre-trained LLMs are of limited use as they focus on confounding aspects like coding styles. We argue that the high computational cost of AI models is not always justified, and tool developers should also consider non-AI models for code-related retrieval and recommendation tasks. Lastly, we generalize from unit tests to live examples and outline how our approach can benefit live programming environments.

关键词： generative ai large language models embedding models testing test prioritization

来源：评论

学校读者我要写书评

暂无评论

Scaffolding Progress: How Structured Editors Shape Novice Errors When Transitioning from Blocks to Text 2023

Scaffolding Progress: How Structured Editors Shape Novice Er...

引用

54th Annual acm SIGCSE Technical symposium on Computer Science Education (SIGCSE TS)

作者： Kazemitabaar, Majeed Chyhir, Viktar Weintrop, David Grossman, Tovi Univ Toronto Dept Comp Sci Toronto ON Canada Univ Maryland Coll Educ Coll Informat Studies College Pk MD 20742 USA

ISBN: (纸本)9781450394314

Transitioning from block-based programming to text-based programming environments can be challenging as it requires students to learn new programming language concepts. In this paper, we identify and classify the issues encountered when transitioning from block-based to text-based programming. In particular, we investigate differences that emerge in learners when using a structured editor compared to an unstructured editor. We followed 26 high school students (ages 12-16;M=14 years) as they transitioned from Scratch to Python in three phases: (i) learning Scratch, (ii) transitioning from Scratch to Python using either a structured or unstructured editor, and (iii) evaluating Python coding skills using an unstructured editor. We identify 27 distinct types of issues and show that learners who used a structured editor during the transition phase had 4.6x less syntax issues and 1.9x less data-type issues compared to those who did not. When these learners switched to an unstructured editor for evaluation, they kept a lower rate on data-type issues but faced 4x more syntax errors.

关键词： high school programming novices transition blocks-to-text challenges structured editors thematic analysis

来源：评论

学校读者我要写书评

暂无评论

Memory Safety Instrumentations in Practice: Usability, Performance, and Security Guarantees 25

Memory Safety Instrumentations in Practice: Usability, Perfo...

引用

23rd acm/IEEE International symposium on Code Generation and Optimization, CGO 2025

作者： Jung, Tina Ritter, Fabian Hack, Sebastian Saarland University Saarbrücken Germany

ISBN: (纸本)9798400712753

Memory safety violations due to C’s undefined behavior, although well researched, still cause security breaches year by year. The most dangerous reported violations are spatial safety violations, where objects are accessed outside of their bounds. A wide variety of spatial safety sanitizers promise easy usage, broad security guarantees, and a low execution time overhead. However, only few of them are actually used. Instead of proposing yet another sanitizer, we dig deep into Low-Fat Pointers and SoftBound, two approaches to generate fast-to-execute safe programs with strong safety guarantees, and identify pain points in their usage. We found that seemingly small simplifying assumptions or limitations of the approaches often lead to spurious error reports. On top of analyzing usability issues, we set up a framework that abstracts common tasks of memory safety instrumentations, such as finding locations for checks and eliminating redundant checks. This abstraction allows us to draw a fair comparison between approaches when it comes to execution time and the number of safe accesses. We use this framework to give novel insights into how many accesses are provably safe, and where to attribute execution time overhead. Our findings help future research on memory safety instrumentations by identifying issues that current approaches face in their practical application. We make our LLVM-based instrumentation framework available to reduce the effort required to implement new instrumentations and to ease comparisons to Low-Fat Pointers and SoftBound. © 2025 Copyright held by the owner/author(s).

关键词： C (programming language)

来源：评论

学校读者我要写书评

暂无评论

MTE4JNI: A Memory Tagging Method to Protect Java Heap Memory from Illicit Native Code Access 25

MTE4JNI: A Memory Tagging Method to Protect Java Heap Memory...

引用

23rd acm/IEEE International symposium on Code Generation and Optimization, CGO 2025

作者： Chen, Huinan Ma, Jiang Xue, Chun Jason Li, Qingan Wuhan University Wuhan China Guangdong OPPO Mobile Telecommunications Corp. Ltd. Dongguan China MBZUAI Masdar United Arab Emirates

ISBN: (纸本)9798400712753

With the proliferation of mobile devices in daily life, ensuring the security and performance of these devices has become crucial. On Android, the Java Native Interface (JNI) acts as a bridge, allowing native libraries to directly access Java heap memory via raw pointers, bypassing Java’s built-in safety checks. While this offers powerful functionality and performance, it also threatens the memory safety of the Java heap. Recently, Memory Tagging Extension (MTE) is introduced into the ARM architectures to enhance memory safety, reducing software vulnerabilities caused by illegal memory operations. This paper proposes MTE4JNI, an MTE-based JNI checking method, to protect Java heap memory from illicit native code access. Experimental results on real Android devices demonstrate that, compared to the currently employed guarded copy method, the proposed MTE4JNI method provides superior memory safety protection, while significantly reducing the runtime overhead on average by 11x and 27x for single-threaded and multi-threaded environments, respectively. © 2025 Copyright held by the owner/author(s).

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Whither Problem-Solving environments

Whither Problem-Solving Environments

引用

2023 acm sigplan International symposium on New Ideas, New Paradigms, and Reflections on programming and Software, Onward! 2023, co-located with SPLASH 2023

作者： Dinmore, Matthew Johns Hopkins University Applied Physics Laboratory LaurelMD United States

ISBN: (纸本)9798400703881

During the 1990s and first decade of the 2000s, problem-solving environments (PSEs) were a topic of research among a community with the vision to create software systems "with all of the computational facilities necessary to solve a target class of problems."Use of the term has since declined, with fewer papers focused on core PSE research topics. What happened Did we achieve the design vision for PSEs through other means-namely computational notebooks-or is there more to do In this essay, we explore the history and objectives of PSE research, the rise of computational notebooks, whether they achieve these objectives, and why the time is right to renew our PSE research efforts. © 2023 acm.

关键词： artificial intelligence computational notebook modeling Problem-solving environment science and engineering simulation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共16页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：