![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
18th LOPSTR 2008: Valencia, Spain
- Michael Hanus:
Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5438, Springer 2009, ISBN 978-3-642-00514-5 - Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang:
Space Invading Systems Code. 1-3 - Elvira Albert, Miguel Gómez-Zamalloa
, Germán Puebla:
Test Data Generation of Bytecode by CLP Partial Evaluation. 4-23 - María Alpuente
, Santiago Escobar
, José Meseguer, Pedro Ojeda:
A Modular Equational Generalization Algorithm. 24-39 - Gustavo Arroyo, J. Guadalupe Ramos
, Salvador Tamarit
, Germán Vidal
:
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. 40-54 - Gourinath Banda, John P. Gallagher:
Analysis of Linear Hybrid Systems in CLP. 55-70 - François Degrave, Tom Schrijvers
, Wim Vanhoof:
Automatic Generation of Test Inputs for Mercury. 71-86 - Emanuel Kitzelmann:
Analytical Inductive Functional Programming. 87-102 - Michael Leuschel, Marisa Llorens
, Javier Oliver
, Josep Silva
, Salvador Tamarit
:
The MEB and CEB Static Analysis for CSP Specifications. 103-118 - Michael Leuschel, Germán Vidal
:
Fast Offline Partial Evaluation of Large Logic Programs. 119-134 - Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
:
An Inference Algorithm for Guaranteeing Safe Destruction. 135-151 - Tom Schrijvers
, Maurice Bruynooghe, John P. Gallagher:
From Monomorphic to Polymorphic Well-Typings and Beyond. 152-167 - Hirohisa Seki:
On Negative Unfolding in the Answer Set Semantics. 168-184
![](https://dblp.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.