Stop the war!
Остановите войну!
for scientists:
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.