Výsledky vyhledávání - Program transformation, Logic programming

Scenario Oriented Program Slicing for Large-Scale Software Through Constraint Logic Programming and Program Transformation Autor Ren, Shengbing, Jia, Mengyu

“… In this paper, we propose an approach of scenario-oriented program slicing, which combines constraint logic programming and program transformation…”
Získat plný text

Proceedings 37th International Conference on Logic Programming (Technical Communications): A Logic Program Transformation for Strongly Persistent Forgetting (Extended Abstract) Autor Aguado, Felicidad, Cabalar, Pedro, Fandinno, Jorge, Pérez, Gilberto, Vidal, Concepción

Získat plný text

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings Autor Goubault-Larrecq, Jean, König, Barbara

“…; semantics of programming languages; program analysis, correctness, transformation, and verification…”
Získat plný text

Analysis and Transformation of Constrained Horn Clauses for Program Verification Autor DE ANGELIS, EMANUELE, FIORAVANTI, FABIO, GALLAGHER, JOHN P., HERMENEGILDO, MANUEL V., PETTOROSSI, ALBERTO, PROIETTI, MAURIZIO

“…This paper surveys recent work on applying analysis and transformation techniques that originate in the field of constraint logic programming (CLP…”
Získat plný text

Horn clauses as an intermediate representation for program analysis and transformation Autor GANGE, GRAEME, NAVAS, JORGE A., SCHACHTE, PETER, SØNDERGAARD, HARALD, STUCKEY, PETER J.

“…Many recent analyses for conventional imperative programs begin by transforming programs into logic programs, capitalising on existing LP analyses and simple LP semantics…”
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

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

“…; semantics of programming languages; program analysis, correctness, transformation, and verification…”
Získat plný text

Transformations of logic programs on infinite lists Autor PETTOROSSI, ALBERTO, PROIETTI, MAURIZIO, SENNI, VALERIO

“…We consider an extension of logic programs, called ω-programs, that can be used to define predicates over infinite lists. ω…”
Získat plný text

Call for Papers Verification and Computational Logic Special Issue of Theory and Practice of Logic Programming Autor Leuschel, Michael, Podelski, Andreas, Ramakrishnan, C. R., Ultes-Nitsche, Ulrich

“… Recently, there has been increasing interest in applying logic programming techniques to model checking in particular and verification in general…”
Získat plný text

Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications Autor Ugo Dal Lago, de Paiva, Valeria

“… On the practical side there is certainly work on program analysis, operational semantics, logic programming languages, program transformations, and efficient…”
Získat plný text

Transformations of logic programs with goals as arguments Autor PETTOROSSI, ALBERTO, PROIETTI, MAURIZIO

“… In order to prove the correctness of these transformation rules, we formally define the operational semantics of our extended logic programming language…”
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

Introduction to the special issue on Verification and Computational Logic Autor LEUSCHEL, MICHAEL, PODELSKI, ANDREAS, RAMAKRISHNAN, C. R., ULTES-NITSCHE, ULRICH

“… Other research has successfully exploited set-based logic program analysis, constraint logic programming, and logic program transformation techniques to verify systems…”
Získat plný text

Proceedings 38th International Conference on Logic Programming Autor Lierler, Yuliya, Morales, Jose F, Dodaro, Carmine, Dahl, Veronica, Gebser, Martin, Tekle, Tuncay

“… Programming support: Program analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. Implementation…”
Získat plný text

On the Equivalence between Logic Programming and SETAF Autor ALCÂNTARA, JOÃO, CORDEIRO, RENAN, SÁ, SAMY

“… In this paper, we provide a translation from Normal Logic Programs ( $\textit{NLP}$ s) to $\textit{SETAF}$ s and vice versa…”
Získat plný text

Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding Autor Guerrero, Juan Antonio, Moreno, Ginés

“… Inspired by our previous experiences in the field of (declarative) program transformation, in this paper we propose the development of a fold/unfold based transformation system for optimizing such kind of fuzzy logic programs…”
Získat plný text

Proceedings 37th International Conference on Logic Programming (Technical Communications) Autor misano, Andrea, Liu, Yanhong Annie, Bogaerts, Bart, Brik, Alex, Dahl, Veronica, Dodaro, Carmine, Fodor, Paul, Pozzato, Gian Luca, Vennekens, Joost, Zhou, Neng-Fa

“… Programming support: Program analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. Implementation…”
Získat plný text

Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications Autor Ehrhard, Thomas, Fernández, Maribel, de Paiva, Valeria, Lorenzo Tortora de Falco

“… On the practical side there is work on program analysis, expressive operational semantics for programming languages, linear programming languages, program transformation, update analysis…”
Získat plný text

Static Analysis and Transformation for Quantum Programming Languages [Focus: Quantum Software and Its Engineering] Autor Behler, Joshua A. C., Al-Ramadan, Ali F., Baheri, Betis, Collard, Michael L., Guan, Qiang, Maletic, Jonathan I.

“…Despite progress in quantum research, there is a notable lack of development tools and technologies that assist developers in designing and analyzing quantum programs…”
Získat plný text

Logic + control: On program construction and verification Autor DRABENT, WŁODZIMIERZ

“… (the SAT solver of Howe and King). The program is treated as a definite clause logic program with added control…”
Získat plný text