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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

82 篇 会议
9 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

69 篇 工学
- 62 篇 软件工程
- 32 篇 计算机科学与技术...
- 2 篇 控制科学与工程
7 篇 教育学
- 7 篇 教育学
1 篇 理学
- 1 篇 物理学
1 篇 管理学
- 1 篇 管理科学与工程(可...
- 1 篇 工商管理
1 篇 艺术学
- 1 篇 音乐与舞蹈学

主题

6 篇 meta-programming
5 篇 multi-stage prog...
5 篇 domain-specific ...
5 篇 staging
4 篇 generative progr...
4 篇 program transfor...
4 篇 scala
4 篇 functional progr...
4 篇 code generation
3 篇 program synthesi...
3 篇 denotational sem...
3 篇 parallel program...
3 篇 metaprogramming
3 篇 java
3 篇 software product...
3 篇 games
2 篇 object oriented ...
2 篇 feature-oriented...
2 篇 design-by-contra...
2 篇 code generation ...

机构

4 篇 ecole polytech f...
4 篇 swiss fed inst t...
3 篇 virginia tech so...
2 篇 univ minnesota m...
2 篇 tech univ carolo...
2 篇 univ southern de...
2 篇 department of in...
2 篇 psl res univ min...
2 篇 univ tsukuba dep...
2 篇 texas a&m univ c...
2 篇 rhein westfal th...
2 篇 univ hong kong p...
2 篇 tech univ dresde...
2 篇 purdue univ dept...
2 篇 tu braunschweig ...
1 篇 dfki gmbh cyber ...
1 篇 universitat pomp...
1 篇 univ amsterdam
1 篇 katholieke univ ...
1 篇 ctr wiskunde & i...

作者

3 篇 tilevich eli
3 篇 chiba shigeru
3 篇 odersky martin
3 篇 schaefer ina
3 篇 rompf tiark
2 篇 oliveira bruno c...
2 篇 rink norman a.
2 篇 kramer lucas
2 篇 schultz ulrik pa...
2 篇 seidl christoph
2 篇 schuster sven
2 篇 puschel markus
2 篇 kolesnichenko al...
2 篇 jarvi jaakko
2 篇 nanz sebastian
2 篇 kusmenko evgeny
2 篇 kameyama yukiyos...
2 篇 susungi adilla
2 篇 cohen albert
2 篇 chlipala adam

语言

82 篇 英文
9 篇 其他

检索条件"任意字段=12th International Conference on Generative Programming: Concepts and Experiences"

共 91 条记录，以下是31-40 订阅

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

详细简洁

排序：

A Domain-Specific Language for Exploratory Data Visualization 2018

A Domain-Specific Language for Exploratory Data Visualizatio...

引用

17th ACM SIGPLAN international conference on generative programming - concepts and experiences (GPCE) part of the SPLASH Collection of conferences and Workshops

作者： Smeltzer, Karl Erwig, Martin Oregon State Univ Corvallis OR 97331 USA

ISBN: (纸本)9781450360456

With an ever-growing amount of collected data, the importance of visualization as an analysis component is growing in concert. the creation of good visualizations often doesn't happen in one step but is rather an iterative and exploratory process. However, this process is currently not well supported in most of the available visualization tools and systems. Visualization authors are forced to commit prematurely to particular design aspects of their creations, and when exploring potential variant visualizations, they are forced to adopt ad hoc techniques such as copying code snippets or keeping a collection of separate files. We propose variational visualizations as a model supporting open-ended exploration of the design space of information visualization. Together with that model, we present a prototype implementation in the form of a domain-specific language embedded in Purescript.

关键词： Data Visualization Exploratory programming

来源：评论

学校读者我要写书评

暂无评论

Classless Java 2016

Classless Java

引用

15th ACM international conference on generative programming - concepts and experiences (GPCE)

作者： Wang, Yanlin Zhang, Haoyuan Oliveira, Bruno C. D. S. Servetto, Marco Univ Hong Kong Hong Kong Hong Kong Peoples R China Victoria Univ Wellington Wellington New Zealand

ISBN: (纸本)9781450344463

this paper presents an OO style without classes, which we call interface-based object-oriented programming (IB). IB is a natural extension of closely related ideas such as traits. Abstract state operations provide a new way to deal with state, which allows for flexibility not available in classbased languages. In IB state can be type-refined in subtypes. the combination of a purely IB style and type-refinement enables powerful idioms using multiple inheritance and state. To introduce IB to programmers we created Classless Java: an embedding of IB directly into Java. Classless Java uses annotation processing for code generation and relies on new features of Java 8 for interfaces. the code generation techniques used in Classless Java have interesting properties, including guarantees that the generated code is type-safe and good integration with IDEs. Usefulness of IB and Classless Java is shown with examples and case studies.

关键词： Interface-based programming multiple inheritance code generation

来源：评论

学校读者我要写书评

暂无评论

Pin++: An object-oriented framework for writing pintools 2014

Pin++: An object-oriented framework for writing pintools

引用

13th international conference on generative programming: concepts and experiences, GPCE 2014

作者： Hill, James H. Feiock, Dennis C. Department of Computer and Information Science Indiana University-Purdue University Indianapolis IndianapolisIN United States

ISBN: (纸本)9781450331616

this paper presents a framework named Pin++. Pin++ is an objectoriented framework that uses template metaprogramming to implement Pintools, which are analysis tools for the dynamic binary instrumentation tool named Pin. the goal of Pin++ is to simplify programming a Pintool and promote reuse of its components across different Pintools. Our results show that Pintools implemented using Pin++ can have a 54% reduction in complexity, increase its modularity, and up to 60% reduction in instrumentation overhead. Copyright 2014 ACM.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Parallel Nondeterministic programming as a Language Extension to C (Short Paper) 2019

Parallel Nondeterministic Programming as a Language Extensio...

引用

18th ACM SIGPLAN international conference on generative programming - concepts and experiences (GPCE)

作者： Kramer, Lucas Van Wyk, Eric Univ Minnesota Minneapolis MN 55455 USA

ISBN: (纸本)9781450369800

this paper explores parallel nondeterministic programming as an extension to the C programming language;it provides constructs for specifying code containing ambiguous choice as introduced by McCarthy. A translator to plain C code was implemented as an extension to the ableC language specification. Translation involves a transformation to continuation passing style, providing lazy choice by storing continuation closures in a separate task buffer. this exploration considers various search evaluation approaches and their impact on correctness and performance. Multiple search drivers were implemented, including single-threaded depth-first search, a combined breadth- and depth-first approach, as well as two approaches to parallelism. Several benchmark applications were created using the extension, including n-Queens, SAT, and triangle peg solitaire. the simplest parallel search driver, using independent threads, showed the best performance in most cases, providing a significant speedup over the sequential versions. Adding task sharing between threads showed similar or slightly improved performance.

关键词： nondeterministic programming parallel programming extensible languages

来源：评论

学校读者我要写书评

暂无评论

A Practical Unification of Multi-stage programming and Macros 2018

A Practical Unification of Multi-stage Programming and Macro...

引用

17th ACM SIGPLAN international conference on generative programming - concepts and experiences (GPCE) part of the SPLASH Collection of conferences and Workshops

作者： Stucki, Nicolas Biboudis, Aggelos Odersky, Martin Ecole Polytech Fed Lausanne Lausanne Switzerland

ISBN: (纸本)9781450360456

Program generation is indispensable. We propose a novel unification of two existing metaprogramming techniques: multi-stage programming and hygienic generative macros. the former supports runtime code generation and execution in a type-safe manner while the latter offers compile-time code generation. In this work we draw upon a long line of research on metaprogramming, starting with Lisp, MetaML and MetaOCaml. We provide direct support for quotes, splices and top-level splices, all regulated uniformly by a level-counting Phase Consistency Principle. Our design enables the construction and combination of code values for both expressions and types. Moreover, code generation can happen either at runtime a la MetaML or at compile time, in a macro fashion, a la MacroML. We provide an implementation of our design in Scala and we present two case studies. the first implements the Hidden Markov Model, Shonan Challenge for HPC. the second implements the staged streaming library Strymonas.

关键词： Macros Multi-stage programming Scala

来源：评论

学校读者我要写书评

暂无评论

Foreign Language Interfaces by Code Migration 2019

Foreign Language Interfaces by Code Migration

引用

18th ACM SIGPLAN international conference on generative programming - concepts and experiences (GPCE)

作者： Chiba, Shigeru Univ Tokyo Grad Sch Informat Sci & Technol Tokyo Japan

ISBN: (纸本)9781450369800

A foreign function interface (FFI) is a classical abstraction used for interfacing a programming language with another foreign language to reuse its libraries. this interface is important for a new (or non prevailing) language because it lacks libraries and thus needs to borrow libraries written in a foreign language when the programmer develops a practical application in that new language. However, a modern library often exploits unique language mechanisms of the implementation language. this makes the use of the library difficult through a simple function call from that new language. this paper presents our approach to this problem. We use an embedded domain specific language (DSL), which is designed to resemble the foreign language, and migrate the DSL code to access to the library written in the foreign language. this paper also presents our framework Yadriggy for developing the DSL from Ruby to a foreign language environment. the framework supports DSL-specific syntax checking for the migrated DSL code.

关键词： foreign function interface polyglot programming library Ruby Python

来源：评论

学校读者我要写书评

暂无评论

Manipulating GUI Structures Declaratively 2020

Manipulating GUI Structures Declaratively

引用

19th ACM SIGPLAN international conference on generative programming - concepts and experiences (GPCE)

作者： Stokke, Knut Anders Barash, Mikhail Jarvi, Jaakko Univ Bergen Bergen Norway Univ Turku Turku Finland

ISBN: (纸本)9781450381741

GUIs often contain structures that are incidental, not properly manipulatable through well-defined APIs. For example, modifying a list of items in a GUI's model may require extraneous bookkeeping operations in the view, such as adding and removing event handlers, and updating the menu structure. Observing GUIs in practice gives an indication that programmers may find it difficult or tedious to implement complete and convenient sets of operations for manipulating various structures: useful operations for adding, inserting, swapping, or reordering elements are often missing, inconsistent, or limited. this paper introduces a DSL for programming operations that manipulate such incidental structures. the programmer specifies structures via relations between elements, concretely by defining methods that unestablish and establish a relation. this gives the programmer an ability to describe structural transformations via rules that control which relations should hold before and after a rule is applied. the API for structure manipulation is generated from these rules. Our DSL can give an abstract view on ad-hoc structures, making it easier to provide the necessary set of operations for their convenient manipulation.

关键词： declarative programming GUIs separation of concerns

来源：评论

学校读者我要写书评

暂无评论

RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms 2017

RaTrace: Simple and Efficient Abstractions for BVH Ray Trave...

引用

16th ACM SIGPLAN international conference on generative programming - concepts and experiences (GPCE) co-located with SPLASH conference

作者： Perard-Gayot, Arsene Weier, Martin Membarth, Richard Slusallek, Philipp Leissa, Roland Hack, Sebastian Saarland Univ Comp Graph Lab Saarbrucken Germany Bonn Rhein Sieg Univ Inst Visual Comp St Augustin Germany DFKI Agents & Simulated Real Saarbrucken Germany Saarland Univ Compiler Design Lab Saarbrucken Germany

ISBN: (纸本)9781450355247

In order to achieve the highest possible performance, the ray traversal and intersection routines at the core of every high-performance ray tracer are usually hand-coded, heavily optimized, and implemented separately for each hardware platform-even though they share most of their algorithmic core. the results are implementations that heavily mix algorithmic aspects with hardware and implementation details, making the code non-portable and difficult to change and maintain. In this paper, we present a new approach that offers the ability to define in a functional language a set of conceptual, high-level language abstractions that are optimized away by a special compiler in order to maximize performance. Using this abstraction mechanism we separate a generic ray traversal and intersection algorithm from its low-level aspects that are specific to the target hardware. We demonstrate that our code is not only significantly more flexible, simpler to write, and more concise but also that the compiled results perform as well as state-of-the-art implementations on any of the tested CPU and GPU platforms.

关键词： Computer Graphics Ray Tracing Functional programming Domain-Specific Languages

来源：评论

学校读者我要写书评

暂无评论

Reflection in Attribute Grammars 2019

Reflection in Attribute Grammars

引用

18th ACM SIGPLAN international conference on generative programming - concepts and experiences (GPCE)

作者： Kramer, Lucas Kaminski, Ted Van Wyk, Eric Univ Minnesota Minneapolis MN 55455 USA

ISBN: (纸本)9781450369800

this paper shows how reflection on (undecorated) syntax trees used in attribute grammars can significantly reduce the amount of boiler-plate specifications that must be written. It is implemented in the Silver attribute grammar system in the form of a reflect function mapping syntax trees and other values into a generic representation and a reify function for the inverse mapping. We demonstrate its usefulness in several ways. the first is in an extension to Silver itself that simplifies writing language extensions for the ableC extensible C specification by allowing language engineers to specify C-language syntax trees using the concrete syntax of C (with typed holes) instead of writing abstract syntax trees. Secondly, a scrap-your-boilerplate style substitution mechanism is described. the third use is in serialization and de-serialization of the interface files Silver generates to support separate compilation;a custom interface language was replaced by a generic reflection-based implementation. Finally, an experimental implementation of staged interpreters for a small staged functional language is discussed.

关键词： attribute grammars reflection meta-programming

来源：评论

学校读者我要写书评

暂无评论

Graph Grammar-based Controllable Generation of Puzzles for a Learning Game about Parallel programming 17

Graph Grammar-based Controllable Generation of Puzzles for a...

引用

12th international conference on the Foundations of Digital Games (FDG)

作者： Valls-Vargas, Josep Zhu, Jichen Ontanon, Santiago Drexel Univ 3141 Chestnut St Philadelphia PA 19104 USA

ISBN: (纸本)9781450353199

In the context of a learning game to teach parallel programming, we describe a procedural content generation (PCG) approach that can be controlled to generate programming puzzles involving a desired set of concepts, and of desired size and "difficulty". Our approach is based on grammars to control the generation of the puzzle structure, and orthographic graph embedding techniques to render it into a two-dimensional grid for our game. the proposed PCG system is designed to work with a player model in order to provide personalized learning experiences. We present an evaluation of the variability of the generated puzzles using several metrics including challenge and solvability as evaluated by a custom-build model checker. Our evaluation shows that this PCG system can generate a large number of varied puzzles but it is still not able to generate puzzles with certain aesthetic and functional qualities found in puzzles generated by human authors.

关键词： games procedural content generation parallel programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：