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

Magic Potion: Incorporating New Development Paradigms through metaprogramming

IEEE SOFTWARE 2010年第5期27卷 38-44页

作者： Djuric, Dragan Devedzic, Vladan Univ Belgrade Belgrade 11001 Serbia

Today's applications require mixing and matching languages, platforms, and paradigms, which increases a solution's complexity. The authors propose a lighter approach that borrows a desired paradigm and incorporates it as an integral part of a preferred development environment. They've applied metaprogramming to internalize the ontology-modeling paradigm into a programming environment that's based on the Java ecosystem. Their method is also lightweight and suitable for small teams. They implemented an embedded domain-specific metalanguage, called Magic Potion, in the Clojure development environment, where it blends ontology, functional, object-oriented, and concurrent paradigms.

关键词： Programming Paradigms Multiparadigm Languages Ontology Languages metaprogramming Domain Specific Languages Programming Languages Domain Engineering Programming Techniques

来源：评论

学校读者我要写书评

暂无评论

Staged metaprogramming for Shader System Development

引用

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

作者： 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

来源：评论

学校读者我要写书评

暂无评论

Transparent replication using metaprogramming in Cyan

引用

SCIENCE OF COMPUTER PROGRAMMING 2020年 200卷

作者： Ugliara, Fellipe A. Vieira, Gustavo M. D. Guimaraes, Jose de O. Univ Fed Sao Carlos CCGT DComp Sao Carlos SP Brazil

Replication can be used to increase the availability of a service by creating many operational copies of its data called replicas. Active replication is a form of replication that has strong consistency semantics, which are easier to reason about and program. However, creating replicated services using active replication still demands from the programmer the knowledge of subtleties of the replication mechanism. In this paper we show how to use the metaprogramming infrastructure of the Cyan language to shield the application programmer from these details, allowing easier creation of fault-tolerant replicated applications through simple annotations. (C) 2020 Elsevier B.V. All rights reserved.

关键词： Replication metaprogramming Code generation

来源：评论

学校读者我要写书评

暂无评论

metaprogramming Ruby 1

引用

丛书名： The pragmatic programmers, The facets of Ruby series

2010年

作者： Paolo Perrotta

ISBN: (纸本)1934356476

Everyone in the Ruby world seems to be talking about metaprogramming--how you can use it to remove duplication in your code and write elegant, beautiful programs. Now you can get in on the action as well. This book describes metaprogramming as an essential component of Ruby. Once you understand the principles of Ruby, including the object model, scopes, and eigenclasses, you're on your way to applying metaprogramming both in your daily work and in your fun, after-hours projects. Learning metaprogramming doesn't have to be difficult or boring. By taking you on a Monday-through-Friday workweek adventure with a pair of programmers, Paolo Perrotta helps make mastering the art of metaprogramming both straightforward and entertaining. The book is packed with:Pragmatic examples of metaprogramming in action, many of which come straight from popular libraries or frameworks, such as Rails. Programming challenges that let you experiment and play with some of the most fun, "out-there" metaprogramming concepts. metaprogramming spells--34 practical recipes and idioms that you can study and apply right now, to write code that is sure to impress. Whether you're a Ruby apprentice on the path to mastering the language or a Ruby wiz in search of new tips, this book is for you.

关键词： ruby pros program metaprogramming

来源：评论

学校读者我要写书评

暂无评论

A GENERALIZED-APPROACH TO metaprogramming IN LOGIC GRAMMARS

引用

NEW GENERATION COMPUTING 1990年第3期8卷 211-223页

作者： WILMES, T Institut für Informatik und Praktische Mathematik Christian-Albrechts-Universität Kiel Kiel Federal Republic of Germany

This paper extends Definite Clause Grammars (DCGs) by a metaprogramming facility which supports sequences of items (terminals, nonterminals, Prolog goals, etc.) as values of variables. Variables may be employed themselves as a new sort of item in the right-hand side of a rule, in order to activate the respective item sequences they are instantiated to. In addition, so-called assignments render it possible to save the terminal string derived from an item (or even from an item sequence) in a variable for later manipulation, or to unify it with another string. The new approach, called Assignment Metagrammars (AMGs), is compared with H. Abramson's meta-nonterminals and the Discontinuous Grammars (DGs) or Gapping Grammars (GGs) proposed by V. Dahl and H. Abramson. AMGs are implemented by a complier that translates them into efficient Prolog programs.

关键词： DEFINITE CLAUSE GRAMMARS META-NONTERMINALS metaprogramming DISCONTINUOUS GRAMMARS GAPPING GRAMMARS ASSIGNMENT METAGRAMMARS

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Rational metaprogramming

引用

IEEE SOFTWARE 2008年第1期25卷 78-79页

作者： Spinellis, Diomidis Univ Athens Dept Management Sci & Technol GR-10679 Athens Greece

metaprogramming takes place when programs manipulate other programs. It is a powerful but tricky technique that can lead to unmaintainable code and bugs. None of the many current approaches to metaprogramming is mature. An ideal solution would use the same language for programming and metaprogramming. The language would be based on a small set of familiar programming constructs, and its compile-time objects would be first class citizens guaranteed to be syntactically correct and valid.

关键词： metaprogramming Functional Programming Templates Generative Programming

来源：评论

学校读者我要写书评

暂无评论

Transparent Replication Using metaprogramming in Cyan 17

Transparent Replication Using Metaprogramming in Cyan

引用

21st Brazilian Symposium on Programming Languages (SBLP) as Part of 8th Brazilian Conference on Software (CBSoft)

作者： Ugliara, Fellipe Augusto Dias Vieira, Gustavo Maciel Guimaraes, Jose de Oliveira FIT Tecnol Sorocaba SP Brazil Univ Fed Sao Carlos CCGT DComp Sorocaba SP Brazil

ISBN: (纸本)9781450353892

Replication can be used to increase the availability of a service by creating many operational copies of its data called replicas. Active replication is a form of replication that has strong consistency semantics, easier to reason about and program. However, creating replicated services using active replication still demands from the programmer the knowledge of subtleties of the replication mechanism. In this paper we show how to use the metaprogramming infrastructure of the Cyan language to shield the application programmer from these details, allowing easier creation of fault-tolerant replicated applications through simple annotations.

关键词： replication metaprogramming code generation

来源：评论

学校读者我要写书评

暂无评论

High-Fidelity metaprogramming with Separator Syntax Trees 2020

High-Fidelity Metaprogramming with Separator Syntax Trees

引用

ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM')

作者： Aarssen, Rodin T. A. van der Storm, Tijs Ctr Wiskunde & Informat Amsterdam Netherlands Eindhoven Univ Technol Eindhoven Netherlands Univ Groningen Groningen Netherlands

ISBN: (纸本)9781450370967

Many metaprogramming tasks, such as refactorings, automated bug fixing, or large-scale software renovation, require high-fidelity source code transformations - transformations which preserve comments and layout as much as possible. Abstract syntax trees (ASTs) typically abstract from such details, and hence would require pretty printing, destroying the original program layout. Concrete syntax trees (CSTs) preserve all layout information, but transformation systems or parsers that support CSTs are rare and can be cumbersome to use. In this paper we present separator syntax trees (SSTs), a lightweight syntax tree format, that sits between AST and CSTs, in terms of the amount of information they preserve. SSTs extend ASTs by recording textual layout information separating AST nodes. This information can be used to reconstruct the textual code after parsing, but can largely be ignored when implementing high-fidelity transformations. We have implemented SSTs in Rascal, and show how it enables the concise definition of high-fidelity source code transformations using a simple refactoring for C++.

关键词： metaprogramming high-fidelity code transformations

来源：评论

学校读者我要写书评

暂无评论

Explicitly Heterogeneous metaprogramming with MetaHaskell 12

Explicitly Heterogeneous Metaprogramming with MetaHaskell

引用

17th ACM SIGPLAN International Conference on Functional Programming

作者： Mainland, Geoffrey Microsoft Research Cambridge United Kingdom

ISBN: (纸本)9781450310543

Languages with support for metaprogramming, like MetaOCaml, offer a principled approach to code generation by guaranteeing that well-typed metaprograms produce well-typed programs. However, many problem domains where metaprogramming can fruitfully be applied require generating code in languages like C, CUDA, or assembly. Rather than resorting to add-hoc code generation techniques, these applications should be directly supported by explicitly heterogeneous metaprogramming languages. We present MetaHaskell, an extension of Haskell 98 that provides modular syntactic and type system support for type safe metaprogramming with multiple object languages. Adding a new object language to MetaHaskell requires only minor modifications to the host language to support type-level quantification over object language types and propagation of type equality constraints. We demonstrate the flexibility of our approach through three object languages: a core ML language, a linear variant of the core ML language, and a subset of C. All three languages support metaprogramming with open terms and guarantee that well-typed MetaHaskell programs will only produce closed object terms that are well-typed. The essence of MetaHaskell is captured in a type system for a simplified metalanguage. MetaHaskell, as well as all three object languages, are fully implemented in the mhc bytecode compiler.

关键词： Languages Design metaprogramming open terms type systems quasiquotation linear languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：