Proving Properties of Co-Logic Programs by Unfold/Fold Transformations (Englisch)
- Neue Suche nach: Seki, H.
- Neue Suche nach: Seki, H.
- Neue Suche nach: Vidal, German
In:
Logic-based program synthesis and transformation
7225
;
205-220
;
2012
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:Proving Properties of Co-Logic Programs by Unfold/Fold Transformations
-
Beteiligte:Seki, H. ( Autor:in ) / Vidal, German
-
Kongress:International symposium; 21st, Logic-based program synthesis and transformation ; 2011 ; Odense, Denmark
-
Erschienen in:Logic-based program synthesis and transformation , 7225 ; 205-220LETURE NOTES IN COMPUTER SCIENCE , 7225 ; 205-220
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Heidelberg
-
Erscheinungsdatum:01.01.2012
-
Format / Umfang:16 pages
-
Anmerkungen:Includes bibliographical references and index. Also issued online. LOPSTR 2011.
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Analysis of Logic Programs Using Regular Tree Languages (Extended Abstract)Gallagher, J.P. et al. | 2012
- 4
-
Dynamic Symbolic Computation for Domain-Specific Language ImplementationHenglein, F. et al. | 2012
- 25
-
Resource-Driven CLP-Based Test Case GenerationAlbert, E. / Gomez-Zamalloa, M. / Rojas, J.M. et al. | 2012
- 42
-
A Declarative Embedding of XQuery in a Functional-Logic LanguageAlmendros-Jimenez, J.M. / Caballero, R. / Garcia-Ruiz, Y. / Saenz-Perez, F. et al. | 2012
- 57
-
Automata-Based Computation of Temporal Equilibrium ModelsCabalar, P. / Demri, S. et al. | 2012
- 73
-
Simplifying Questions in Maude Declarative Debugger by Transforming Proof TreesCaballero, R. / Riesco, A. / Verdejo, A. / Marti-Oliet, N. et al. | 2012
- 90
-
Clones in Logic Programs and How to Detect ThemDandois, C. / Vanhoof, W. et al. | 2012
- 106
-
Using Real Relaxations during Program SpecializationFioravanti, F. / Pettorossi, A. / Proietti, M. / Senni, V. et al. | 2012
- 123
-
Marker-Directed Optimization of UnCAL Graph TransformationsHidaka, S. / Hu, Z. / Inaba, K. / Kato, H. / Matsuda, K. / Nakano, K. / Sasano, I. et al. | 2012
- 139
-
Modular Extensions for Modular (Logic) LanguagesMorales, J.F. / Hermenegildo, M.V. / Haemmerle, R. et al. | 2012
- 155
-
Meta-predicate SemanticsMoura, P. et al. | 2012
- 173
-
A Strategy Language for Graph RewritingFernandez, M. / Kirchner, H. / Namet, O. et al. | 2012
- 189
-
Improved Termination Analysis of CHR Using Self-sustainability AnalysisPilozzi, P. / De Schreye, D. et al. | 2012
- 205
-
Proving Properties of Co-Logic Programs by Unfold/Fold TransformationsSeki, H. et al. | 2012
- 221
-
Probabilistic Termination of CHRiSM ProgramsSneyers, J. / De Schreye, D. et al. | 2012
- 237
-
A Linear Operational Semantics for Termination and Complexity Analysis of ISO PrologStroder, T. / Emmes, F. / Schneider-Kamp, P. / Giesl, J. / Fuhs, C. et al. | 2012