Implicit Program Synthesis by a Reversible Metainterpreter (English)
- New search for: Christiansen, H.
- New search for: Katholieke Universiteit Leuven; Department of Computer Science
- New search for: Christiansen, H.
- New search for: Fuchs, N. E.
- New search for: Katholieke Universiteit Leuven; Department of Computer Science
In:
Logic program synthesis and transformation
1463
;
90-110
;
1998
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Implicit Program Synthesis by a Reversible Metainterpreter
-
Contributors:
-
Conference:International workshop; 7th, Logic program synthesis and transformation ; 1997 ; Leuven; Belgium
-
Published in:Logic program synthesis and transformation , 1463 ; 90-110LECTURE NOTES IN COMPUTER SCIENCE , 1463 ; 90-110
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin , New York
-
Publication date:1998-01-01
-
Size:21 pages
-
Remarks:Described as proceedings. Also known as LOPSTR'97
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
A Multi-level Approach to Program SynthesisBibel, W. / Korn, D. / Kreitz, C. / Kurucz, F. / Katholieke Universiteit Leuven; Department of Computer Science et al. | 1998
- 28
-
Programs Without FailuresBossi, A. / Cocco, N. / Katholieke Universiteit Leuven; Department of Computer Science et al. | 1998
- 49
-
Generalised Logic Program Transformation SchemasBueyuekyildiz, H. / Flener, P. / Katholieke Universiteit Leuven; Department of Computer Science et al. | 1998
- 69
-
Logic Program Schemas, Constraints and Semi-unificationChasseur, E. / Deville, Y. / Katholieke Universiteit Leuven; Department of Computer Science et al. | 1998
- 90
-
Implicit Program Synthesis by a Reversible MetainterpreterChristiansen, H. / Katholieke Universiteit Leuven; Department of Computer Science et al. | 1998
- 111
-
Termination Analysis for Tabled Logic ProgrammingDecorte, S. / De Schreye, D. / Leuschel, M. / Martens, B. / Katholieke Universiteit Leuven; Department of Computer Science et al. | 1998
- 128
-
On Correct Program SchemasFlener, P. / Lau, K.-K. / Ornaghi, M. / Katholieke Universiteit Leuven; Department of Computer Science et al. | 1998
- 148
-
Analysis of Logic Programs with DelayHeaton, A. / Hill, P. / King, A. / Katholieke Universiteit Leuven; Department of Computer Science et al. | 1998
- 168
-
Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic ProgramsLafave, L. / Gallagher, J. P. / Katholieke Universiteit Leuven; Department of Computer Science et al. | 1998
- 189
-
Preserving Termination of Tabled Logic Programs While UnfoldingLeuschel, M. / Martens, B. / Sagonas, K. / Katholieke Universiteit Leuven; Department of Computer Science et al. | 1998
- 206
-
Unfolding the Mystery of MergesortLindenstrauss, N. / Sagiv, Y. / Serebrenik, A. / Katholieke Universiteit Leuven; Department of Computer Science et al. | 1998
- 226
-
Towards a Logic for Reasoning About Logic Programs TransformationMomigliano, A. / Ornaghi, M. / Katholieke Universiteit Leuven; Department of Computer Science et al. | 1998
- 245
-
A Higher Order Reconstruction of Stepwise EnhancementNaish, L. / Sterling, L. / Katholieke Universiteit Leuven; Department of Computer Science et al. | 1998
- 263
-
Development of Correct Transformation Schemata for Prolog ProgramsRichardson, J. / Fuchs, N. E. / Katholieke Universiteit Leuven; Department of Computer Science et al. | 1998
- 282
-
Constrained Regular Approximation of Logic ProgramsSaglam, H. / Gallagher, J. P. / Katholieke Universiteit Leuven; Department of Computer Science et al. | 1998
- 300
-
A Logic Framework for the Incremental Inductive Synthesis of Datalog TheoriesSemeraro, G. / Esposito, F. / Malerba, D. / Fanizzi, N. / Katholieke Universiteit Leuven; Department of Computer Science et al. | 1998
- 322
-
To Parse or Not To ParseVanhoof, W. / Martens, B. / Katholieke Universiteit Leuven; Department of Computer Science et al. | 1998