Specification-Based Automatic Verification of Prolog Programs (English)
- New search for: Cortesi, A.
- New search for: Le Charlier, B.
- New search for: Rossi, S.
- New search for: Cortesi, A.
- New search for: Le Charlier, B.
- New search for: Rossi, S.
- New search for: Gallagher, J.
In:
Logic program synthesis and transformation
1207
;
38-57
;
1997
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Specification-Based Automatic Verification of Prolog Programs
-
Contributors:
-
Conference:International workshop; 6th, Logic program synthesis and transformation ; 1996 ; Stockholm
-
Published in:Logic program synthesis and transformation , 1207 ; 38-57LECTURE NOTES IN COMPUTER SCIENCE , 1207 ; 38-57
-
Publisher:
- New search for: Springer
-
Publication date:1997-01-01
-
Size:20 pages
-
Remarks:Described as proceedings. Also known as LOPSTR'96
-
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
-
Refining Specifications to Logic ProgramsHayes, I. J. / Nickson, R. G. / Strooper, P. A. et al. | 1997
- 20
-
Symbolic Verification with Gap-Order ConstraintsFribourg, L. / Richardson, J. et al. | 1997
- 38
-
Specification-Based Automatic Verification of Prolog ProgramsCortesi, A. / Le Charlier, B. / Rossi, S. et al. | 1997
- 58
-
Logic Program Specialisation: How to Be More SpecificLeuschel, M. / DeSchreye, D. et al. | 1997
- 59
-
Conjunctive Partial Deduction in PracticeJoergensen, J. / Leuschel, M. / Martens, B. et al. | 1997
- 83
-
Redundant Argument Filtering of Logic ProgramsLeuschel, M. / Soerensen, M. H. et al. | 1997
- 104
-
Replacement Can Preserve TerminationBossi, A. / Cocco, N. et al. | 1997
- 130
-
A Transformation Tool for Pure Prolog ProgramsBrunekreef, J. et al. | 1997
- 146
-
Enhancing Partial Deduction via Unfold/Fold RulesPettorossi, A. / Proietti, M. / Renault, S. et al. | 1997
- 169
-
Abstract Specialization and Its Application to Program ParallelizationPuebla, G. / Hermenegildo, M. et al. | 1997
- 187
-
Reductions of Petri Nets and Unfolding of Propositional Logic ProgramsFribourg, L. / Olsen, H. et al. | 1997
- 204
-
Inferring Argument Size Relationships with CLP(R)Benoy, F. / King, A. et al. | 1997
- 224
-
Typed Norms for Typed Logic ProgramsMartin, J. C. / King, A. / Soper, P. et al. | 1997
- 239
-
Partial Deduction in the Framework of Structural Synthesis of ProgramsMatskin, M. / Komorowski, J. / Krogstie, J. et al. | 1997
- 256
-
Extensible Logic Program SchemataGegg-Harrison, T. S. et al. | 1997
- 275
-
Specialising Meta-Level Compositions of Logic ProgramsBrogi, A. / Contiero, S. et al. | 1997
- 295
-
Forms of Logic Specifications: A Preliminary StudyLau, K.-K. / Ornaghi, M. et al. | 1997
- 313
-
Synthesis of Proof Procedures for Default ReasoningDung, P. M. / Kowalski, R. A. / Toni, F. et al. | 1997