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

Runtime bytecode transformation for Smalltalk

COMPUTER LANGUAGES SYSTEMS & STRUCTURES 2006年第2-3期32卷 125-139页

作者： Denker, M Ducasse, S Tanter, É IAM Software Composit Grp Bern Switzerland Univ Savoie LISTIC Language & Software Evolut Grp Savoie France Univ Chile Ctr Web Res Santiago Chile

Transforming programs to alter their semantics is of wide interest, for purposes as diverse as off-the-shelf component adaptation, optimizatiom. trace generation, and experimentation with new language features. The current wave of interest in advanced technologies for better separation of concerns, such as aspect-oriented programming, is a solid testimony of this fact. Strangely enough, almost all proposals are formulated in the context of Java, in which tool providers encounter severe restrictions due to the rigidity of the environment. This paper presents BYTESURGEON, a library to transform binary code in Smalltalk. BYTESURGEON takes full advantage of the flexibility of the Squeak environment to enable bytecode transformation at runtime, thereby allowing dynamic, on-the-fly modification of applications. BYTESURGEON operates on bytecode in order to cope with situations where the source code is not available, while providing appropriate high-level abstractions so that users do not need to program at the bytecode level. We illustrate the use of BYTESURGEON via the implementation of method wrappers and a simple MOP, and report on its efficiency. (c) 2005 Elsevier Ltd. All rights reserved.

关键词： smalltalk object-oriented programming bytecode transformation metaprogramming

来源：评论

学校读者我要写书评

暂无评论

A GLIMPSE OF THE FUTURE OF SCIENTIFIC PROGRAMMING

引用

COMPUTING IN SCIENCE & ENGINEERING 2013年第1期15卷 84-88页

作者： Hinsen, Konrad Ctr Biophys Mol F-45071 Orleans France

Technology being developed right now in computer science labs might change the way scientists and engineers write programs in the future.

关键词： Scientific Programming metaprogramming Code Generation Clojure Lisp Domain Specific Languages

来源：评论

学校读者我要写书评

暂无评论

Unanticipated partial behavioral reflection:: Adapting applications at runtime

引用

COMPUTER LANGUAGES SYSTEMS & STRUCTURES 2008年第2-3期34卷 46-65页

作者： Roethlisberger, David Denker, Marcus Tanter, Eric Univ Bern Software Compos Grp IAM CH-3012 Bern Switzerland Univ Chile Ctr Web Res DCC Santiago Chile

Dynamic, unanticipated adaptation of running systems is of interest in a variety of situations, ranging from functional upgrades to on-the-fly debugging or monitoring of critical applications. In this paper we study a particular form of computational reflection, called unanticipated partial behavioral reflection (UPBR), which is particularly well suited for unanticipated adaptation of real-world systems. Our proposal combines the dynamicity of unanticipated reflection, i.e., reflection that does not require preparation of the code of any sort, and the selectivity and efficiency of partial behavioral reflection (PBR). First, we propose unanticipated partial behavioral reflection which enables the developer to precisely select the required reifications, to flexibly engineer the metalevel and to introduce the metabehavior dynamically. Second, we present a system supporting unanticipated partial behavioral reflection in Squeak Smalltalk, called GEPPETTO, and illustrate its use with a concrete example of a web application. Benchmarks validate the applicability of our proposal as an extension to the standard reflective abilities of Smalltalk. (c) 2007 Elsevier Ltd. All rights reserved.

关键词： reflection metaprogramming metaobject protocol smalltalk

来源：评论

学校读者我要写书评

暂无评论

Computing in Operations Research Using Julia

引用

INFORMS JOURNAL ON COMPUTING 2015年第2期27卷 238-248页

作者： Lubin, Miles Dunning, Iain MIT Ctr Operat Res Cambridge MA 02139 USA

The state of numerical computing is currently characterized by a divide between highly efficient yet typically cumbersome low-level languages such as C, C++, and Fortran and highly expressive yet typically slow high-level languages such as Python and MATLAB. This paper explores how Julia, a modern programming language for numerical computing that claims to bridge this divide by incorporating recent advances in language and compiler design (such as just-in-time compilation), can be used for implementing software and algorithms fundamental to the field of operations research, with a focus on mathematical optimization. In particular, we demonstrate algebraic modeling for linear and nonlinear optimization and a partial implementation of a practical simplex code. Extensive cross-language benchmarks suggest that Julia is capable of obtaining state-of-the-art performance.

关键词： algebraic modeling scientific computing programming languages metaprogramming

来源：评论

学校读者我要写书评

暂无评论

Going beyond templates: composition and evolution in nested OSTRICH

引用

SOFTWARE AND SYSTEMS MODELING 2024年 1-26页

作者： Seco, Joao Costa Lourenco, Hugo Parreira, Joana Ferreira, Carla NOVA Univ Lisbon NOVA LINCS Caparica Portugal OutSystems Lisbon Portugal

Low-code frameworks strive to simplify and speed up application development. An essential mechanism to achieve these goals is to have native support for the safe reuse and usage of parameterized coarse-grain components, providing developers with strong guardrails and a rich software-building experience. OSTRICH -a rich template language for the OutSystems platform-was designed to simplify the use and creation of such components. Thus, the application developer can quickly reuse and assemble sophisticated and thoroughly tested application blocks. However, without a built-in composition and evolution mechanism, OSTRICH templates are still hard to create and maintain. This sometimes requires the repetition of code across different templates and creates a conflict between the customizations of the instantiated application models, and the update and reapplication of a template definition. This paper presents a principled mechanism for using abstraction in the creation of templates and simultaneously supporting the evolution of OSTRICH templates in applications after use. First, we introduce a template composition mechanism, its typing discipline, and its instantiation algorithm for model-driven low-code development environments. We start by extending OSTRICH to support nested templates and allow the instantiation (hatching) of templates in the definition of other templates. Nesting promotes a significant increase in code reuse potential, leading to a safer evolution of applications. We then introduce the support for customizable template instances, which allows one to evolve templates' code and then update a template instance without losing customizations performed in the generated code. The present definition seamlessly extends the existing OutSystems metamodel with template constructs expressed by model annotations that maintain backward compatibility with the existing language toolchain. We present the metamodel, a set of annotations to support the extensions, and the

关键词： metaprogramming Low-code models Metamodel Templating Typechecking templates Model reuse

来源：评论

学校读者我要写书评

暂无评论

Declarative reflection tools for agent shells

引用

FUTURE GENERATION COMPUTER SYSTEMS 1996年第2-3期12卷 203-215页

作者： Tyugu, E Addibpour, M Department of Teleinformatics Royal Institute of Technology Electrum-204 KTH 164 40 Kista Sweden

This paper introduces declarative reflection schemata and describes implementation tools for it. The keywords are planning and inference, i.e. a declarative (non-procedural) description of self must exist and be used for making inferences about the future activities of the reflective system and about consequences of these activities. The NUT system is used as a platform for intelligent agents with reflection. NUT processes running in a network are agent shells filled with knowledge in the form of NUT packages. A knowledge-based technique supported by automatic synthesis of programs is used for declarative reflection: a reflection schema with a model of self managed by daemons is implemented using run-time compilation/decompilation of classes and metaprogramming with productions.

关键词： declarative reflection intelligent agents metaprogramming

来源：评论

学校读者我要写书评

暂无评论

Towards multilingual programming environments

引用

SCIENCE OF COMPUTER PROGRAMMING 2015年第P1期97卷 143-149页

作者： van der Storm, Tijs Vinju, Jurgen J. CWI NL-1009 AB Amsterdam Netherlands

Software projects consist of different kinds of artifacts: build files, configuration files, markup files, source code in different software languages, and so on. At the same time, however, most integrated development environments (IDEs) are focused on a single (programming) language. Even if a programming environment supports multiple languages (e.g., Eclipse), IDE features such as cross-referencing, refactoring, or debugging, do not often cross language boundaries. What would it mean for programming environment to be truly multilingual? In this short paper we sketch a vision of a system that integrates IDE support across language boundaries. We propose to build this system on a foundation of unified source code models and metaprogramming. Nevertheless, a number of important and hard research questions still need to be addressed. (C) 2014 Elsevier B.V. All rights reserved.

关键词： Programming environments Language interoperability metaprogramming

来源：评论

学校读者我要写书评

暂无评论

Genetic improvement of GPU software

引用

GENETIC PROGRAMMING AND EVOLVABLE MACHINES 2017年第1期18卷 5-44页

作者： Langdon, William B. Lam, Brian Yee Hong Modat, Marc Petke, Justyna Harman, Mark UCL Dept Comp Sci London England Univ Cambridge Metabol Res Labs Cambridge England UCL Leonard Wolfson Expt Neurol Ctr London England

We survey genetic improvement (GI) of general purpose computing on graphics cards. We summarise several experiments which demonstrate four themes. Experiments with the gzip program show that genetic programming can automatically port sequential C code to parallel code. Experiments with the StereoCamera program show that GI can upgrade legacy parallel code for new hardware and software. Experiments with NiftyReg and BarraCUDA show that GI can make substantial improvements to current parallel CUDA applications. Finally, experiments with the pknotsRG program show that with semi-automated approaches, enormous speed ups can sometimes be had by growing and grafting new code with genetic programming in combination with human input.

关键词： Genetic programming SBSE GI-GPGPU metaprogramming Grammar based genetic programming NVidia CUDA Parallel computing Dynamic programming GPGPU GGGP

来源：评论

学校读者我要写书评

暂无评论

PARALLEL PROGRAMMING WITH LOGIC LANGUAGES - A SURVEY

引用

COMPUTER LANGUAGES 1992年第4期17卷 213-239页

作者： CIANCARINI, P Department of Computer Science Yale University New Haven CT 06520 U.S.A.

Formal properties of logic languages are largely studied;however, their impact on the practice of software design and programming is currently minimal. In this paper we survey some interesting representatives of the family of logic languages aiming at comparing the different capabilities they offer for designing and programming parallel systems. The logic languages Prolog, Aurora, Flat Concurrent Prolog, Parlog, GHC, and DeltaProlog were chosen, because a suitable set of relevant examples has been published, mostly by the language designers themselves. A number of sample programs is used to expose and compare the languages with respect to their object oriented programming capabilities for multiprocess coordination, interprocess communication, and resource management. Special attention is devoted also to metaprogramming as well, seen as a useful technique for specifying and building the operating environments of the languages themselves. The paper ends with a discussion on positive and negative features found comparing these languages, and indicates some guidelines to be followed in the design of new logic languages.

关键词： CONCURRENT LANGUAGES LANGUAGE DESIGN LOGIC PROGRAMMING metaprogramming

来源：评论

学校读者我要写书评

暂无评论

SOFTWARE METHODOLOGY IN THE HARSH LIGHT OF ECONOMICS

引用

INFORMATION AND SOFTWARE TECHNOLOGY 1989年第5期31卷 239-250页

作者： KANG, KC LEVY, LS AT&T BELL LABS WARRENNJ 07060

Design methodologies have as their objective the provision of a rational framework for the sequencing of choices in producing a design. Thus the so-called waterfall model establishes a sequence of stages-requirements, specifications, design, coding, testing and maintenance-to guide the development process. The success of a methodology can be measured by how well it accomplishes its intended function. A methodology is useful if it allows technical people and managers to allocate properly resources during development and makes the job of monitoring accomplishment easier. The waterfall method has been under considerable criticism recently because it is believed to misallocate resources, owing to it having an improper model of the software development process. A successful methodology must be founded on sound technical and economic bases. The use of economic methods is emphasized primarily as a rational basis for choice among alternatives, not as a monetary criterion. The concerns with productivity and the recent emphasis on software reuse stress both these aspects. Software development methodologies are analysed from both the technical and economic perspectives. Quantitative models consider the various organizational approaches to software development as well. In one of these models a quantitative analysis of the conditions needed for software reuse is provided, as well as an explanation of why it has generally not achieved the projected levels of success. Other models analyse the role of experts in the software development process, and the division of labour.

关键词： design methodologies expert systems metaprogramming object-oriented programming software economics software reuse

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：