Suchergebnisse - Program transformation, Logic programming

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

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

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

Volltext

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

“… ; semantics of programming languages; program analysis, correctness, transformation, and verification …”
Volltext

Analysis and Transformation of Constrained Horn Clauses for Program Verification von 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 …”
Volltext

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

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 …”
Volltext

Transformations of logic programs on infinite lists von 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. ω …”
Volltext

Call for Papers Verification and Computational Logic Special Issue of Theory and Practice of Logic Programming von 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 …”
Volltext

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

Transformations of logic programs with goals as arguments von 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 …”
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

Introduction to the special issue on Verification and Computational Logic von 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 …”
Volltext

Proceedings 38th International Conference on Logic Programming von 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 …”
Volltext

On the Equivalence between Logic Programming and SETAF von 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 …”
Volltext

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

Proceedings 37th International Conference on Logic Programming (Technical Communications) von 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 …”
Volltext

Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications von 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 …”
Volltext

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

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

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