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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

86 篇 会议
73 篇 期刊文献
10 篇 学位论文
4 册 图书

馆藏范围

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

日期分布

学科分类号

153 篇 工学
- 109 篇 软件工程
- 104 篇 计算机科学与技术...
- 17 篇 电气工程
- 6 篇 控制科学与工程
- 3 篇 信息与通信工程
- 2 篇 网络空间安全
- 1 篇 仪器科学与技术
13 篇 理学
- 9 篇 数学
- 2 篇 系统科学
- 1 篇 化学
- 1 篇 生物学
- 1 篇 统计学（可授理学、...
7 篇 管理学
- 4 篇 管理科学与工程(可...
- 3 篇 图书情报与档案管...
- 1 篇 公共管理
1 篇 文学
- 1 篇 外国语言文学
1 篇 医学
- 1 篇 基础医学(可授医学...

主题

173 篇 metaprogramming
18 篇 languages
15 篇 reflection
12 篇 design
11 篇 code generation
10 篇 java
8 篇 macros
7 篇 functional progr...
6 篇 dependent types
6 篇 domain specific ...
6 篇 programming lang...
5 篇 type systems
5 篇 automatic verifi...
5 篇 c++
5 篇 type soundness
5 篇 staging
5 篇 language extensi...
5 篇 smalltalk
4 篇 compilers
4 篇 multi-stage prog...

机构

5 篇 tu berlin
4 篇 univ colorado bo...
4 篇 ecole polytech f...
4 篇 tech univ darmst...
4 篇 brno university ...
3 篇 indiana univ blo...
2 篇 univ nottingham ...
2 篇 univ waterloo wa...
2 篇 tech univ kosice...
2 篇 princeton univ p...
2 篇 delft univ techn...
2 篇 univ gothenburg ...
2 篇 univ massachuset...
2 篇 mit csail cambri...
2 篇 microsoft res re...
2 篇 univ st andrews ...
2 篇 carnegie mellon ...
2 篇 imperial coll lo...
2 篇 eindhoven univ t...
2 篇 univ cambridge c...

作者

4 篇 erdweg sebastian
4 篇 rompf tiark
4 篇 lorenzen florian
3 篇 siek jeremy
3 篇 van der storm ti...
3 篇 miao weiyu
3 篇 tanter eric
3 篇 yallop jeremy
3 篇 chiba shigeru
3 篇 kollar jan
2 篇 laszlo zoltan
2 篇 hirschfeld rober...
2 篇 levy ls
2 篇 jansson patrik
2 篇 monperrus martin
2 篇 christiansen dav...
2 篇 leshob abderrahm...
2 篇 kiselyov oleg
2 篇 godoy william f.
2 篇 michael ball

语言

152 篇 英文
19 篇 其他
1 篇 葡萄牙文
1 篇 中文

检索条件"主题词=Metaprogramming"

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

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

详细简洁

排序：

MetaOCaml: Ten Years Later System Description 17th

MetaOCaml: Ten Years Later System Description

引用

17th International Symposium on Functional and Logic Programming (FLOPS)

作者： Kiselyov, Oleg Tohoku Univ Sendai Miyagi Japan

ISBN: (纸本)9789819722990;9789819723003

MetaOCaml is a superset of OCaml for convenient code generation with static guarantees: the generated code is well-formed, well-typed and well-scoped, by construction. Not only the completed generated code always compiles;code fragments with a variable escaping its scope are detected already during code generation. MetaOCaml has been employed for compiling domain-specific languages, generic programming, automating tedious specializations in high-performance computing, generating efficient computational kernels and embedded programming. It is used in education, and served as inspiration for several other metaprogramming systems. Most well-known in MetaOCaml are the types for values representing generated code and the template-based mechanism to produce such values, a.k.a., brackets and escapes. MetaOCaml also features cross-stage persistence, generating ordinary and mutually-recursive definitions, first-class pattern-matching and heterogeneous metaprogramming. The extant implementation of MetaOCaml, first presented at FLOPS 2014, has been continuously evolving. We describe the current design and implementation, stressing particularly notable additions. Among them is a new, efficient, the easiest to retrofit translation from typed code templates to code combinators. Scope extrusion detection unexpectedly brought let-insertion, and a conclusive solution to the 20-year-old vexing problem of cross-stage persistence.

关键词： metaprogramming staging code generation

来源：评论

学校读者我要写书评

暂无评论

Automatic Code Rewriting for Performance Portability

Automatic Code Rewriting for Performance Portability

引用

作者： Johnson, Alister University of Oregon

学位级别：Ph.D., Doctor of Philosophy

Rewriting code for cleanliness, API changes, and new programming models is a common, yet time-consuming task. This is important for HPC applications that desire performance portability in particular, since these applications are usually very long lived and wish to run on many architectures, so they need to be written such that they can make good use of all the available hardware with minimal code changes. Furthermore, it is unknown what future supercomputer hardware and programming models will be, so they need to be written in such a way that they are ``future proof'' and will only need minimal rewrites in the *** or syntax-based changes are often mechanical and can be automated with text-based rewriting tools, like ***, non-localized or semantic-based changes require specialized tools that usually come with complex, hard-coded rules that require expertise in compilers. This means techniques for source rewriting are either too simple for complex tasks or too complex to be customized by non-expert users; in either case, developers are often forced to manually update their code *** work describes a new approach to code rewriting which exposes complex and semantic-driven rewrite capabilities to users in a simple and natural way. Rewrite rules are expressed as a pair of parameterized "before-and-after'' source code snippets, one to describe what to match and one to describe what the replacement looks like. Through this novel and user-friendly interface, programmers can automate and customize complex code changes which require a deep understanding of the language without any knowledge of compiler *** dissertation includes previously published and unpublished co-authored material.

关键词： Compilers metaprogramming Desire performance portability Code rewriting Semantic-driven rewrite capabilities

来源：评论

学校读者我要写书评

暂无评论

Mastering Elixir 1

引用

丛书名： []

2018年

作者： André Albuquerque Daniel Caixinha

ISBN: (数字)9781788472241

ISBN: (纸本)9781788472678

Leverage the power of Elixir programming language to solve practical problems associated with scalability, concurrency, fault tolerance, and high availability. Key Features Enhance your Elixir programming skills using its powerful tools and abstractions Discover how to develop a full-fledged file server Understand how to use Phoenix to create a web interface for your application. Book Description Running concurrent, fault-tolerant applications that scale is a very demanding responsibility. After learning the abstractions that Elixir gives us, developers are able to build such applications with inconceivable low effort. There is a big gap between playing around with Elixir and running it in production, serving live requests. This book will help you fll this gap by going into detail on several aspects of how Elixir works and showing concrete examples of how to apply the concepts learned to a fully fledged application. In this book, you will learn how to build a rock-solid application, beginning by using Mix to create a new project. Then you will learn how the use of Erlang's OTP, along with the Elixir abstractions that run on top of it (such as GenServer and GenStage), that allow you to build applications that are easy to parallelize and distribute. You will also master supervisors (and supervision trees), and comprehend how they are the basis for building fault-tolerant applications. Then you will use Phoenix to create a web interface for your application. Upon fnishing implementation, you will learn how to take your application to the cloud, using Kubernetes to automatically deploy, scale, and manage it. Last, but not least, you will keep your peace of mind by learning how to thoroughly test and then monitor your application. What you will learn Use Elixir tools, including IEx and Mix Find out how an Elixir project is structured and how to create umbrella applications Discover the power of supervision trees, the basis for fault-tolerance Create a Domain-Specifc Lang

关键词： Elixir Erlang BEAM Erlang VM concurrency Fault Tolerance Scalability Functional programming Elixir 1.6 OTP Phoenix metaprogramming

来源：评论

学校读者我要写书评

暂无评论

Sound Type-Dependent Syntactic Language Extension 16

Sound Type-Dependent Syntactic Language Extension

引用

43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

作者： Lorenzen, Florian Erdweg, Sebastian TU Berlin Berlin Germany Tech Univ Darmstadt Darmstadt Germany

ISBN: (纸本)9781450335492

Syntactic language extensions can introduce new facilities into a programming language while requiring little implementation effort and modest changes to the compiler. It is typical to desugar language extensions in a distinguished compiler phase after parsing or type checking, not affecting any of the later compiler phases. If desugaring happens before type checking, the desugaring cannot depend on typing information and type errors are reported in terms of the generated code. If desugaring happens after type checking, the code generated by the desugaring is not type checked and may introduce vulnerabilities. Both options are undesirable. We propose a system for syntactic extensibility where desugaring happens after type checking and desugarings are guaranteed to only generate well-typed code. A major novelty of our work is that desugarings operate on typing derivations instead of plain syntax trees. This provides desugarings access to typing information and forms the basis for the soundness guarantee we provide, namely that a desugaring generates a valid typing derivation. We have implemented our system for syntactic extensibility in a language independent fashion and instantiated it for a substantial subset of Java, including generics and inheritance. We provide a sound Java extension for Scala-like for-comprehensions.

关键词： Language extensibility type soundness type-dependent desugaring automatic verification metaprogramming macros

来源：评论

学校读者我要写书评

暂无评论

Type Automata 2023

Type Automata

引用

32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)

作者： Roth, On Technion Haifa Israel

ISBN: (纸本)9798400702211

PL researchers have a profound understanding of automata theory but fail to grasp the subtleties and nuances of the type systems used in modern programming languages. My research pursues new insights into the computational power of type systems by connecting them with well-founded classes of automata through type automata-machines that employ program types as control and storage. In addition, I demonstrate advanced type-level metaprogramming applications of type automata that coerce the compiler into performing computations at compile time.

关键词： type systems automata theory metaprogramming fluent API

来源：评论

学校读者我要写书评

暂无评论

Rascal, 10 Years Later 19

Rascal, 10 Years Later

引用

19th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)

作者： Klint, Paul van der Storm, Tijs Vinju, Jurgen SWATengineering Amsterdam Netherlands CWI Amsterdam Netherlands Univ Groningen Groningen Netherlands TUe Eindhoven Netherlands

ISBN: (纸本)9781728149370

When we designed the first version of Rascal in 2009, we jokingly promised ourselves to only write a single paper on the language itself, and see it as vehicle for research from then on,that one paper became the SCAM 2009 article [2], now awarded with the SCAM most influential paper award. Since then, Rascal has evolved significantly, and has been successfully applied in research, education, and industry. This extended abstract gives an overview of the impact of Rascal over the last 10 years, and looks at current and future developments.

关键词： metaprogramming Rascal Source code analysis

来源：评论

学校读者我要写书评

暂无评论

Meta-F^☆: Proof Automation with SMT, Tactics, and Metaprograms 28th

Meta-F<SUP>☆</SUP>: Proof Automation with SMT, Tactics, and...

引用

28th European Symposium on Programming (ESOP) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS)

作者： Martinez, Guido Ahman, Danel Dumitrescu, Victor Giannarakis, Nick Hawblitzel, Chris Hritcu, Catalin Narasimhamurthy, Monal Paraskevopoulou, Zoe Pit-Claudel, Clement Protzenko, Jonathan Ramananandro, Tahina Rastogi, Aseem Swamy, Nikhil CIFASIS CONICET Rosario Argentina INRIA Paris France Univ Ljubljana Ljubljana Slovenia MSR Inria Joint Ctr Paris France Princeton Univ Princeton NJ 08544 USA Microsoft Res Redmond WA USA Microsoft Res Bangalore Karnataka India Univ Colorado Boulder CO 80309 USA MIT CSAIL Cambridge MA USA

ISBN: (纸本)9783030171841;9783030171834

We introduce Meta-F-star, a tactics and metaprogramming framework for the F-star program verifier. The main novelty of Meta-F-star is allowing the use of tactics and metaprogramming to discharge assertions not solvable by SMT, or to just simplify them into well-behaved SMT fragments. Plus, Meta-F-star can be used to generate verified code automatically. Meta-F-star is implemented as an F-star effect, which, given the powerful effect system of F-star, heavily increases code reuse and even enables the lightweight verification of metaprograms. Metaprograms can be either interpreted, or compiled to efficient native code that can be dynamically loaded into the F-star type-checker and can interoperate with interpreted code. Evaluation on realistic case studies shows that Meta-F-star provides substantial gains in proof development, efficiency, and robustness.

关键词： Tactics metaprogramming Program verification Verification conditions SMT solvers Proof assistants

来源：评论

学校读者我要写书评

暂无评论

CxDev: A Case Study in Domain Engineering for Customer eXperience Management 19th

CxDev: A Case Study in Domain Engineering for Customer eXper...

引用

19th International Conference on Software and Systems Reuse (ICSR)

作者： Benzarti, Imen Mili, Hafedh Leshob, Abderrahmane Univ Quebeca Montreal LATECE Lab Montreal PQ H3C 3P8 Canada Univ Quebeca Montreal Dept dInformat Montreal PQ H3C 3P8 Canada Univ Quebeca Montreal ESG UQAM Montreal PQ H3C 3P8 Canada

ISBN: (纸本)9783030646943;9783030646936

Customer experience management (CXM) denotes a set of practices, processes, and tools, that aim at personalizing a customer's interactions with a company around the customer's needs and desires [18]. Marketing specialists have been imagining context-aware CXM applications that exploit the IoT, AI, and cloud computing to provide rich and personalized customer experiences. However, there is no methodology to elicit/specify the requirements for such applications, nor domain level reusable components that can be leveraged to implement such applications. An e-commerce software vendor asked us to do just that, in a domain with a fragmented scientific literature, and with no portfolio of applications to draw upon. In this paper, we describe our domain engineering strategy, present the main elements of the technical approach, and discuss the main difficulties we faced in this domain engineering effort.

关键词： Domain engineering Customer Experience Management Cognitive modeling Ontologies Metamodeling metaprogramming

来源：评论

学校读者我要写书评

暂无评论

From Transpilers to Semantic Libraries Formal Verification With Pluggable Semantics 24

From Transpilers to Semantic Libraries Formal Verification W...

引用

ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (MODELS)

作者： Zavada, Armin Marussy, Kristof Molnar, Vince Budapest Univ Technol & Econ Budapest Hungary

ISBN: (纸本)9798400706226

In the field of model-based systems engineering, there is an increasing demand for the application of formal methods. However, this requires expertise in formal methods, which cannot be expected from systems engineers. While several attempts have been made to bridge this gap, there are still open questions. (1) With the trend shifting towards ontological languages, systems are modeled as classes of 4D occurrences, rather than a 3D system evolving with time, which hinders the application of state-of-the-art model checking algorithms. (2) Ontological reasoning cannot handle the state space explosion problem, and can even make it harder for verifiers to operate efficiently. (3) When operationalizing ontological languages, we need to validate the conformance of the two semantics, even in the presence of optimizations. (4) On top of all, these challenges must be solved for every new engineering language, version, or variant. In this paper, we propose a new approach to address the aforementioned challenges. To validate its feasibility, we present a prototype tool and evaluate it on a SysML model.

关键词： model-based systems engineering kernel modeling language formal verification declarative interpretation metaprogramming semantic libraries operational libraries

来源：评论

学校读者我要写书评

暂无评论

JACC: Leveraging HPC Meta-Programming and Performance Portability with the Just-in-Time and LLVM-based Julia Language

JACC: Leveraging HPC Meta-Programming and Performance Portab...

引用

2024 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis, SC Workshops 2024

作者： Valero-Lara, Pedro Godoy, William F. Mankad, Het Teranishi, Keita Vetter, Jeffrey S. Blaschke, Johannes Schanen, Michel Oak Ridge National Laboratory Oak RidgeTN United States Lawrence Berkeley National Laboratory BerkeleyCA United States Argonne National Laboratory LemontIL United States

ISBN: (纸本)9798350355543

We present JACC (Julia for Accelerators), the first high-level, and performance-portable model for the just-in-time and LLVM-based Julia language. JACC provides a unified and lightweight front end across different back ends available in Julia, enabling the same Julia code to run efficiently on many HPC CPU and GPU targets. We evaluated the performance of JACC for common HPC kernels as well as for the most computationally demanding kernels used in applications, HPCCG, a supercomputing benchmark test for sparse domains, and HARVEY, a blood flow simulator to assist in the diagnosis and treatment of patients suffering from vascular diseases. We carried out the performance analysis on the most advanced US DOE supercomputers: Aurora, Frontier, and Perlmutter. Overall, we show that JACC has a negligible overhead versus vendor-specific solutions, reporting GPU speedups with no extra cost to programmability. © 2024 IEEE.

关键词： GPU Acceleration Julia metaprogramming Performance Portability Programming Productivity

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：