Verwandte Artikel zu Logic Based Program Synthesis and Transformation: 10th...

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 2000 Selected Papers: 10th International ... Notes in Computer Science, 2042, Band 2042) - Softcover

Various, .

 
9783540421276: Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 2000 Selected Papers: 10th International ... Notes in Computer Science, 2042, Band 2042)
Softcover
ISBN 10: 3540421270 ISBN 13: 9783540421276
Verlag: Springer Berlin Heidelberg, 2008

Inhaltsangabe

Synthesis.- A Formal Framework for Synthesis and Verification of Logic Programs.- Protocols between Programs and Proofs.- Protocols between Programs and Proofs.- A Technique for Modular Logic Program Refinement.- A Technique for Modular Logic Program Refinement.- Transformation.- Higher-Order Transformation of Logic Programs.- Analysis.- Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings.- Specialisation.- A Model for Inter-module Analysis and Optimizing Compilation.- Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages.- Automated Strategies for Specializing Constraint Logic Programs.- Abstract Interpretation.- Measuring the Precision of Abstract Interpretations.- Debugging.- Specifying Prolog Trace Models with a Continuation Semantics.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer Berlin Heidelberg
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540421270
ISBN 13 
9783540421276
Einband
Taschenbuch
Anzahl der Seiten
196
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland