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

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

作者： Miao, Weiyu Siek, Jeremy Univ Colorado Boulder CO 80309 USA

ISBN: (纸本)9781450326193

Java reflection enables us to write reusable programs that are independent of certain classes. However, when runtime performance is a big concern, we propose to use compile-time reflection for writing metaprograms that generate non-reflective class/type specific code, which has lower runtime cost. We proposed both compile-time reflection and metaprogramming for Java, and extended our previous work on pattern-based traits. Pattern-based traits integrate pattern-based reflection with flexible composition of traits. They are capable of pattern-matching over class members and generating expressive code. We add and formalize pattern-based reflection at the statement-level, which enables a meta program to generate statements. We add reified generics for pattern-based traits, which enables a pattern to iterate over any class when traits are instantiated. We implemented an ORM tool (called PtjORM) using pattern-based traits. PtjORM uses compile-time reflection and our benchmark tests show that it has competitive runtime performance compared to the mainstream Java ORM tools.

关键词： compile-time reflection metaprogramming object-oriented programming traits object-relational mapping

来源：评论

学校读者我要写书评

暂无评论

ADELE: A Middleware for Supporting the Evolution of Multi-agents Systems Based on a metaprogramming Approach 14th

ADELE: A Middleware for Supporting the Evolution of Multi-ag...

引用

14th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS)

作者： Pico-Valencia, Pablo Holgado-Terriza, Juan A. Catholic Univ Ecuador Esmeraldas Programming & Dev Software Dept C Espejo & Santa Cruz Esmeraldas 080150 Ecuador Univ Granada Software Engn Dept C Periodista Daniel Saucedo Aranda S-N Granada 18071 Spain

ISBN: (纸本)9783319401591;9783319401584

This paper presents a middleware based on an agent model for supporting reactive agents that can change their behavior in order to evolve with time based on the accomplish of active norm defined into a dynamic normative model. This middleware named Agent Dynamic EvoLutionary at runtimE (ADELE) was developed on a Java platform using the JADE framework. ADELE middleware allows developing dynamic multi-agent systems applicable to ubiquitous applications where environments are highly dynamic. Our approach includes metaprogramming mechanisms which enable agents to be able to evolve through a behavior injection (on the fly) at runtime, instead of killing agents which probably can be implicated in other processes and cannot be interrupted to prevent problems to the entire system.

关键词： Multi-agent Behavior injection JADE Evolution metaprogramming

来源：评论

学校读者我要写书评

暂无评论

Ur: Statically-Typed metaprogramming with Type-Level Record Computation 10

Ur: Statically-Typed Metaprogramming with Type-Level Record ...

引用

ACM SIGPLAN Conference on Programming Language Design and Implementation

作者： Chlipala, Adam Impredicative LLC Cambridge MA USA

ISBN: (纸本)9781450300193

Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which allows types to mention program variables;with type-level computation, which facilitates expressive specifications that compute with recursive functions over types. While many recent applications of dependent types omit the latter facility, we argue in this paper that it deserves more attention, even when implemented without dependency. In particular, the ability to use functional programs as specifications enables statically-typed metaprogramming: programs write programs, and static type-checking guarantees that the generating process never produces invalid code. Since our focus is on generic validity properties rather than full correctness verification, it is possible to engineer type inference systems that are very effective in narrow domains. As a demonstration, we present Ur, a programming language designed to facilitate metaprogramming with first-class records and names. On top of Ur, we implement Ur/Web, a special standard library that enables the development of modern Web applications. Ad-hoc code generation is already in wide use in the popular Web application frameworks, and we show how that generation may be tamed using types, without forcing metaprogram authors to write proofs or forcing metaprogram users to write any fancy types.

关键词： Languages Reliability Security dependent types metaprogramming

来源：评论

学校读者我要写书评

暂无评论

Backstage Java Making a Difference in metaprogramming 11

Backstage Java Making a Difference in Metaprogramming

引用

2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications

作者： Palmer, Zachary Smith, Scott F. Johns Hopkins Univ Baltimore MD 21218 USA

ISBN: (纸本)9781450309400

We propose Backstage Java (BSJ), a Java language extension which allows algorithmic, contextually-aware generation and transformation of code. BSJ explicitly and concisely represents design patterns and other encodings by employing compile-time metaprogramming: a practice in which the programmer writes instructions which are executed over the program's AST during compilation. While compile-time metaprogramming has been successfully used in functional languages such as Template Haskell, a number of language properties (scope, syntactic structure, mutation, etc.) have thus far prevented this theory from translating to the imperative world. BSJ uses the novel approach of difference-based metaprogramming to provide an imperative programming style amenable to the Java community and to enforce that metaprograms are consistent and semantically unambiguous. To make the feasibility of BSJ metaprogramming evident, we have developed a compiler implementation and numerous working code examples.

关键词： Languages Design Java metaprogramming macros design patterns software merging difference-based metaprogramming

来源：评论

学校读者我要写书评

暂无评论

Virtual ADTs for Portable metaprogramming 18

Virtual ADTs for Portable Metaprogramming

引用

18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes (MPLR)

作者： Stucki, Nicolas Brachthaeuser, Jonathan Immanuel Odersky, Martin Ecole Polytech Fed Lausanne Lausanne Switzerland

ISBN: (纸本)9781450386753

Scala 3 provides a metaprogramming interface that represents the abstract syntax tree definitions using algebraic data types. To allow the compiler to freely evolve without breaking the metaprogramming interface, we present virtual algebraic data types (or Virtual ADTs) - a programming pattern, which allows programmers to describe mutually recursive hierarchies of types without coupling to a particular runtime representation.

关键词： ADT Polymorphism metaprogramming

来源：评论

学校读者我要写书评

暂无评论

An Approach to Support Legacy Systems Reengineering to MDD Using metaprogramming

An Approach to Support Legacy Systems Reengineering to MDD U...

引用

38th Latin America Conference on Informatics (CLEI)

作者： Papotti, Paulo Eduardo do Prado, Antonio Francisco de Souza, Wanderley Lopes Univ Fed Sao Carlos UFSCar DC Sao Carlos SP Brazil

ISBN: (纸本)9781467307932;9781467307949

Model-Driven Development (MDD) has been a subject of several studies focused on software development. Most studies in this area aims to show how to transform domain models, designing and implementing applications running on different architectures. However, a problem is related to develop a practical approach to support the reengineering of a legacy application for an MDD application. This paper presents an approach for Software Reengineering of a legacy application using MDD and metaprogramming. In Reverse Engineering, we obtain a object-oriented model based on legacy application code and database and, in Forward Engineering, the object-oriented model is refined and used as basis to metaprograms perform code generation. The proposed approach was evaluated through the reengineering of a real legacy system in academic domain from a database with 155 tables.

关键词： Software Reengineering Model-Driven Development metaprogramming

来源：评论

学校读者我要写书评

暂无评论

A Survey of metaprogramming Languages

引用

ACM COMPUTING SURVEYS 2020年第6期52卷 113-113页

作者： Lilis, Yannis Savidis, Anthony ICS FORTH Iraklion Greece Univ Crete Comp Sci Dept Voutes Campus GR-70013 Iraklion Greece FORTH Inst Comp Sci N Plastira 100 GR-70013 Iraklion Greece

metaprogramming is the process of writing computer programs that treat programs as data, enabling them to analyze or transform existing programs or generate new ones. While the concept of metaprogramming has existed for several decades, activities focusing on metaprogramming have been increasing rapidly over the past few years, with most languages offering some metaprogramming support and the amount of meta-code being developed growing exponentially. In this article, we introduce a taxonomy of metaprogramming languages and present a survey of metaprogramming languages and systems based on the taxonomy. Our classification is based on the metaprogramming model adopted by the language, the phase of the metaprogram evaluation, the metaprogram source location, and the relation between the metalanguage and the object language.

关键词： metaprogramming macro systems reflection meta-object protocols aspect-oriented programming generative programming multistage languages

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Zero-Overhead metaprogramming Reflection and Metaobject Protocols Fast and without Compromises 15

Zero-Overhead Metaprogramming Reflection and Metaobject Prot...

引用

36th ACM SIGPLAN Conference on Programming Language Design and Implementation

作者： Marr, Stefan Seaton, Chris Ducasse, Stephane Inria RMoD Lille France Univ Manchester Oracle Labs Manchester M13 9PL Lancs England

ISBN: (纸本)9781450334686

Runtime metaprogramming enables many useful applications and is often a convenient solution to solve problems in a generic way, which makes it widely used in frameworks, middleware, and domain-specific languages. However, powerful metaobject protocols are rarely supported and even common concepts such as reflective method invocation or dynamic proxies are not optimized. Solutions proposed in literature either restrict the metaprogramming capabilities or require application or library developers to apply performance improving techniques. For overhead-free runtime metaprogramming, we demonstrate that dispatch chains, a generalized form of polymorphic inline caches common to self-optimizing interpreters, are a simple optimization at the language-implementation level. Our evaluation with self-optimizing interpreters shows that unrestricted metaobject protocols can be realized for the first time without runtime overhead, and that this optimization is applicable for just-in-time compilation of interpreters based on meta-tracing as well as partial evaluation. In this context, we also demonstrate that optimizing common reflective operations can lead to significant performance improvements for existing applications.

关键词： metaprogramming Reflection Proxies Metaobject Protocols Meta-tracing Partial Evaluation Virtual Machines Just-in-Time Compilation

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：