default search action
3rd LOPSTR 1993: Louvain-la-Neuve, Belgium
- Yves Deville:
Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993. Workshops in Computing, Springer 1994, ISBN 3-540-19864-4 - Douglas R. Smith:
Towards the Synthesis of Constraint Propagation Algorithms. LOPSTR 1993: 1-9 - Kung-Kiu Lau, Mario Ornaghi:
A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs. LOPSTR 1993: 10-31 - Gerd Neugebauer:
Reachability Analysis for the Extension Procedure - A Topological Result. LOPSTR 1993: 32-44 - Francesco Bergadano, Daniele Gunetti:
Inductive Synthesis of Logic Programs and Inductive Logic Programming. LOPSTR 1993: 45-56 - Marko Grobelnik:
Induction of Prolog Programs with Markus. LOPSTR 1993: 57-63 - Peter Madden, Jane Hesketh, Ian Green, Alan Bundy:
A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract). LOPSTR 1993: 64-66 - Vincent Lombart, Geraint A. Wiggins, Yves Deville:
Guiding Synthesis Proofs. LOPSTR 1993: 67-81 - Maria Vargas-Vera, David Stuart Robertson, Robert Inder:
Combining Prolog Programs in a Techniques Editing System (Abstract). LOPSTR 1993: 82-84 - Wamberto Weber Vasconcelos:
Designing Prolog Programming Techniques. LOPSTR 1993: 85-99 - Anna-Lena Johansson:
Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies. LOPSTR 1993: 100-112 - D. Andre de Waal:
The Power of Partial Evaluation. LOPSTR 1993: 113-123 - Corin A. Gurr:
Specialising the Ground Representation in the Logic Programming Language Gödel. LOPSTR 1993: 124-140 - Maurizio Proietti, Alberto Pettorossi:
Synthesis of Programs from Unfold/Fold Proofs. LOPSTR 1993: 141-158 - Bern Martens, Danny De Schreye:
Some Further Issues in Finite Unfolding (Abstract). LOPSTR 1993: 159-161 - Ulrich Neumerkel:
A Transformation Based in the Equality Between Terms. LOPSTR 1993: 162-176 - M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo:
Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. LOPSTR 1993: 177-195 - Paul Tarau, Koenraad De Bosschere:
Memoing with Abstract Answers and Delphi Lemmas. LOPSTR 1993: 196-209 - Dmitri Boulanger, Maurice Bruynooghe:
Using Abstract Interpretation for Goal Replacement. LOPSTR 1993: 210-228 - Pierre De Boeck, Baudouin Le Charlier:
Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments. LOPSTR 1993: 229-245
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.