Suchergebnisse - Automatic Programming— Program transformation

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

“… This paper presents a general approach for automatically validating code-improving transformations on low-level program representations …”
Volltext

Improving the numerical accuracy of programs by automatic transformation von 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 …”
Volltext

Automatic verification of behavior preservation at the transformation level for relational model transformation von 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 …”
Volltext

Automatic differentiation for ML-family languages: Correctness via logical relations von 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 …”
Volltext

Mossad: defeating software plagiarism detection von 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 …”
Volltext

Automatic bug localization using a combination of deep learning and model transformation through node classification von 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 …”
Volltext

Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations von 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 …”
Volltext

Logic program proportions: Logic program proportions von 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 …”
Volltext

From Logic to Functional Logic Programs von 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 …”
Volltext

Feedback-driven semi-supervised synthesis of program transformations von 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 …”
Volltext

Applying MDE to the (semi-)automatic development of model transformations von 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 …”
Volltext

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

“… Data transformation is a laborious and time-consuming task for analysts. Programming by example (PBE …”
Volltext

Mixed-language automatic differentiation von 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 …”
Volltext

Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies von 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 …”
Volltext

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

“… Some of these tools work on the source code of the program, analyzing, measuring or transforming …”
Volltext

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

“… The transformation is described for the programming …”
Volltext

Automatic segmentation of coronary tree in CT angiography images von 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 …”
Volltext

SCADE Model Checking Based on Program Transformation von 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 …”
Volltext

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

“… This paper describes a transformation-based approach to automate the diagnosis of students' programs for programming tutoring systems …”
Volltext

XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications von 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 …”
Volltext