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

Simple and safe SQL queries with C plus plus templates

SCIENCE OF COMPUTER programming 2010年第7期75卷 573-595页

作者： Gil, Joseph (Yossi) Lenz, Keren Technion Israel Inst Technol Dept Comp Sci IL-32000 Haifa Israel

Most large software applications rely on an external relational database for storing and managing persistent data. Typically, such applications interact with the database by first constructing strings that represent SQL statements, and then submitting these for execution by the database engine. the fact that these statements are only checked for correctness at runtime is a source for many potential defects, including type and syntax errors and vulnerability to injection attacks. the ARARAT system presented here offers a method for dealing with these difficulties by coercing the host C++ compiler to do the necessary checks of the generated strings. A library of templates and preprocessor directives is used to embed in C++ a little language representing an augmented relational algebra formalism. Type checking of this embedded language, carried out by our template library, assures, at compile-time, the correctness and safety of the generated SQL strings. All SQL statements constructed by ARARAT are guaranteed to be syntactically correct, and type safe with respect to the database schema. Moreover, ARARAT statically ensures that the generated statements are immune to all injection attacks. the standard techniques of "expression templates" and "compile-time symbolic derivation" for compile-time representation of symbolic structures, are enhanced in our system. We demonstrate the support of a type system and a symbol table lookup of the symbolic structure. A key observation of this work is that type equivalence of instantiated nominally typed generics in C++ (as well as other languages, e.g., JAVA) is structural rather than nominal. this makes it possible to embed the structural type system, characteristic to persistent data management, in the nominal type system of C++. For some of its advanced features, ARARAT relies on two small extensions to the standard C++ language: the typeof pseudo operator and the _COUNTER_ preprocessor macro. (C) 2010 Elsevier B.V. All rights re

关键词： C plus Template programming Embedded languages Domain specific languages Databases Structural type equivalence Relational algebra

来源：评论

学校读者我要写书评

暂无评论

An inheritance system for structural & behavioral reuse in component-based software programming 12

An inheritance system for structural & behavioral reuse in c...

引用

11th ACM international conference on generative programming and component engineering, GPCE 2012

作者： Spacek, Petr Dony, Christophe Tibermacine, Chouki Fabresse, Luc LIRMM CNRS Montpellier II University 161 rue Ada 34392 Montpellier Cedex 5 France Université Lille Nord de France Ecole des Mines de Douai 941 rue Charles Bourseul 59508 Douai Cedex France

ISBN: (纸本)9781450311298

In the context of component-based programming, which addresses the implementation stage of a component-based software engineering development process, this paper describes a specification and an operational integration of an inheritance system into a self-contained new component-based programming language named Compo. Our proposal completes and extends related works by making it possible to apply inheritance to the full description of components, i.e. both to structural (description of provisions and requirements, of component architecture) and behavioral (full implementations of services) parts in component descriptions. Inheritance in Compo is designed to be used in conjunction with composition to maximize reuse capabilities and expressive power. Compo implementation proposes a clear operational solution for inheritance and for achieving and testing substitutions. Copyright 2012 ACM.

关键词： Computer software reusability

来源：评论

学校读者我要写书评

暂无评论

Interactive Correction and Recommendation for Computer Language Learning and Training

引用

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA engineering 2009年第6期21卷 854-866页

作者： Pahl, Claus Kenny, Claire Dublin City Univ Sch Comp Dublin 9 Ireland

Active learning and training is a particularly effective form of education. In various domains, skills are equally important to knowledge. We present an automated learning and skills training system for a database programming environment that promotes procedural knowledge acquisition and skills training. the system provides meaningful knowledge-level feedback such as correction of student solutions and personalized guidance through recommendations. Specifically, we address automated synchronous feedback and recommendations based on personalized performance assessment. At the core of the tutoring system is a pattern-based error classification and correction component that analyzes student input in order to provide immediate feedback and in order to diagnose student weaknesses and suggest further study material. A syntax-driven approach based on grammars and syntax trees provides the solution for a semantic analysis technique. Syntax tree abstractions and comparison techniques based on equivalence rules and pattern matching are specific approaches.

关键词： Artificial intelligence-applications and expert knowledge-intensive systems data structures education programming languages query languages

来源：评论

学校读者我要写书评

暂无评论

Simple and safe SQL queries with c++ templates 07

Simple and safe SQL queries with c++ templates

引用

GPCE'07 - 6th international conference on generative programming and component engineering

作者： Gil, Joseph Lenz, Keren Department of Computer Science Technion-Israel Institute of Technology Technion City Haifa 32000 Israel

ISBN: (纸本)9781595938558

Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with valid SQL statements, which are then sent for execution to the database engine. the fact that these statements are only checked for correctness at runtime is a source for many potential problems such as type and syntax errors and vulnerability to injection attacks. the ARARAT system presented here offers a method for dealing with these predicaments, by coercing the host C++ compiler to do the necessary checks of the generated strings. A library of templates and preprocessor directives effectively extends C++ with a little language representing an augmented relational algebra formalism. Type checking of this language extension, carried out by our template library, assures, at compile-time, the correctness and safety of the generated SQL strings. that is to say that all SQL statements constructed by the system are syntactically correct, legal with respect to the database schema, and immune to injection attacks. Standard techniques (e.g., "expression templates") for compile time representation of symbolic structures, are enhanced in our system to support a type system (featuring structural equivalence) and a symbol table lookup of the symbolic structure. Our work may also open the way for embedding other domain specific languages in C++. the system provides also initial support for the task of defining C++ data structures required for storing the results returned by database queries. An optional pre-processor can be used to define the database scheme to the C++ program. Copyright © 2007 ACM.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Extending AspectJ for Separating Regions 09

Extending AspectJ for Separating Regions

引用

8th international conference on generative programming and component engineering

作者： Akai, Shumpei Chiba, Shigeru Tokyo Inst Technol Tokyo Japan

ISBN: (纸本)9781605584942

Synchronization is a good candidate for an aspect in aspect-oriented programming (AOP) since programmers have to choose the best granularity of synchronization for the underlying hardware to obtain the best execution performance. If synchronization is an aspect, programmers can change the synchronization code independently of the rest of the program when the program runs on different hardware. However, existing AOP languages such as AspectJ have problems. they cannot select an arbitrary code region as a join point. Moreover, they cannot enforce weaving of a synchronization aspect. Since it is an alternative feature in feature modeling, at least one of available synchronization aspects must be woven. Otherwise, the program would be thread-unsafe. Since an aspect in AspectJ is inherently optional, programmers must be responsible for weaving it. To solve these problems, this paper proposes two new constructs for AspectJ, region cut and assertions for advice. Regioncut selects arbitrary code region as a join point and assertion for advice enforces weaving a mandatory advice. We implemented these constructs by extending the AspectBench compiler. We evaluated the design of our constructs by applying them to two open-source software products, Javassist and Hadoop.

关键词： Languages Design Aspect-Oriented programming Feature-Oriented programming Region Synchronization

来源：评论

学校读者我要写书评

暂无评论

component Based Data and Image Processing Systems - A Conceptual and Practical Approach 6

Component Based Data and Image Processing Systems - A Concep...

引用

6th IEEE international conference on Software engineering and Service Science (ICSESS)

作者： Hoegg, thomas Koehler, Christian Kolb, Andreas Univ Siegen Comp Graph & Multimedia Syst D-57068 Siegen Germany

ISBN: (纸本)9781479983537

Setting up new data and image processing systems is an always recurring task. Since reusing algorithms and other functionality leads to higher program quality and mostly shorter development time, this approach introduces a novel component-Based Software engineering System (CBSE). It supports special types such as diagrams and structures, components and component-instance-diagrams known from UML. the system allows an abstract and object-oriented description of data and image processing tasks. the CBSE system is integrated into a rich client platform (RCP), supporting dynamic, plugin-based GUI-extensions, 2D/3D rendering using OpenGL and also fast data processing using OpenCL.

关键词： Unified Modeling Language application program interfaces data analysis graphical user interfaces image processing object-oriented programming 2D rendering 3D rendering CBSE system OpenGL RCP UML abstract analysis component-based data processing system component-based image processing component-based software engineering system component-instance-diagrams data processing dynamic-plugin-based GUI-extensions object-oriented analysis program development time program quality rich-client platform Computer architecture Data processing Graphical user interfaces Image processing Ports (Computers) Software engineering Unified modeling language

来源：评论

学校读者我要写书评

暂无评论

Syntactic abstraction in component interfaces 05

Syntactic abstraction in component interfaces

引用

4th international conference on generative programming and component engineering

作者： Culpepper, R Owens, S Flatt, M Northeastern Univ Boston MA 02115 USA Univ Utah Salt Lake City UT 84112 USA

ISBN: (纸本)3540291385

In this paper, we show how to combine a component system and a macro system. A component system separates the definition of a program fragment from the statements that link it, enabling independent compilation of the fragment. A macro system, in contrast, relies on explicit links among fragments that import macros, since macro expansion must happen at compile time. Our combination places macro definitions inside component signatures, thereby permitting macro expansion at compile time, while still allowing independent compilation and linking for the run-time part of components.

关键词： Interfaces (computer)

来源：评论

学校读者我要写书评

暂无评论

Advanced Runtime Adaptation for Java 09

Advanced Runtime Adaptation for Java

引用

8th international conference on generative programming and component engineering

作者： Villazon, Alex Binder, Walter Ansaloni, Danilo Moret, Philippe Univ Lugano Fac Informat CH-6900 Lugano Switzerland

ISBN: (纸本)9781605584942

Dynamic aspect-oriented programming (AOP) enables runtime adaptation of aspects, which is important for building sophisticated, aspect-based software engineering tools, such as adaptive profilers or debuggers that dynamically modify instrumentation code in response to user interactions. Today, many AOP frameworks for Java, notably AspectJ, focus on aspect weaving at compile-time or at load-time, and offer only limited support for aspect adaptation and reweaving at runtime. In this paper, we introduce HotWave, an AOP framework based on AspectJ for standard Java Virtual Machines (JVMs). HotWave supports dynamic (re) weaving of previously loaded classes, and it ensures that all classes loaded in a JVM can be (re) woven, including the classes of the standard Java class library. HotWave features a novel mechanism for inter-advice communication, enabling efficient data passing between advices that are woven into the same method. We explain HotWave's programming model and discuss our implementation techniques. As case study, we present an adaptive, aspect-based profiler that leverages HotWave's distinguishing features.

关键词： Algorithms Languages Measurement Dynamic aspect-oriented programming runtime aspect adaptation and (re) weaving bytecode instrumentation code hotswapping AspectJ Java Virtual Machine

来源：评论

学校读者我要写书评

暂无评论

HotWave: Creating Adaptive Tools with Dynamic Aspect-Oriented programming in Java 09

HotWave: Creating Adaptive Tools with Dynamic Aspect-Oriente...

引用

8th international conference on generative programming and component engineering

作者： Villazon, Alex Binder, Walter Ansaloni, Danilo Moret, Philippe Univ Lugano Fac Informat CH-6900 Lugano Switzerland

ISBN: (纸本)9781605584942

Developing tools for profiling, debugging, testing, and reverse engineering is error-prone, time-consuming, and therefore costly when using low-level techniques, such as bytecode instrumentation. As a solution to these problems, we promote tool development in Java using high-level aspect-oriented programming (AOP). We demonstrate that the use of aspects yields compact tools that are easy to develop and extend. As enabling technology, we rely on HotWave, a new tool for dynamic and comprehensive aspect weaving. HotWave reconciles compatibility with existing virtual machine and AOP technologies. It provides support for runtime adaptation of aspects and reweaving of previously loaded code, as well as the ability to weave aspects into all methods executing in a Java Virtual Machine, including methods in the standard Java class library. HotWave also features a new mechanism for efficiently passing data between advices that are woven into the same method. We demonstrate the benefits of HotWave's distinguishing features with two case studies in the area of profiling.

关键词： Algorithms Languages Measurement Dynamic aspect-oriented programming runtime weaving bytecode instrumentation code hotswapping profiling AspectJ Java Virtual Machine

来源：评论

学校读者我要写书评

暂无评论

Refactoring product lines 06

Refactoring product lines

引用

5th international conference on generative programming and component engineering, GPCE'06. Co-located with the 21st international conference on Object-Oriented programming, Systems, Languages, and Applications, OOPSLA 2006

作者： Alves, Vander Gheyi, Rohit Massoni, Tiago Kulesza, Uirá Borba, Paulo Lucena, Carlos Informatics Center UFPE PUC-Rio

ISBN: (纸本)1595932372

Adoption strategies for Software Product Lines (SPL) frequently involve bootstrapping existing products into a SPL and extending an existing SPL to encompass another product. One way to do that is to use program refactorings. However, the traditional notion of refactoring does not handle appropriately feature models (FM), nor transformations involving multiple instances of the same SPL. For instance, it is not desirable to apply a refactoring into a SPL and reduce its configurability. In this paper, we extend the traditional notion of refactoring to an SPL context. Besides refactoring programs, FMs must also be refactored. We present a set of sound refactorings for FMs. We evaluate this extended refactoring definition for SPL in a real case study in the mobile games domain. Copyright © 2006 ACM.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：