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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

632 篇 会议
65 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

578 篇 工学
- 479 篇 软件工程
- 437 篇 计算机科学与技术...
- 30 篇 电气工程
- 27 篇 控制科学与工程
- 16 篇 信息与通信工程
- 6 篇 建筑学
- 5 篇 土木工程
- 5 篇 生物工程
- 4 篇 化学工程与技术
- 4 篇 生物医学工程（可授...
- 3 篇 材料科学与工程（可...
- 2 篇 力学（可授工学、理...
- 2 篇 机械工程
- 2 篇 光学工程
- 2 篇 动力工程及工程热...
- 2 篇 农业工程
60 篇 理学
- 49 篇 数学
- 6 篇 生物学
- 6 篇 统计学（可授理学、...
- 5 篇 物理学
- 4 篇 化学
- 2 篇 系统科学
39 篇 教育学
- 39 篇 教育学
30 篇 管理学
- 19 篇 图书情报与档案管...
- 12 篇 管理科学与工程(可...
- 5 篇 工商管理
6 篇 法学
- 6 篇 社会学
2 篇 经济学
- 2 篇 应用经济学
2 篇 农学
- 2 篇 作物学
2 篇 医学
- 2 篇 临床医学

主题

106 篇 functional progr...
66 篇 languages
61 篇 computer program...
46 篇 design
34 篇 computer program...
32 篇 haskell
30 篇 programming
20 篇 object oriented ...
20 篇 dependent types
18 篇 functional react...
18 篇 theory
18 篇 programming lang...
17 篇 performance
13 篇 domain-specific ...
13 篇 semantics
12 篇 algorithms
12 篇 logic programmin...
11 篇 generic programm...
11 篇 verification
11 篇 continuations

机构

7 篇 northeastern uni...
7 篇 carnegie mellon ...
7 篇 portland state u...
5 篇 univ penn philad...
5 篇 chalmers univ te...
4 篇 inria
4 篇 microsoft res ca...
3 篇 north carolina s...
3 篇 indiana univ blo...
3 篇 georgia inst tec...
3 篇 univ edinburgh e...
3 篇 univ strathclyde...
3 篇 harvard univ cam...
3 篇 univ new s wales...
3 篇 it university of...
3 篇 carnegie mellon ...
3 篇 univ cambridge c...
3 篇 univ utah salt l...
3 篇 yale univ dept c...
3 篇 luca school of a...

作者

7 篇 krishnaswami nee...
5 篇 flatt matthew
5 篇 keller gabriele
5 篇 jones mark p.
5 篇 findler robert b...
4 篇 xi hw
4 篇 mcbride conor
4 篇 vafeiadis viktor
4 篇 weirich stephani...
4 篇 claessen koen
4 篇 jeuring johan
4 篇 chlipala adam
4 篇 peyton jones sim...
4 篇 walker david
3 篇 oliveira bruno c...
3 篇 leshchinskiy rom...
3 篇 watanabe takuo
3 篇 pottier francois
3 篇 devriese dominiq...
3 篇 gibbons phillip ...

语言

631 篇 英文
63 篇 其他
2 篇 法文
2 篇 葡萄牙文
2 篇 中文

检索条件"任意字段=15th ACM SIGPLAN International Conference on Functional Programming"

共 700 条记录，以下是121-130 订阅

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

详细简洁

排序：

Rhine: FRP with Type-Level Clocks 11

Rhine: FRP with Type-Level Clocks

引用

Haskell conference

作者： Baerenz, Manuel Perez, Ivan Univ Wien Math Fak Vienna Austria NIA Hampton VA USA

ISBN: (纸本)9781450358354

Processing data at different rates is generally a hard problem in reactive programming. Buffering problems, lags, and concurrency issues often occur. Many of these problems are clock errors, where data at different rates is combined incorrectly. Techniques to avoid clock errors, such as type-level clocks and deterministic scheduling, exist in the field of synchronous programming, but are not implemented in general-purpose languages like Haskell. Rhine is a clock-safe library for synchronous and asynchronous functional Reactive programming (FRP). It separates the aspects of clocking, scheduling and resampling from each other, and ensures clock-safety at the type level. Concurrent communication is encapsulated safely. Diverse reactive subsystems can be combined in a coherent, declarative data-flow framework, while correct interoperability of data at different rates is guaranteed by type-level clocks. this provides a general-purpose framework that simplifies multi-rate FRP systems and can be used for game development, media applications, GUIs and embedded systems, through a flexible API with many reusable components.

关键词： functional reactive programming haskell reactive programming asynchronous programming

来源：评论

学校读者我要写书评

暂无评论

Helping Social Studies Teachers to Design Learning Experiences Around Data Participatory Design for New Teacher-Centric programming Languages 19

Helping Social Studies Teachers to Design Learning Experienc...

引用

15th acm Annual international Computing Education Research (ICER) conference

作者： Naimipour, Bahare Guzdial, Mark Shreiner, Tamara Univ Michigan Ann Arbor MI 48109 USA Grand Valley State Univ Allendale MI 49401 USA

ISBN: (纸本)9781450361859

Social studies educators often use stories to convey historical changes over time. Data visualizations are powerful tools that can help illustrate and investigate these stories and the questions surrounding them. the ability to analyze, interpret, evaluate, and use data and data visualizations - known as data literacy - has become an increasingly important component of K-12 social studies education in recent years. In an effort to improve data literacy, teachers see a role for computer science in social studies education. In Spring 2019, we conducted a pilot participatory design session with 18 social studies pre-service educators with little to no programming experience. this was a unique session where we asked pre-service teachers taking a course on data literacy to inform the design of programming languages, specifically for social studies education. We structured our session as participatory design [1], a novel method in computing education research, where teachers evaluated two programming experiences and then told us what they would like in future programming languages and experiences. the Minimal Manual [2] was used as a guide in the design of the programming activity sheets. Survey results showed teachers initially did not believe programming would be useful, but afterwards their opinions changed and they even showed eagerness to learn and do more with programming for their purposes. the characteristics that the teachers most valued were features of the programming environment, rather than the language syntax or semantics. For their students, they preferred a programming language that would be useful in other classes as well as in social studies. We are currently using conjecture maps [3] to process and analyze the data from our participatory design session. Conjecture maps are meant to specify theoretically salient features in the learning environment design by mapping out how they are predicted to work to produce desired outcomes. It has enabled us to see

关键词： Participatory design data literacy HCI Education Conjecture mapping Minimal manual

来源：评论

学校读者我要写书评

暂无评论

Vocal programming for People with Upper-Body Motor Impairments 18

Vocal Programming for People with Upper-Body Motor Impairmen...

引用

15th international Web for All conference (W4A)

作者： Rosenblatt, Lucas Carrington, Patrick Hara, Kotaro Bigham, Jeffrey P. Brown Univ Providence RI 02912 USA Carnegie Mellon Univ Pittsburgh PA 15213 USA Singapore Management Univ Singapore Singapore

ISBN: (纸本)9781450356510

programming heavily relies on entering text using traditional QWERTY keyboards, which poses challenges for people with limited upper-body movement. Developing tools using a publicly available speech recognition API could provide a basis for keyboard free programming. In this paper, we describe our efforts in design, development, and evaluation of a voice-based IDE to support people with limited dexterity. We report on a formative Wizard of Oz (WOz) based design process to gain an understanding of how people would use and what they expect from a speech-based programming environment. Informed by the findings from the WOz, we developed VocalIDE, a prototype speech-based IDE with features such as Context Color Editing that facilitates vocal programming. Finally, we evaluate the utility of VocalIDE with 8 participants who have upper limb motor impairments. the study showed that VocalIDE significantly improves the participants' ability to make navigational edits and select text while programming.

关键词： Speech recognition programming tools upper-limb impairment Cerebral Palsy

来源：评论

学校读者我要写书评

暂无评论

Pattern Matching in an Open World 2018

Pattern Matching in an Open World

引用

17th acm sigplan international conference on Generative programming - Concepts and Experiences (GPCE) part of the SPLASH Collection of conferences and Workshops

作者： Zhang, Weixin Oliveira, Bruno C. d. S. Univ Hong Kong Hong Kong Peoples R China

ISBN: (纸本)9781450360456

Pattern matching is a pervasive and useful feature in functional programming. there have been many attempts to bring similar notions to Object-Oriented programming (OOP) in the past. However, a key challenge in OOP is how pattern matching can coexist with the open nature of OOP data structures, while at the same time guaranteeing other desirable properties for pattern matching. this paper discusses several desirable properties for pattern matching in an OOP context and shows how existing approaches are lacking some of these properties. We argue that the traditional semantics of pattern matching, which is based on the order of patterns and adopted by many approaches, is in conflict with the openness of data structures. therefore we suggest that a more restricted, top-level pattern matching model, where the order of patterns is irrelevant, is worthwhile considering in an OOP context. To compensate for the absence of ordered patterns we propose a complementary mechanism for case analysis with defaults, which can be used when nested and/or multiple case analysis is needed. To illustrate our points we develop CASTOR: a meta-programming library in Scala that adopts both ideas. CASTOR generates code that uses type-safe extensible visitors, and largely removes boilerplate code typically associated with visitors. We illustrate the applicability of our approach with a case study modularizing the interpreters in the famous book "Types and programming Languages".

关键词： Pattern matching Meta-programming OOP

来源：评论

学校读者我要写书评

暂无评论

Erlang 2018 - Proceedings of the 17th acm sigplan international Workshop on Erlang, co-located with ICFP 2018

Erlang 2018 - Proceedings of the 17th ACM SIGPLAN Internatio...

引用

17th acm sigplan international Workshop on Erlang, Erlang 2018, co-located with the Annual international conference on functional programming, ICFP 2018

ISBN: (纸本)9781450358248

the proceedings contain 7 papers. the topics discussed include: iDeA: an immersive debugger for actors;understanding formal specifications through good examples;modeling distributed erlang within a single node;automatic detection of core erlang message passing errors;typing the wild in erlang;modeling erlang processes as petri nets;and towards secure erlang systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

MORBIG: A Static Parser for POSIX Shell 11

MORBIG: A Static Parser for POSIX Shell

引用

11th acm sigplan international conference on Software Language Engineering (SLE) part of SPLASH conference

作者： Regis-Gianas, Yann Jeannerod, Nicolas Treinen, Ralf Univ Paris Diderot CNRS INRIA IRIFPI R2 Paris France Univ Paris Diderot CNRS IRIF Ecole Normale Super Paris France Univ Paris Diderot CNRS IRIF Paris France

ISBN: (纸本)9781450360296

the POSIX shell language defies conventional wisdom of compiler construction on several levels: the shell language was not designed for static parsing, but with an intertwining of syntactic analysis and execution by expansion in mind. Token recognition cannot be specified by regular expressions, lexical analysis depends on the parsing context and the evaluation context, and the shell grammar given in the specification is ambiguous. Besides, the unorthodox design choices of the shell language fit badly in the usual specification languages used to describe other programming languages. this makes the standard usage of LEX and YACC as a pipeline inadequate for the implementation of a parser for POSIX shell. the existing implementations of shell parsers are complex and use low-level character-level parsing code which is difficult to relate to the POSIX specification. We find it hard to trust such parsers, especially when using them for writing automatic verification tools for shell scripts. this paper offers an overview of the technical difficulties related to the syntactic analysis of the POSIX shell language. It also describes how we have resolved these difficulties using advanced parsing techniques (namely speculative parsing, parser state introspection, context-dependent lexical analysis and longest-prefix parsing) while keeping the implementation at a sufficiently high level of abstraction so that experts can check that the POSIX standard is respected. the resulting tool, called MORBIG, is an open-source static parser for a well-defined and realistic subset of the POSIX shell language.

关键词： Parsing POSIX shell functional programming

来源：评论

学校读者我要写书评

暂无评论

Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems programming 15th

Uniqueness Types for Efficient and Verifiable Aliasing-Free ...

引用

15th international conference on integrated Formal Methods (IFM)

作者： Benoit, Tuur Jacobs, Bart Siemens Ind Software Leuven Belgium Katholieke Univ Leuven Dept Comp Sci Imec DistriNet Res Grp Leuven Belgium

ISBN: (纸本)9783030349684;9783030349677

An important consequence of only having value types in an aliasing-free programming language is the significant reduction in annotation burden to verify programs using semi-automatic proof systems. However, values in such language are often copied implicitly which is detrimental to the execution speed and memory usage of practical systems. Moreover, embedded systems programmers need fine-grained control over the circumstances at which data is copied to be able to predict memory use and execution times. this paper introduces a new approach to using uniqueness types to enable building efficient and verifiable embedded systems using an aliasing-free programming language. the idea is to use uniqueness types for enforcing at-most-once consumption of unique values. the proposed model of uniqueness of values enables compiler optimizations such as elimination of physical copies and in-place mutation. In addition, the proposed approach provides a lightweight notation for the programmer to control copying behavior. We have implemented our method in Sim, a new language for the development of safety-critical software. Our validation cases suggest that our aliasing-free language allows one to verify the functional correctness of realistic embedded programs with only a small annotation overhead while keeping the run-time performance of the program up to par with hand-optimized code.

关键词： Formal verification Uniqueness types Aliasing-free

来源：评论

学校读者我要写书评

暂无评论

Scala 2018 - Proceedings of the 9th acm sigplan international Symposium on Scala, co-located with ICFP 2018

Scala 2018 - Proceedings of the 9th ACM SIGPLAN Internationa...

引用

9th acm sigplan international Symposium on Scala, Scala 2018, Part of the acm sigplan international conference on functional programming, ICFP 2018

ISBN: (纸本)9781450358361

the proceedings contain 9 papers. the topics discussed include: a domain-specific language for microservices;parser combinators for context-free path querying;garnishing parsec with parsley;path dependent types with path-equality;kDOT: scaling DOT with mutation and constructors;truly abstract interfaces for algebraic data types: the extractor typing problem;interflow: interprocedural flow-sensitive type inference and method duplication;and extending scala with records: design, implementation, and evaluation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Comprehension Effort and programming Activities: Related? Or Not Related? 15

Comprehension Effort and Programming Activities: Related? Or...

引用

acm/IEEE 15th international conference on Mining Software Repositories (MSR)

作者： Rahman, Akond North Carolina State Univ Raleigh NC 27695 USA

ISBN: (纸本)9781450357166

Researchers have observed programmers to allocate considerable amount of effort in program comprehension. But, how does program comprehension effort relate with programming activities? We answer this question by conducting an empirical study using the MSR 2018 Mining Challenge Dataset. We quantify programmers' comprehension effort, and investigate the relationship between program comprehension effort and four programming activities: navigating, editing, building projects, and debugging. We observe when programmers are involved in high comprehension effort they navigate and make edits at a significantly slower rate. However, we do not observe any significant differences in programmers' build and debugging behavior, when programmers are involved in high comprehension effort. Our findings suggest that the relationship between program comprehension effort and programming activities is nuanced, as not all programming activities associate with program comprehension effort.

关键词： Comprehension Halstead's complexity Programmer behavior

来源：评论

学校读者我要写书评

暂无评论

Genetic Improvement in Code Interpreters and Compilers 2017

Genetic Improvement in Code Interpreters and Compilers

引用

8th acm sigplan international conference on Systems, programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2017

作者： Krauss, Oliver Johannes Keppler University Linz Institute for System Software Altenberger Street 69 Linz4040 Austria University of Applied Sciences Upper Austria Softwarepark 13 Hagenberg4232 Austria

ISBN: (纸本)9781450355148

Modern compilers provide code optimizations before and during run-time, thus moving required domain knowledge about the compilation process away from the developer and speeding up resulting software. these optimizations are often based on formal proof, or alternatively have recovery paths as backup. Genetic improvement (GI), a field of science utilizing genetic programming, a stochastic optimization technique, has been previously utilized to fix bugs in software and improve non-functional software requirements. this work proposes to research the applicability of GI in an offline phase directly at the interpreter or compiler level. the primary goal is to reformulate existing source code in such a way that existing optimizations can be applied in order to increase performance even further and requiring even less domain knowledge from the developer about a programming language and/or compiler. From these reformulations, patterns can be identified that allow code restructuring without the overhead GI poses. © 2017 Copyright held by the owner/author(s). Publication rights licensed to Association for Computing Machinery.

关键词： Genetic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共70页 << < 9 10 11 12 13 14 15 16 17 18 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：