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

19th ACM SIGPLAN International Conference on Generative Programming - Concepts and Experiences (GPCE)

作者： Laddad, Shadaj Sen, Koushik Univ Calif Berkeley Berkeley CA 94720 USA

ISBN: (纸本)9781450381741

Object-oriented programming, functional programming, and metaprogramming each offer a unique axis of abstraction that enables modular code. Macros, a common technique for metaprogramming, capture ASTs as quotes to let users manipulate them in the host language. However, macros are often at odds with other programming techniques since they can only process code written at the call-site and cannot analyze code behind abstraction boundaries such as variables and methods. Furthermore, the quotes generated for macro expansion exist only at compile-time and cannot be passed around in user code. Multi-stage programming treats quotes as runtime values to address this problem, but introduces the cost of running the compiler when splicing quotes. This forces developers to choose between low runtime overhead and modularity. What if we could have the best of both worlds? We introduce fluid quotes, a new technique that uses dependent types to let users pass quotes through abstraction boundaries in runtime code while splicing them ahead-of-time. This technique enables new metaprogramming capabilities by eliminating the traditional requirement of co-locating parameter expressions with call-sites. Fluid quotes capture not only source code but also associated runtime context to ensure correctness. In addition, they can be composed into larger expressions without any macro code. We demonstrate the capabilities of fluid quotes through two specific applications: optimizing data processing pipelines and making language integrated queries more flexible.

关键词： metaprogramming dependent types inlining functional programming

来源：评论

学校读者我要写书评

暂无评论

Efficient runtime metaprogramming services for Java

引用

JOURNAL OF SYSTEMS AND SOFTWARE 2019年第0期153卷 220-237页

作者： Lagartos, Ignacio Manuel Redondo, Jose Ortin, Francisco Univ Oviedo Dept Comp Sci Calvo Sotelo S-N Oviedo 33007 Spain

The Java programming language and platform provide many optimizations to execute statically typed code efficiently. Although Java has gradually incorporated more dynamic features across its versions, it does not provide several metaprogramming features supported by most dynamic languages, such as structural intercession (the ability to dynamically modify the structure of classes) and dynamic code generation. Therefore, we propose a method to add those metaprogramming features to Java in order to increase its runtime adaptiveness, while taking advantage of the robustness of its static type system and the performance of its virtual machine. We support the dynamic addition, deletion and replacement of class methods and fields, and dynamic code generation. The metaprogramming services are provided as a library, so neither the Java language nor its virtual machine are modified. We evaluate our system, called JMPLib, and compare it with the existing metaprogramming systems for the Java platform and other highly optimized dynamic languages. JMPLib obtains similar runtime performance to the existing fastest system that modifies the implementation of the Java virtual machine. Moreover, our system introduces no performance penalty when metaprogramming is not used, and consumes fewer memory resources than the rest of implementations for the Java platform. (C) 2019 Elsevier Inc. All rights reserved.

关键词： metaprogramming Structural intercession Static type checking Dynamic code evaluation Code instrumentation Runtime performance

来源：评论

学校读者我要写书评

暂无评论

Sized Types for Low-Level Quantum metaprogramming 11th

Sized Types for Low-Level Quantum Metaprogramming

引用

11th International Conference on Reversible Computation (RC)

作者： Amy, Matthew Univ Waterloo Waterloo ON Canada

ISBN: (纸本)9783030215002;9783030214999

One of the most fundamental aspects of quantum circuit design is the concept of families of circuits parametrized by an instance size. As in classical programming, metaprogramming allows the programmer to write entire families of circuits simultaneously, an ability which is of particular importance in the context of quantum computing as algorithms frequently use arithmetic over non-standard word lengths. In this work, we introduce metaQASM, a typed extension of the openQASM language supporting the metaprogramming of circuit families. Our language and type system, built around a lightweight implementation of sized types, supports subtyping over register sizes and is moreover type-safe. In particular, we prove that our system is strongly normalizing, and as such any well-typed metaQASM program can be statically unrolled into a finite circuit.

关键词： Quantum programming Circuit description languages metaprogramming

来源：评论

学校读者我要写书评

暂无评论

Ambiguous, Informal, and Unsound: metaprogramming for Naturalness 4

Ambiguous, Informal, and Unsound: Metaprogramming for Natura...

引用

4th International Workshop on Meta-Programming Techniques and Reflection (META)

作者： Mattis, Toni Rein, Patrick Hirschfeld, Robert Univ Potsdam Hasso Plattner Inst Potsdam Germany

ISBN: (纸本)9781450369855

Program code needs to be understood by both machines and programmers. While the goal of executing programs requires the unambiguity of a formal language, programmers use natural language within these formal constraints to explain implemented concepts to each other. This so called naturalness - the property of programs to resemble human communication - motivated many statistical and machine learning (ML) approaches with the goal to improve software engineering activities. The metaprogramming facilities of most programming environments model the formal elements of a program (metaobjects). If ML is used to support engineering or analysis tasks, complex infrastructure needs to bridge the gap between meta-objects and ML models, changes are not reflected in the ML model, and the mapping from an ML output back into the program's meta-object domain is laborious. In the scope of this work, we propose to extend metaprogramming facilities to give tool developers access to the representations of program elements within an exchangeable ML model. We demonstrate the usefulness of this abstraction in two case studies on test prioritization and refactoring. We conclude that aligning ML representations with the program's formal structure lowers the entry barrier to exploit statistical properties in tool development.

关键词： meta-objects metaprogramming machine learning naturalness

来源：评论

学校读者我要写书评

暂无评论

Application of metaprogramming and Generic Programming in Multiscale Modeling

引用

COMPUTING IN SCIENCE & ENGINEERING 2018年第6期20卷 81-94页

作者： Maciol, Piotr Michalik, Kazimierz AGH Univ Sci & Technol Krakow Poland

Numerical modeling is a tool commonly used by both researchers and engineers. For several reasons, the quality of scientific codes frequently deprecates. One of the possible remedies is the application of advanced programming and software development methods. In this paper, we introduce the application of metaprogramming and generic programming in C++ to control the correctness of multiscale models. Additionally, it is shown how both methods increase reusability and quality of the code. A short introduction to metaprogramming and generic programming is included, as well as the proof of the concept. Exemplary codes are also included and discussed.

关键词： C Language Software Engineering Software Reusability Software Development Methods metaprogramming Generic Programming Multiscale Modeling Numerical Modeling Scientific Codes Possible Remedies Advanced Programming Computational Modeling Hidden Markov Models Numerical Models Programming Software Object Oriented Modeling Adaptation Models Numerical Modeling Multiscale Modeling metaprogramming Generic Programming C Compile Time Validation

来源：评论

学校读者我要写书评

暂无评论

Staged metaprogramming for Shader System Development

引用

ACM TRANSACTIONS ON GRAPHICS 2019年第6期38卷 202-202页

作者： Seitz, Kerry A., Jr. Foley, Tim Porumbescu, Serban D. Owens, John D. Univ Calif Davis Dept Comp Sci One Shields Ave Davis CA 95616 USA NVIDIA 2788 San Tomas Expressway Santa Clara CA 95051 USA Univ Calif Davis Dept Elect & Comp Engn One Shields Ave Davis CA 95616 USA

The shader system for a modern game engine comprises much more than just compilation of source code to executable kernels. Shaders must also be exposed to art tools, interfaced with engine code, and specialized for performance. Engines typically address each of these tasks in an ad hoc fashion, without a unifying abstraction. The alternative of developing a more powerful compiler framework is prohibitive for most engines. In this paper, we identify staged metaprogramming as a unifying abstraction and implementation strategy to develop a powerful shader system with modest effort. By using a multi-stage language to perform metaprogramming at compile time, engine-specific code can consume, analyze, transform, and generate shader code that will execute at runtime. Staged metaprogramming reduces the effort required to implement a shader system that provides earlier error detection, avoids repeat declarations of shader parameters, and explores opportunities to improve performance. To demonstrate the value of this approach, we design and implement a shader system, called Selos, built using staged metaprogramming. In our system, shader and application code are written in the same language and can share types and functions. We implement a design space exploration framework for Selos that investigates static versus dynamic composition of shader features, exploring the impact of shader specialization in a deferred renderer. Staged metaprogramming allows Selos to provide compelling features with a simple implementation.

关键词： Computer Graphics Shaders Shading Languages metaprogramming Multi-Stage Languages

来源：评论

学校读者我要写书评

暂无评论

Static Loop Parallelization Decision Using Template metaprogramming 16

Static Loop Parallelization Decision Using Template Metaprog...

引用

International Conference on High Performance Computing & Simulation (HPCS)

作者： Pereda, Alexis Hill, David R. C. Mazel, Claude Bachelet, Bruno Univ Clermont Auvergne CNRS LIMOS Clermont Ferrand France

ISBN: (纸本)9781538678794

This article proposes to use C++ template metaprogramming techniques to decide at compile-time which parts of a code sequence in a loop can be parallelized. The approach focuses on characterizing the way a variable is accessed in a loop (reading or writing), first to decide how the loop should be split to enable the analysis for parallelization on each part, and then to decide if the iterations inside each loop are independent so that they can be run in parallel. The conditions that enable the parallelization of a loop are first explained to justify the proposed decision algorithm exposed. Then, a C++ library-based solution is presented that uses expression templates to get the relevant information necessary for the parallelization decision of a loop, and metaprograms to decide whether to parallelize the loop and generate a parallel code.

关键词： code parallelization metaprogramming C plus plus expression templates parallelization decision

来源：评论

学校读者我要写书评

暂无评论

GraalVM: metaprogramming inside a Polyglot System 3

GraalVM: Metaprogramming inside a Polyglot System

引用

3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection (META)

作者： Bonetta, Daniele Oracle Labs VM Res Grp Belmont CA 94002 USA

ISBN: (纸本)9781450360685

GraalVM is a polyglot virtual machine for running applications written in a variety of languages such as JavaScript, Ruby, Python, R, JVM-based languages like Java, Scala, Kotlin, and LLVM-based languages such as C and C++. GraalVM enables interoperability between different programming languages in a shared runtime, and can run either standalone or embedded in other software systems such as ***, the Oracle RDBMS, and MySQL. In this talk I will give an overview of GraalVM, and I will present how polyglot features such as language interoperability and language-agnostic instrumentation are enabled in GraalVM by means of VM-internal metaprogramming.

关键词： GraalVM metaprogramming Language interoperability Instrumentation

来源：评论

学校读者我要写书评

暂无评论

A metaprogramming Framework for Formal Verification

引用

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL 2017年第ICFP期1卷 1-29页

作者： Ebner, Gabriel Ullrich, Sebastian Roesch, Jared Avigad, Jeremy de Moura, Leonardo Vienna Univ Technol Vienna Austria Karlsruhe Inst Technol Karlsruhe Germany Univ Washington Seattle WA 98195 USA Carnegie Mellon Univ Pittsburgh PA 15213 USA Microsoft Res Redmond WA USA

We describe the metaprogramming framework currently used in Lean, an interactive theorem prover based on dependent type theory. This framework extends Lean's object language with an API to some of Lean's internal structures and procedures, and provides ways of reflecting object-level expressions into the metalanguage. We provide evidence to show that our implementation is performant, and that it provides a convenient and flexible way of writing not only small-scale interactive tactics, but also more substantial kinds of automation.

关键词： theorem proving dependent type theory tactic language metaprogramming

来源：评论

学校读者我要写书评

暂无评论

Static Loop Parallelization Decision Using Template metaprogramming

Static Loop Parallelization Decision Using Template Metaprog...

引用

International Conference on High Performance Computing and Simulation

作者： Alexis Pereda David R. C. Hill Claude Mazel Bruno Bachelet Universite Clermont Auvergne CNRS LIMOS

ISBN: (纸本)9781538678800

关键词： Code parallelization metaprogramming C++ expression templates Parallelization decision

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：