Filters








152,149 Hits in 7.4 sec

Improving implementation of code generators: A regular-expression approach

Maria Consuelo Franky, Jaime A. Pavlich-Mariscal
2012 2012 XXXVIII Conferencia Latinoamericana En Informatica (CLEI)  
This paper proposes an approach for code generation based on regular expression substitution.  ...  Instead of using templates for code generation, this approach transforms existing source code, using regular expression substitution, to implement the required functionality.  ...  Template-based Code Generation Template-based code generation approach relies on the use of templates, which denote the way to transform the input data of the generator into textual files.  ... 
doi:10.1109/clei.2012.6427199 dblp:conf/clei/FrankyP12 fatcat:jlex2odbpfaglonmqpbacgyoza

Soufflé: On Synthesis of Program Analyzers [chapter]

Herbert Jordan, Bernhard Scholz, Pavle Subotić
2016 Lecture Notes in Computer Science  
Soufflé incorporates the highly flexible Datalog-based program analysis paradigm while exhibiting performance results that are on-par with manually developed state-of-the-art tools.  ...  In this tool paper, we introduce the Soufflé architecture, usage and demonstrate its applicability for large-scale code analysis on the Open-JDK7 library as a use case.  ...  We would also like to thank Byron Cook, Yannis Smaragdakis, and our anonymous reviewers.  ... 
doi:10.1007/978-3-319-41540-6_23 fatcat:gatn2q4ugrg6losxpuuwa7mavm

A Pattern-Based Code Transformation Approach for Cloud Application Migration

Zhengong Cai, Liping Zhao, Xinyu Wang, Xiaohu Yang, Juntao Qin, Keting Yin
2015 2015 IEEE 8th International Conference on Cloud Computing  
First, a pattern matching engine based on a regular expression processing technique is used to identify the parts of the source code that require modification and to extract the essential tokens from the  ...  The approach automatically modifies the source code of an application before the migration, to make it cloud-ready, and then transforms the source code to the target code in the cloud environment.  ...  Step 3: Template Design After locating the source code, a template-based method is proposed to generate the target code from the source code.  ... 
doi:10.1109/cloud.2015.15 dblp:conf/IEEEcloud/CaiZWYQY15 fatcat:e7vry7ygqbhebdqg7iudgsdnk4

TBar: Revisiting Template-based Automated Program Repair [article]

Kui Liu, Anil Koyuncu, Dongsun Kim, Tegawendé F. Bissyandé
2019 arXiv   pre-print
In this paper, we revisit the performance of template-based APR to build comprehensive knowledge about the effectiveness of fix patterns, and to highlight the importance of complementary steps such as  ...  , i.e., template-based, stochastic mutation-based or synthesis-based APR).  ...  Repair Performance Comparison: TBar vs State-of-the-art APR tools Our second experiment evaluates TBar in a realistic setting for patch generation, allowing for reliable comparison against the state-ofthe-art  ... 
arXiv:1903.08409v1 fatcat:6a6hhsk4pva6hkzq2vqdlso7s4

Portable profiling and tracing for parallel, scientific applications using C++

Sameer Shende, Allen D. Malony, Janice Cuny, Peter Beckman, Steve Karmesin, Kathleen Lindlan
1998 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools - SPDT '98  
We address issues of class-based profiling, instrumentation of templates, runtime function identification, and polymorphic (type-based) profiling.  ...  Performance events must be redefined for the conceptual 00 programming model, and those events must be instrumented and tracked in the context of 00 language abstractions, compilation methods, and runtime  ...  We gratefully acknowledge Todd Veldhuizen's work on protiling expression templates and Julian Cummings work on the MC++ application.  ... 
doi:10.1145/281035.281049 fatcat:orcjxfsywfby3macitvreqgwoq

Code Generation from UML Model: State of the Art and Practical Implications

Andrejs Bajovs, Oksana Nikiforova, Janis Sejans
2013 Applied Computer Systems  
The current research is an effort to systematize the information about code generation methods and techniques applied in the task of code generation and to try to answer the question of what is the reason  ...  The paper draws attention to the problem of code generation under advanced software development.  ...  ACKNOWLEDGEMENTS The research presented in the paper is partly supported by Grant of Latvian Council of Science No. 09.1269 "Methods and Models Based on Distributed Artificial Intelligence and Web Technologies  ... 
doi:10.2478/acss-2013-0002 fatcat:snbggmstqfez3mkqfa6sfqp5j4

Kaang: A RESTful API Generator for the Modern Web

Ricardo Queirós, Michael Wagner
2018 Symposium on Languages, Applications and Technologies  
For this accomplishment, Kaang generates the main API content based on the user's input and a set of templates which will help developers to manage and test routes, define resources, store data models  ...  The ultimate goal of Kaang is to minimize the impact of creating a RESTFul service by automating all its workflow (e.g., files structuring, boilerplate code generation, dependencies management, and task  ...  based on three criteria: maturity, coverage and performance.  ... 
doi:10.4230/oasics.slate.2018.1 dblp:conf/slate/Queiros18 fatcat:j6wyej5m2zctlbadwqvt5ugiia

A static analysis method for safe comparison functors in C++

Bence Babati, Norbert Pataki
2020 Annales Mathematicae et Informaticae  
The C++ Standard Template Library (STL) is the most well-known and widely used library that is based on the generic programming paradigm.  ...  Professional C++ programs cannot miss the usage of the STL because it increases quality, maintainability, understandability and efficacy of the code.  ...  In this paper, we argue for a static analysis tool Introduction The C++ Standard Template Library (STL) is a widely-used, handy library based on the generic programming paradigm [2] .  ... 
doi:10.33039/ami.2020.12.003 fatcat:keslnvunibeo5pm56z5r6dztsm

Eigen-AD: Algorithmic Differentiation of the Eigen Library [chapter]

Patrick Peltzer, Johannes Lotz, Uwe Naumann
2020 Lecture Notes in Computer Science  
The range of features includes a better handling of expression templates for general performance improvements as well as implementations of symbolically derived expressions for calculating derivatives  ...  The software design allows an AD-O tool to provide specializations to automatically include symbolic operations and thereby keep the look and feel of plain AD by overloading.  ...  General performance improvements were made regarding the usage of expression templates by the AD-O tool and specific operations can now be reimplemented conveniently by an AD-O tool module in order to  ... 
doi:10.1007/978-3-030-50371-0_51 fatcat:p26v7l5txrgq5fwrmzlxm7gm64

New Proposal on the Development of Machine Protection Functions for ITER Diagnostics Control

Tsuyoshi YAMAMOTO, Eiichi YATSUKA, Takaki HATAE, Kazuya OTA, Yasunori HASHIMOTO, Kitaru NAKAMURA, Tatsuo SUGIE, Masaki TAKEUCHI, Sin-iti KITAZAWA, Hiroaki OGAWA, Yasunori KAWANO, Kiyoshi ITAMI
2016 Plasma and Fusion Research  
We herein propose a software tool that generates program code templates for the control systems using PLC logic.  ...  This tool decreases careless mistakes by developers and increases reliability of the program codes. A large-scale engineering database has been implemented in the ITER project.  ...  Disclaimer The views and opinions expressed herein do not necessarily reflect those of the ITER Organization.  ... 
doi:10.1585/pfr.11.2405114 fatcat:dupeozvccffpnnblvtqkhpxwtm

SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations [chapter]

Filip Křikava, Philippe Collet, Robert B. France
2014 Lecture Notes in Computer Science  
While their higher levels of abstraction result in gains in expressiveness over general-purpose languages, their limitations in versatility, performance, and tool support together with the need to learn  ...  It combines the benefits of external model manipulation DSLs with general-purpose programming taking full advantage of Scala versatility, performance and tool support.  ...  This work is partially supported by the Datalyse project www.datalyse.fr.  ... 
doi:10.1007/978-3-319-11653-2_35 fatcat:znyh5jdribezbcclp666qqkcxi

A Patient-Screening Tool for Clinical Research Based on Electronic Health Records Using OpenEHR: Development Study

Mengyang Li, Hailing Cai, Shan Nan, Jialin Li, Xudong Lu, Huilong Duan
2021 JMIR Medical Informatics  
It uses the advantages of information models and EL in openEHR to provide high-level expressions and improve query performance.  ...  The lack of high-level expression of Structured Query Language (SQL) makes it difficult and time consuming to express them.  ...  Acknowledgments This study was funded by the Chinese National Science and Technology Major Project (grant nos. 2020YFC2003401 and 2016YFC0901703).  ... 
doi:10.2196/33192 pmid:34673526 pmcid:PMC8569542 fatcat:jrk7klly7bhylhgtcnb74czpbq

GLAD: Neural Predicate Synthesis to Repair Omission Faults [article]

Sungmin Kang, Shin Yoo
2022 arXiv   pre-print
Existing template and learning-based APR tools have successfully found patches for many benchmark faults.  ...  An inspection of the bugs that GLAD fixes reveals that GLAD can quickly generate expressions that would be challenging for other techniques.  ...  of multiple template-based tools, and (ii) all reported fixes of deep learning-based tools [5, 8, 18, 23, 34, 41, 62] that we are aware of.  ... 
arXiv:2204.06771v1 fatcat:vuzwzo762bffpaaar6qlfiepwi

Position paper on the simulation of high-frequency optical waves

K. Hertel, C. Pflaum
2010 Procedia Computer Science  
We will present an overview of the organizational aspects and the interaction of the components involved.  ...  This paper will provide an insight into the design and software engineering aspects of a simulation software for time-harmonic electro-magnetic waves with application to the simulation of optical waves  ...  the German Excellence Initiative and the Bavarian Competence Network for Technical and Scientific High Performance Computing (KONWIHR).  ... 
doi:10.1016/j.procs.2010.04.171 fatcat:5olvyfqft5htlbikqjaxpzy26a

Soufflé: On Synthesis Of Program Analyzers

Herbert Jordan, Bernhard Scholz, Pavle Subotić
2016 Zenodo  
SOUFFLÉ incorporates the highly flexible Datalog-based program analysis paradigm while exhibiting performance results that are on-par with manually developed state-of-the-art tools.  ...  In this tool paper, we introduce the SOUFFLÉ architecture, usage and demonstrate its applicability for large-scale code analysis on the OpenJDK7 library as a use case.  ...  We would also like to thank Byron Cook, Yannis Smaragdakis, and our anonymous reviewers.  ... 
doi:10.5281/zenodo.56608 fatcat:zjdvnzjivbg7nmdtittwhu3hba
« Previous Showing results 1 — 15 out of 152,149 results