12 pages matching and-parallelism in this book
Results 1-3 of 12
What people are saying - Write a review
Toward the Synthesis of Constraint Propagation Algorithms
K K Lau and M Ornaghi 10
Inductive Synthesis of Logic Programs and Inductive Logic
11 other sections not shown
Kung-Kiu Lau, Tim P. Clement (Eds.): Logic Program Synthesis and Transformation, Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis ...
www.informatik.uni-trier.de/ ~ley/ db/ conf/ lopstr/ index.html
International Symposium on Logic-based Program Synthesis and ...
This article is orphaned as few or no other articles link to it. Please help introduce links in articles on related topics. (March 2008) ...
en.wikipedia.org/ wiki/ International_Symposium_on_Logic-based_Program_Synthesis_and_Transformation
LOPSTR Home Page
International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991
www.cs.man.ac.uk/ ~kung-kiu/ lopstr/
A framework for the integration of partial evaluation and abstract ...
A framework for the integration of partial evaluation and abstract interpretation of logic programs. Full text, pdf format Pdf (320 KB) ...
UCL - Yves Deville
Papers. Lemer Christian, Antezana Erick, Couche Fabian, Fays Frederic, Santolaria Xavier, Rekin's Janky, Deville Yves, Richelle Jean, Wodak Shoshana, ...
Logic Program Synthesis via Proof Planning - Kraan, Basin, Bundy ...
We propose a novel approach to automating the synthesis of logic programs Logic programs are synthesized as a by product of the planning of a verification ...
Publication Record. © Copyright. Copyrights are held variously by the authors or publishers. In general, these papers are provided for direct use in ...
www.clip.dia.fi.upm.es/ ~elvira/ elvira_papers.html
Programming Analysis & Logic Programming: Publications
Publications. Bagnara, Roberto; Dobson, Katy; Hill, Patricia M; Mundell, Matthew; Zaffanella, Enea. Grids: a domain for analyzing the distribution of ...
www.comp.leeds.ac.uk/ hill/ interests/ publications.shtml
Pierre Flener's Research Publications
Please note: This material is provided for your personal use only and may not be retransmitted or redistributed without permission in writing from a paper's ...
user.it.uu.se/ ~pierref/ publications.html
Proof Planning and Program Synthesis: a Survey 89 8 9 ^
Proof Planning and Program Synthesis: a Survey. Julian Richardson. Dependable Systems Group. Department of Computing & Electrical Engineering, Heriot-Watt ...
ti.arc.nasa.gov/ people/ julianr/ publications/ survey.ps