Výsledky vyhľadávania - Automatic Programming—Program Transformation

Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings Autor Hähnle, Reiner, van der Aalst, Wil

Získať 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ískať plný text

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings Autor Russo, Alessandra, Schürr, Andy

“…computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages;…”
Získať plný text

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ískať plný text

SOFTWARE CONSTRUCTION USING COMPONENTS Autor NEIGHBORS, JAMES MILNE

“…It is the thesis of this work than many computer software systems being built today are similar and should be built out of reusable software components. The…”
Získať plný text

Multidimensional programming Autor Ashcroft, Edward A.

“…This book describes a powerful language for multidimensional declarative programming called Lucid.Lucid has evolved considerably in the past ten years.The main…”
Získať plný text

A Method to Automatically Generate Semantic Skill Models from PLC Code Autor Kocher, Aljosha, Jeleniewski, Tom, Fay, Alexander

“… This approach consists of a dedicated PLC programming library and an automatic transformation of PLC code to a skill ontology…”
Získať plný text

Computer Graphics: Theory and Practice Autor Gomes, Jonas, Velho, Luiz, Costa Sousa, Mario

“…A complete and integrated introduction to computer graphics, this book focuses on conceptual aspects of computer graphics, covering fundamental mathematical…”
Získať plný text

Matrix Multiplication Vector Code Generation Based on Polyhedron Model Autor Wang, Bo-Yang, Pang, Jian-Min, Xu, Jin-Long, Zhao, Jie, Tao, Xiao-Han, Zhu, Yu

“…Matrix multiplication is the core of many scientific calculations, and vectorized programming is one of the main means to improve its…”
Získať 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ískať plný text

Towards Intelligent Computational Tools for Virtual Cinematography Autor Litteneker, Alan Ulfers

“…Virtual cinematography is a fundamental problem spanning a wide range of computer graphics applications. Software for animation, videogames, scientific…”
Získať plný text

Developing a class of sequential function charts from Petri nets Autor Boucher, T.O., Sung, P.

“…A fundamental problem in specifying control software is that the interaction of inputs and outputs becomes difficult to tract as the size of the control…”
Získať 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ískať plný text

Computer algebra and symbolic computation : elementary algorithms Autor Cohen, Joel S.

“…This book provides a systematic approach for the algorithmic formulation and implementation of mathematical operations in computer algebra programming languages…”
Získať plný text

String Diagrams for \(\lambda\)-calculi and Functional Computation Autor Ghica, Dan, Zanasi, Fabio

“…This tutorial gives an advanced introduction to string diagrams and graph languages for higher-order computation. The subject matter develops in a principled…”
Získať plný text

Automatic programming as code search: A research agenda Autor Reiss, S. P.

“… transformations and validation, has the potential to address many of the problems related to automatic programming…”
Získať 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ískať 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ískať plný text

Automatic analysis of functional program style Autor Michaelson, G.

“…Functional programming style is discussed and seven simple semantic style rules, based on program transformation, are enunciated…”
Získať plný text

EXPRESSION PROCEDURES AND PROGRAM DERIVATION Autor SCHERLIS, WILLIAM LOUIS

“… Such a theory would have practical benefits both for programming methodology and for automatic synthesis…”
Získať plný text