


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

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














