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

36th ACM SIGPLAN Conference on programming Language Design and Implementation

作者： Bowman, William J. Miller, Swaha St-Amour, Vincent Dybvig, R. Kent Northeastern Univ Boston MA 02115 USA Cisco Syst Inc San Jose CA USA

ISBN: (纸本)9781450334686

Contemporary compiler systems such as GCC,. NET, and LLVM incorporate profile-guided optimizations (PGOs) on low-level intermediate code and basic blocks, with impressive results over purely static heuristics. Recent work shows that profile information is also useful for performing source-to-source optimizations via meta-programming. For example, using profiling information to inform decisions about data structures and algorithms can potentially lead to asymptotic improvements in performance. We present a design for profile-guided meta-programming in a general-purpose meta-programming system. Our design is parametric over the particular profiler and meta-programming system. We implement this design in two different meta-programming systems-the syntactic extensions systems of Chez Scheme and Racket- and provide several profile-guided meta-programs as usability case studies.

关键词： Design Performance Languages Optimization profiling profile-guided optimization PGO meta-programming

来源：评论

学校读者我要写书评

暂无评论

EASY meta-programming with Rascal

EASY Meta-programming with Rascal

引用

3rd International Summer School on Generative and Transformational Techniques in Software Engineering

作者： Klint, Paul van der Storm, Tijs Vinju, Jurgen Centrum Wiskunde and Informatica Universiteit Van Amsterdam Netherlands

ISBN: (纸本)9783642180224

Rascal is a new language for meta-programming and is intended to solve problems in the domain of source code analysis and transformation. In this article we give a high-level overview of the language and illustrate its use by many examples. Rascal is a work in progress both regarding implementation and documentation. More information is available at http://***/.

关键词： source code analysis source code transformation meta-programming domain-specific languages

来源：评论

学校读者我要写书评

暂无评论

Layered Modal Type Theory Where meta-programming Meets Intensional Analysis 33rd

Layered Modal Type Theory Where Meta-programming Meets Inten...

引用

33rd European Symposium on programming (ESOP)

作者： Hu, Jason Z. S. Pientka, Brigitte McGill Univ Sch Comp Sci Montreal PQ H3A 0E9 Canada

ISBN: (纸本)9783031572616;9783031572623

We introduce layering to modal type theory to combine type theory with intensional analysis. In particular, we demonstrate this idea by developing a 2-layered modal type theory. At the core of this type theory (layer 0) is a simply typed.-calculus with no modality. Layer 1 is obtained by extending the core language with one layer of contextual. types to support pattern matching on potentially open code from layer 0 while retaining normalization. Although both layers fundamentally share the same language and the same typing judgment, we only allow computation at layer 1. As a consequence, layer 0 accurately captures the syntactic representation of code in contrast to the computational behaviors at layer 1. The system is justified by normalization by evaluation (NbE) using a presheaf model. The normalization algorithm extracted from the model is sound and complete and is implemented in Agda. Layered modal type theory provides a uniform foundation for metaprogramming with intensional analysis. We see this work as an important step towards a foundational way to support meta-programming in proof assistants.

关键词： modal type theory contextual types meta-programming normalization by evaluation presheaf model

来源：评论

学校读者我要写书评

暂无评论

Components of meta-programming, computer analogies and metaphors

Components of meta-programming, computer analogies and metap...

引用

International Conference on programming Languages and Compilers

作者： Dodds, D Open Meta Comp Inc Coquitlam BC Canada

ISBN: (纸本)9781932415759

meta-programming is the planning and achieving goals in a computer by its own resources not just the conventional cycle of human-written code development followed by computer execution of same. meta-programming is the processing of analogies and (conceptual not poetic) metaphors and ontologies. This paper also contains discussion about and "how-to-do" code for meta-computing the Aspect "Concerns" and "Advice" using ontologies.

关键词： meta-programming metaphors analogy ontology aspectJ

来源：评论

学校读者我要写书评

暂无评论

Accelerating Winograd Convolutions using Symbolic Computation and meta-programming 20

Accelerating Winograd Convolutions using Symbolic Computatio...

引用

15th European Conference on Computer Systems (EuroSys)

作者： Mazaheri, Arya Beringer, Tim Moskewicz, Matthew Wolf, Felix Jannesari, Ali Tech Univ Darmstadt Dept Comp Sci Darmstadt Germany Tesla Inc Palo Alto CA USA Iowa State Univ Dept Comp Sci Ames IA USA

ISBN: (纸本)9781450368827

Convolution operations are essential constituents of convolutional neural networks. Their efficient and performance portable implementation demands tremendous programming effort and fine-tuning. Winograd's minimal filtering algorithm is a well-known method to reduce the computational complexity of convolution operations. Unfortunately, existing implementations of this algorithm are either vendor specific or hard-coded to support a small subset of convolutions, thus limiting their versatility and performance portability. In this paper, we propose a novel method to optimize Winograd convolutions based on symbolic computation. Taking advantage meta-programming and auto-tuning, we further introduce a system to automate the generation of efficient and portable Winograd convolution code for various GPUs. We show that our optimization technique can effectively exploit repetitive patterns, enabling us to reduce the number of arithmetic operations by up to 62% without compromising numerical stability. Moreover, we demonstrate in experiments that we can generate efficient kernels with runtimes close to deep-learning libraries, requiring only a minimum of programming effort, which confirms the performance portability of our approach.

关键词： Deep learning Winograd convolution meta-programming symbolic computation

来源：评论

学校读者我要写书评

暂无评论

Functional meta-programming for parallel skeletons

Functional meta-programming for parallel skeletons

引用

8th International Conference on Computational Science

作者： Serot, Jocelyn Falcou, Joel U Blaise Pascal CNRS LASMEA UMR 6602 Campus Cezeaux F-63177 Clermont Ferrand France Univ Paris 11 IEF F-91405 Orsay France

ISBN: (纸本)9783540693833

We describe the implementation in metaOCAML of a small domain specific language for skeleton-based parallel programming. We show how the meta-programming facilities offered by this language make it possible to virtually eliminate the run-time overhead for the resulting programs, compared to a hand-crafted, low-level implementation.

关键词： parallel programming skeletons meta-programming

来源：评论

学校读者我要写书评

暂无评论

Typed Syntactic meta-programming 13

Typed Syntactic Meta-programming

引用

18th ACM SIGPLAN International Conference on Functional programming

作者： Devriese, Dominique Piessens, Frank Katholieke Univ Leuven iMinds DistriNet Louvain Belgium

ISBN: (纸本)9781450323260

We present a novel set of meta-programming primitives for use in a dependently-typed functional language. The types of our meta-programs provide strong and precise guarantees about their termination, correctness and completeness. Our system supports typesafe construction and analysis of terms, types and typing contexts. Unlike alternative approaches, they are written in the same style as normal programs and use the language's standard functional computational model. We formalise the new meta-programming primitives, implement them as an extension of Agda, and provide evidence of usefulness by means of two compelling applications in the fields of datatype-generic programming and proof tactics.

关键词： meta-programming dependent types datatype-generic programming tactics

来源：评论

学校读者我要写书评

暂无评论

Typed Syntactic meta-programming

引用

ACM SIGPLAN NOTICES 2013年第9期48卷 73-85页

作者： Devriese, Dominique Piessens, Frank Katholieke Univ Leuven iMinds DistriNet Louvain Belgium

关键词： meta-programming dependent types datatype-generic programming tactics

来源：评论

学校读者我要写书评

暂无评论

A Layered Approach to Intensional Analysis in Type Theory

引用

ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 2025年第4期46卷 1-43页

作者： Hu, Jason Z. S. Pientka, Brigitte McGill Univ Sch Comp Sci Montreal PQ Canada

We introduce layering to modal type theory to support meta-programming and intensional analysis coherently. In particular, we demonstrate this idea by developing a 2-layered modal type theory. At the core of this type theory (layer 0 ) is a simply typed A-calculus with no modality. Layer 1 is obtained by extending the core language with one layer of contextual square types to support pattern matching on potentially open code from layer 0 while retaining normalization. Although both layers fundamentally share a uniform syntax and the same typing judgment, we only allow computation at layer 1 . As a consequence, layer 0 accurately captures the syntactic representation of code in contrast to the computational behaviors at layer 1 . Moreover, the uniform syntax at both layers enables quotation and code running. The system is justified by normalization by evaluation (NbE) using a presheaf model. The normalization algorithm extracted from the model is sound and complete and is implemented in Agda. Layered modal type theory provides a uniform foundation for meta-programming with intensional analysis. We see this work as an important step towards a foundational way to support meta-programming in proof assistants.

关键词： modal type theory contextual types meta-programming normalization by evaluation presheaf model

来源：评论

学校读者我要写书评

暂无评论

A case for data-oriented specifications: simpler implementation of B tools and DSLs

引用

INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING 2025年 1-21页

作者： Koerner, Philipp Mager, Florian Rossbach, Jan Heinrich Heine Univ Dusseldorf Inst Informat Univ Str 1 D-40225 Dusseldorf NRW Germany

Considering programs as data enables powerful meta-programming. One example is Lisp's macro system, which gives rise to powerful transformations of programs and allows easy implementation of domain-specific languages. Formal specifications, however, usually do not rely on such mechanisms and are mostly written by hand in a textual format (or using specialised domain-specific language (DSL) tools). In this paper, we investigate the opportunities that stem from considering specifications as data. For this, we embedded the B specification language in Clojure, a modern Lisp. We use Clojure as a functional meta-programming language and the ProB Java API to capture the semantics of B, i.e., to find solutions for constraints or animate machines. From our experience, it is especially useful for tool development and generation of constraints and machines from external data sources. It can also be used to implement language extensions and to design DSLs.

关键词： B ProB Clojure Language embedding meta-programming Tool development Domain-specific languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：