![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
17th LOPSTR 2007: Kongens Lyngby, Denmark
- Andy King:
Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4915, Springer 2008, ISBN 978-3-540-78768-6
Program Termination
- Michael Codish
:
Proving Termination with (Boolean) Satisfaction. 1-7 - Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp
, Danny De Schreye
:
Termination Analysis of Logic Programs Based on Dependency Graphs. 8-22 - Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa
, Germán Puebla:
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. 23-42
Program Transformation
- François Degrave, Wim Vanhoof:
Towards a Normal Form for Mercury Programs. 43-58 - Peter Van Weert, Jon Sneyers, Bart Demoen:
Aggregates for CHR through Program Transformation. 59-73 - Sebastian Fischer, Josep Silva
, Salvador Tamarit
, Germán Vidal
:
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. 74-89 - Bernd Braßel, Jan Christiansen:
Denotation by Transformation. 90-105
Constraint Solving and Analysis
- Slim Abdennadher, Ingi Sobhi:
Generation of Rule-Based Constraint Solvers: Combined Approach. 106-120 - Ye Zhang, Flemming Nielson:
A Scalable Inclusion Constraint Solver Using Unification. 121-137 - Amadeo Casas, Manuel Carro
, Manuel V. Hermenegildo
:
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. 138-153 - Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo
:
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs. 154-168
Software Engineering
- Mauro Ferrari
, Camillo Fiorentini
, Alberto Momigliano
, Mario Ornaghi:
Snapshot Generation in a Constructive Object-Oriented Modeling Language. 169-184 - Iman Poernomo:
Synthesis of Data Views for Communicating Processes. 185-200 - Annalisa Bossi, Carla Piazza
, Sabina Rossi:
Action Refinement in Process Algebra and Security Issues. 201-217
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.