Search Results - Program transformation, Logic programming

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

“… In this paper, we propose an approach of scenario-oriented program slicing, which combines constraint logic programming and program transformation…”
Get full text

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

Get full 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 by Goubault-Larrecq, Jean, König, Barbara

“…; semantics of programming languages; program analysis, correctness, transformation, and verification…”
Get full text

Analysis and Transformation of Constrained Horn Clauses for Program Verification by 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…”
Get full text

Horn clauses as an intermediate representation for program analysis and transformation by 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…”
Get full text

From Logic to Functional Logic Programs by 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…”
Get full 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…”
Get full text

Transformations of logic programs on infinite lists by 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. ω…”
Get full text

Call for Papers Verification and Computational Logic Special Issue of Theory and Practice of Logic Programming by 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…”
Get full text

Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications by 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…”
Get full text

Transformations of logic programs with goals as arguments by 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…”
Get full text

Logic program proportions: Logic program proportions by 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…”
Get full text

Introduction to the special issue on Verification and Computational Logic by 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…”
Get full text

Proceedings 38th International Conference on Logic Programming by 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…”
Get full text

On the Equivalence between Logic Programming and SETAF by 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…”
Get full text

Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding by 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…”
Get full text

Proceedings 37th International Conference on Logic Programming (Technical Communications) by 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…”
Get full text

Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications by 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…”
Get full text

Static Analysis and Transformation for Quantum Programming Languages [Focus: Quantum Software and Its Engineering] by 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…”
Get full text

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

“… (the SAT solver of Howe and King). The program is treated as a definite clause logic program with added control…”
Get full text