Výsledky vyhledávání - Automatic Programming— Program transformation

Automatic validation of code-improving transformations on low-level program representations Autor van Engelen, Robert, Whalley, David, Yuan, Xin

“…This paper presents a general approach for automatically validating code-improving transformations on low-level program representations…”
Získat plný text

Improving the numerical accuracy of programs by automatic transformation Autor Damouche, Nasrine, Martel, Matthieu, Chapoutot, Alexandre

“…The dangers of programs performing floating-point computations are well known. This is due to the sensitivity of the results to the way formulæ are written…”
Získat plný text

Automatic verification of behavior preservation at the transformation level for relational model transformation Autor Dyck, Johannes, Giese, Holger, Lambers, Leen

“…, for a given source and target model specified by the model transformation. However, until now there is no sound and automatic verification approach available at the transformation level, i.e…”
Získat plný text

Automatic differentiation for ML-family languages: Correctness via logical relations Autor Lucatelli Nunes, Fernando, Vákár, Matthijs

“… We demonstrate it by working out the case of automatic differentiation (AD) correctness: namely, we present a correctness proof of a dual numbers style AD code transformation for realistic functional languages in the ML-family…”
Získat plný text

Mossad: defeating software plagiarism detection Autor Devore-McDonald, Breanna, Berger, Emery D.

“… This paper shows this is not the case. It presents an entirely automatic program transformation approach, MOSSAD, that defeats popular software plagiarism detection tools…”
Získat plný text

Automatic bug localization using a combination of deep learning and model transformation through node classification Autor Yousofvand, Leila, Soleimani, Seyfollah, Rafe, Vahid

“…Bug localization is the task of automatically locating suspicious commands in the source code. Many automated bug localization approaches have been proposed…”
Získat plný text

Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations Autor Smeding, Tom J., Vákár, Matthijs I. L.

“…Where dual-numbers forward-mode automatic differentiation (AD) pairs each scalar value with its tangent value, dual-numbers reverse-mode AD attempts to achieve reverse AD using a similarly simple idea…”
Získat plný text

Logic program proportions: Logic program proportions Autor Antić, Christian

“… into S ” as a mechanism for deriving similar programs by analogy-making. The idea is to instantiate a fragment of a recently introduced abstract algebraic framework of analogical proportions in the domain of logic programming…”
Získat plný text

From Logic to Functional Logic Programs Autor HANUS, MICHAEL

“… By mapping logic programs into functional logic programs with a transformation based on inferring functional dependencies, we develop a fully automatic transformation which keeps the flexibility…”
Získat plný text

Feedback-driven semi-supervised synthesis of program transformations Autor Gao, Xiang, Barke, Shraddha, Radhakrishna, Arjun, Soares, Gustavo, Gulwani, Sumit, Leung, Alan, Nagappan, Nachiappan, Tiwari, Ashish

“…While editing code, it is common for developers to make multiple related repeated edits that are all instances of a more general program transformation…”
Získat plný text

Applying MDE to the (semi-)automatic development of model transformations Autor Bollati, Verónica Andrea, Vara, Juan Manuel, Jiménez, Álvaro, Marcos, Esperanza

“…Model transformations play a key role in any software development project based on Model-Driven Engineering principles…”
Získat plný text

Neural Network Approach to Program Synthesis for Tabular Transformation by Example Autor Ujibashi, Yoshifumi, Takasu, Atsuhiro

“…Data transformation is a laborious and time-consuming task for analysts. Programming by example (PBE…”
Získat plný text

Mixed-language automatic differentiation Autor Pascual, Valérie, Hascoët, Laurent

“…As Automatic Differentiation (AD) usage is spreading to larger and more sophisticated applications, problems arise for codes that use several programming languages…”
Získat plný text

Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies Autor Girbal, Sylvain, Vasilache, Nicolas, Bastoul, Cédric, Cohen, Albert, Parello, David, Sigler, Marc, Temam, Olivier

“… This challenge is addressed by working on the program representation itself, using a semi-automatic optimization approach to demonstrate that current compilers offen suffer from unnecessary…”
Získat plný text

Instrumentation of C++ Programs Using Automatic Source Code Transformations Autor Parragi, Z., Porkolab, Z.

“… Some of these tools work on the source code of the program, analyzing, measuring or transforming…”
Získat plný text

Automatic transformation of iterative loops into recursive methods Autor Insa, David, Silva, Josep

“… The transformation is described for the programming…”
Získat plný text

Automatic segmentation of coronary tree in CT angiography images Autor Gao, Zhifan, Liu, Xin, Qi, Song, Wu, Wanqing, Hau, William Kongto, Zhang, Heye

“…Summary In this study, we proposed an automatic approach to segment the three‐dimensional coronary tree from computed tomography angiography (CTA) image data…”
Získat plný text

SCADE Model Checking Based on Program Transformation Autor Ran, Dan, Chen, Zhe, Sun, Yi, Yang, Zhi-bin

“…SCADE synchronization language is a common programming language for embedded system.It is often used to realize real-time embedded automatic control system…”
Získat plný text

Transformation-based diagnosis of student programs for programming tutoring systems Autor Xu, Songwen, Chee, Yam San

“… This paper describes a transformation-based approach to automate the diagnosis of students' programs for programming tutoring systems…”
Získat plný text

XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications Autor Arshad, Hamed, Horne, Ross, Johansen, Christian, Owe, Olaf, Willemse, Tim A.C.

“… Hence, this paper presents XACML2mCRL2, a tool for the automatic translation of XACML access control policies into mCRL2…”
Získat plný text